Skip to content

New redundant boxed types lint#14919

Open
whirm wants to merge 1 commit intorust-lang:masterfrom
whirm:feat/redundant_box_lint
Open

New redundant boxed types lint#14919
whirm wants to merge 1 commit intorust-lang:masterfrom
whirm:feat/redundant_box_lint

Commits

Commits on Oct 13, 2025