Skip to content

Add manual_checked_div lint#16149

Open
amerikrainian wants to merge 6 commits intorust-lang:masterfrom
amerikrainian:manual-checked-div
Open

Add manual_checked_div lint#16149
amerikrainian wants to merge 6 commits intorust-lang:masterfrom
amerikrainian:manual-checked-div

Commits

Commits on Dec 19, 2025