Code

Rename overlapping_patterns lint#78242

Code

Merged

bors merged 6 commits intorust-lang:masterrust-lang/rust:masterfrom Nadrieril:rename-overlapping_endpoints-lintNadrieril/rust:rename-overlapping_endpoints-lintCopy head branch name to clipboardDec 22, 2020

+123-107

Commits

Commits on Nov 29, 2020

• Add tests

  Nadrieril

  committed
  06ca6bb

  Copy full SHA for 06ca6bb

• Rename the overlapping_patterns lint to overlapping_range_endpoints

  Nadrieril

  committed
  d1a50ff

  Copy full SHA for d1a50ff

• Be consistent about linting singletons

  Nadrieril

  committed
  c89d439

  Copy full SHA for c89d439

• Improve error message

  Nadrieril

  committed
  94ad5e1

  Copy full SHA for 94ad5e1

• overlapping_range_endpoints does not belong in the unused lint group

  Nadrieril

  committed
  5687c16

  Copy full SHA for 5687c16

Commits on Dec 19, 2020

• Tweak diagnostics

  Nadrieril

  committed
  5b6c175

  Copy full SHA for 5b6c175