Skip to content

Make Self clause explicit in trait item declarations#514

Open
Nadrieril wants to merge 6 commits intoAeneasVerif:mainfrom Nadrieril:explicit-self-in-methods
+4,752-3,250

Commits

Commits on Jan 9, 2025