Do not try to reveal hidden types when trying to prove auto-traits in the defining scope#122192

Merged

bors merged 4 commits intorust-lang:masterfrom oli-obk:type_of_opaque_for_const_checks

Jul 25, 2024

+245-263