3 #![feature(box_patterns, stmt_expr_attributes)]
4 #![feature(or_patterns)]
8 ellipsis_inclusive_range_patterns,
9 irrefutable_let_patterns,
14 #![deny(unused_parens)]
16 fn lint_on_top_level() {
17 let a = 0; //~ ERROR unnecessary parentheses around pattern
18 for a in 0..1 {} //~ ERROR unnecessary parentheses around pattern
19 if let a = 0 {} //~ ERROR unnecessary parentheses around pattern
20 while let a = 0 {} //~ ERROR unnecessary parentheses around pattern
21 fn foo(a: u8) {} //~ ERROR unnecessary parentheses around pattern
22 let _ = |a: u8| 0; //~ ERROR unnecessary parentheses around pattern
26 let _x = #[allow(dead_code)] (1 + 2);
29 // Don't lint in these cases (#64106).
30 fn or_patterns_no_lint() {
32 box (0 | 1) => {} // Should not lint as `box 0 | 1` binds as `(box 0) | 1`.
37 x @ (0 | 1) => {} // Should not lint as `x @ 0 | 1` binds as `(x @ 0) | 1`.
41 if let &(0 | 1) = &0 {} // Should also not lint.
42 if let &mut (0 | 1) = &mut 0 {} // Same.
44 fn foo((Ok(a) | Err(a)): Result<u8, u8>) {} // Doesn't parse if we remove parens for now.
46 let _ = |(Ok(a) | Err(a)): Result<u8, u8>| 1; // `|Ok(a) | Err(a)| 1` parses as bit-or.
49 fn or_patterns_will_lint() {
50 if let 0 | 1 = 0 {} //~ ERROR unnecessary parentheses around pattern
51 if let (0 | 1,) = (0,) {} //~ ERROR unnecessary parentheses around pattern
52 if let [0 | 1] = [0] {} //~ ERROR unnecessary parentheses around pattern
53 if let 0 | 1 | 2 = 0 {} //~ ERROR unnecessary parentheses around pattern
55 if let TS(0 | 1) = TS(0) {} //~ ERROR unnecessary parentheses around pattern
57 if let NS { f: 0 | 1 } = (NS { f: 0 }) {} //~ ERROR unnecessary parentheses around pattern
60 // Don't lint on `&(mut x)` because `&mut x` means something else (#55342).
61 fn deref_mut_binding_no_lint() {
67 _ => {} //~ ERROR unnecessary parentheses around pattern
68 y => {} //~ ERROR unnecessary parentheses around pattern
69 ref r => {} //~ ERROR unnecessary parentheses around pattern
70 e @ 1...2 => {} //~ ERROR unnecessary parentheses around pattern
71 (1...2) => {} // Non ambiguous range pattern should not warn
72 e @ (3...4) => {} // Non ambiguous range pattern should not warn
76 e @ &(1...2) => {} //~ ERROR unnecessary parentheses around pattern
77 &_ => {} //~ ERROR unnecessary parentheses around pattern
78 e @ &(1...2) => {} // Ambiguous range pattern should not warn
79 &(1...2) => {} // Ambiguous range pattern should not warn
83 e @ &(1...2) | e @ &(3...4) => {} // Complex ambiguous pattern should not warn
88 _ => {} //~ ERROR unnecessary parentheses around pattern
89 y => {} //~ ERROR unnecessary parentheses around pattern
90 ref r => {} //~ ERROR unnecessary parentheses around pattern
91 e @ 1..=2 => {} //~ ERROR unnecessary parentheses around pattern
92 (1..=2) => {} // Non ambiguous range pattern should not warn
93 e @ (3..=4) => {} // Non ambiguous range pattern should not warn
97 e @ &(1..=2) => {} //~ ERROR unnecessary parentheses around pattern
98 &_ => {} //~ ERROR unnecessary parentheses around pattern
99 e @ &(1..=2) => {} // Ambiguous range pattern should not warn
100 &(1..=2) => {} // Ambiguous range pattern should not warn
104 e @ &(1..=2) | e @ &(3..=4) => {} // Complex ambiguous pattern should not warn