Skip to content

Make sure that RPITITs are not considered suggestable#106753

Merged
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:rpitit-not-suggestable
Jan 19, 2023
Merged

Make sure that RPITITs are not considered suggestable#106753
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:rpitit-not-suggestable

Commits

Commits on Jan 12, 2023