Now that inlining, mir validation and const eval all use reveal-all, we won't be constraining hidden types here anymore#121731

Merged

bors merged 2 commits intorust-lang:masterfrom oli-obk:eager_opaque_checks

Mar 3, 2024

+38-24

Commits on Feb 28, 2024

test that fudging with opaque types is the same in the new solver
oli-obk
committed
Now that inlining, mir validation and const eval all use reveal-all, we won't be constraining hidden types here anymore
oli-obk
committed