Turns out opaque types can have hidden types registered during mir validation#114123

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

oli-obk:tait_wtfoli-obk/rust:tait_wtfCopy head branch name to clipboard