| fn main() | |
| { | |
| match (1, 2) { | |
| (a, a) => {}, | |
| } | |
| // { dg-error "identifier .a. is bound more than once in the same pattern .E0416." "" { target *-*-* } .-2 } | |
| if let (a, a) = (1, 2) {} | |
| // { dg-error "identifier .a. is bound more than once in the same pattern .E0416." "" { target *-*-* } .-1 } | |
| let (a, a) = (1, 2); | |
| // { dg-error "identifier .a. is bound more than once in the same pattern .E0416." "" { target *-*-* } .-1 } | |
| } |