Code

new lint: unnecessary_reserve#14114

Code

Open

wowinter13 wants to merge 5 commits intorust-lang:masterrust-lang/rust-clippy:masterfrom wowinter13:new-lint-unnecessary-reservewowinter13/rust-clippy:new-lint-unnecessary-reserveCopy head branch name to clipboard

+477-6

Commits

Commits on Jan 30, 2025

• new lint: unnecessary_reserve

  wowinter13

  committed
  ecd37f9

  Copy full SHA for ecd37f9

• fix: declared lints

  wowinter13

  committed
  841ce0d

  Copy full SHA for 841ce0d

• fix: linter

  wowinter13

  committed
  21b9876

  Copy full SHA for 21b9876

Commits on Feb 4, 2025

• unnecessary_reserve: address review comments

  wowinter13

  committed
  6eecd74

  Copy full SHA for 6eecd74

• unnecessary_reserve: lint configuration

  wowinter13

  committed
  374b6ed

  Copy full SHA for 374b6ed