Make it clearer that we're just checking for an RPITIT#113698

Merged

bors merged 1 commit intorust-lang:masterfrom compiler-errors:rpitit-check

Jul 14, 2023

+14-10

Commits on Jul 14, 2023

Make it clearer that we're just checking for an RPITIT
compiler-errors
committed