Skip to content

delete mentions of type ascription from lint descriptions#105614

Merged
bors merged 1 commit intorust-lang:masterfrom lukas-code:ascriptionDec 13, 2022
+17-14

Commits

Commits on Dec 12, 2022