Skip to content

new lint: unnecessary_reserve - #14114

Closed
wowinter13 wants to merge 7 commits into
rust-lang:masterfrom
wowinter13:new-lint-unnecessary-reserve
Closed

new lint: unnecessary_reserve#14114
wowinter13 wants to merge 7 commits into
rust-lang:masterfrom
wowinter13:new-lint-unnecessary-reserve

Commits

Commits on Mar 1, 2025