1 struct S(u8, u8, u8);
2 struct M(
3     u8,
4     u8,
5     u8,
6     u8,
7     u8,
8 );
9 
10 struct Z0;
11 struct Z1();
12 enum E1 {
13     Z0,
14     Z1(),
15 }
16 
main()17 fn main() {
18     match (1, 2, 3) {
19         (1, 2, 3, 4) => {} //~ ERROR mismatched types
20         (1, 2, .., 3, 4) => {} //~ ERROR mismatched types
21         _ => {}
22     }
23     match S(1, 2, 3) {
24         S(1, 2, 3, 4) => {}
25         //~^ ERROR this pattern has 4 fields, but the corresponding tuple struct has 3 fields
26         S(1, 2, .., 3, 4) => {}
27         //~^ ERROR this pattern has 4 fields, but the corresponding tuple struct has 3 fields
28         _ => {}
29     }
30     match M(1, 2, 3, 4, 5) {
31         M(1, 2, 3, 4, 5, 6) => {}
32         //~^ ERROR this pattern has 6 fields, but the corresponding tuple struct has 5 fields
33         M(1,
34           2,
35           3,
36           4,
37           5,
38           6) => {}
39         //~^ ERROR this pattern has 6 fields, but the corresponding tuple struct has 5 fields
40         M(
41             1,
42             2,
43             3,
44             4,
45             5,
46             6,
47         ) => {}
48         //~^^ ERROR this pattern has 6 fields, but the corresponding tuple struct has 5 fields
49     }
50     match Z0 {
51         Z0 => {}
52         Z0() => {} //~ ERROR expected tuple struct or tuple variant, found unit struct `Z0`
53         Z0(_) => {} //~ ERROR expected tuple struct or tuple variant, found unit struct `Z0`
54         Z0(_, _) => {} //~ ERROR expected tuple struct or tuple variant, found unit struct `Z0`
55     }
56     match Z1() {
57         Z1 => {} //~ ERROR match bindings cannot shadow tuple structs
58         Z1() => {}
59         Z1(_) => {} //~ ERROR this pattern has 1 field, but the corresponding tuple struct has 0 fields
60         Z1(_, _) => {} //~ ERROR this pattern has 2 fields, but the corresponding tuple struct has 0 fields
61     }
62     match E1::Z0 {
63         E1::Z0 => {}
64         E1::Z0() => {} //~ ERROR expected tuple struct or tuple variant, found unit variant `E1::Z0`
65         E1::Z0(_) => {} //~ ERROR expected tuple struct or tuple variant, found unit variant `E1::Z0`
66         E1::Z0(_, _) => {} //~ ERROR expected tuple struct or tuple variant, found unit variant `E1::Z0`
67     }
68     match E1::Z1() {
69         E1::Z1 => {} //~ ERROR expected unit struct, unit variant or constant, found tuple variant `E1::Z1`
70         E1::Z1() => {}
71         E1::Z1(_) => {} //~ ERROR this pattern has 1 field, but the corresponding tuple variant has 0 fields
72         E1::Z1(_, _) => {} //~ ERROR this pattern has 2 fields, but the corresponding tuple variant has 0 fields
73     }
74 }
75