Skip to content

[WIP] New lint manual_checked_op#11789

Draft
Jarcho wants to merge 2 commits intorust-lang:masterfrom
Jarcho:checked_op
Draft

[WIP] New lint `manual_checked_op`#11789
Jarcho wants to merge 2 commits intorust-lang:masterfrom
Jarcho:checked_op

Commits

Commits on Nov 14, 2023