Skip to content

Add note to is_known_rigid#116041

Merged
bors merged 1 commit intorust-lang:masterfrom compiler-errors:rigid-noteSep 22, 2023

Commits

Commits on Sep 22, 2023