Insert RPITITs that were shadowed by missing ADTs that resolve to [type error]#114147

Merged

bors merged 1 commit intorust-lang:masterfrom

compiler-errors:missing-rpitits

Jul 29, 2023

Commits on Jul 27, 2023

Insert RPITITs that were shadowed by missing ADTs that resolve to type error
compiler-errors
committed