Skip to content

Add lint for functions which never return#13565

Closed
GnomedDev wants to merge 2 commits intorust-lang:masterfrom
GnomedDev:never-return
Closed

Add lint for functions which never return#13565
GnomedDev wants to merge 2 commits intorust-lang:masterfrom
GnomedDev:never-return

Commits

Commits on Nov 2, 2024