From 8ae8b08e323b7dcfad331af18bebbeb68757a904 Mon Sep 17 00:00:00 2001 From: ThibsG Date: Sun, 5 Jan 2020 15:05:16 +0100 Subject: Change lint name to WILDCARD_IN_OR_PATTERNS --- src/lintlist/mod.rs | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'src') diff --git a/src/lintlist/mod.rs b/src/lintlist/mod.rs index 34bf4749d83..399f3483a59 100644 --- a/src/lintlist/mod.rs +++ b/src/lintlist/mod.rs @@ -1568,13 +1568,6 @@ pub const ALL_LINTS: [Lint; 345] = [ deprecation: None, module: "path_buf_push_overwrite", }, - Lint { - name: "pats_with_wild_match_arm", - group: "complexity", - desc: "a wildcard pattern used with others patterns in same match arm", - deprecation: None, - module: "matches", - }, Lint { name: "possible_missing_comma", group: "correctness", @@ -2352,6 +2345,13 @@ pub const ALL_LINTS: [Lint; 345] = [ deprecation: None, module: "matches", }, + Lint { + name: "wildcard_in_or_patterns", + group: "complexity", + desc: "a wildcard pattern used with others patterns in same match arm", + deprecation: None, + module: "matches", + }, Lint { name: "write_literal", group: "style", -- cgit 1.4.1-3-g733a5