Skip to content

Use only ty::Unevaluated<'tcx, ()> in type system#98588

Merged
bors merged 11 commits into
rust-lang:masterfrom
b-naber:valtrees-cleanup
Sep 17, 2022
Merged

Use only ty::Unevaluated<'tcx, ()> in type system#98588
bors merged 11 commits into
rust-lang:masterfrom
b-naber:valtrees-cleanup

nits

d77248e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs