Skip to content

Avoid duplicate type sanitization of local decls in borrowck#112350

Merged
bors merged 1 commit intorust-lang:masterfrom Noratrieb:borrow-me-some-cleanupsJun 7, 2023
+1-3

Commits

Commits on Jun 6, 2023