Enforce well formedness for type alias impl trait's hidden type#95519

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

oli-obk:tait_ub2oli-obk/rust:tait_ub2Copy head branch name to clipboard