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

Merged

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

Sep 20, 2022

+384-179

Commits on Sep 16, 2022

Commits on Sep 19, 2022

Document projection condition
oli-obk
committed