Allow patterns to constrain the hidden type of opaque types#99806

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

oli-obk:unconstrained_opaque_typeoli-obk/rust:unconstrained_opaque_typeCopy head branch name to clipboard