finish `Reveal` removal - #133242

Merged

bors merged 7 commits into

rust-lang:masterfrom

lcnr:questionable-uwu

Nov 23, 2024

Commits on Nov 23, 2024

`ElaborateDrops`: use typing_env directly
lcnr
committed
0f8405f
thir building: use typing_env directly
lcnr
committed
f4b516b
no more Reveal :(
lcnr
committed
319843d
remove remaining references to `Reveal`
lcnr
committed
a8c8ab1
global old solver cache: use `TypingEnv`
lcnr
committed
795ff65
review
lcnr
committed
8c7c83d
rebase
lcnr
committed
776731d