RPITITs are `DefKind::Opaque` with new lowering strategy#109405

Merged

bors merged 2 commits intorust-lang:masterfrom

compiler-errors:rpitit-as-opaques

Mar 22, 2023

Commits on Mar 21, 2023

Always encode RPITITs

spastorino
authored and
compiler-errors
committed
RPITITs are DefKind::Opaque with new lowering strategy
compiler-errors
committed