Error for RPIT if they are not defined during MIR borrowck#125285

Closed

spastorino wants to merge 2 commits intorust-lang:masterfrom

spastorino:unchk-region-opaque-deadcode

Commits on May 19, 2024

Add tests for unchecked region constraints for opaque types in dead code
spastorino
committed

Commits on May 20, 2024

If MIR doesn't define the opaque also fail for RPITs
spastorino
committed