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

bors merged 4 commits into

rust-lang:masterrust-lang/rust:masterfrom

oli-obk:type_of_opaque_for_const_checksoli-obk/rust:type_of_opaque_for_const_checksCopy head branch name to clipboard