Install projection from RPITIT to default trait method opaque correctly#109198

Merged

bors merged 9 commits intorust-lang:masterfrom

compiler-errors:new-rpitit-default-body

Mar 17, 2023

Commits on Mar 16, 2023

Install projection from RPITIT to default trait method opaque correctly
compiler-errors
committed
Don't install default opaque projection predicates in RPITIT associated type's param-env
compiler-errors
committed
Fix on_unimplemented_note for RPITITs
compiler-errors
committed