1 #![feature(destructuring_assignment)]
3 struct TupleStruct<S, T>(S, T);
9 type Alias<S> = Enum<S, isize>;
12 fn test() -> TupleStruct<isize, isize> {
17 impl Test for Alias<isize> {}
19 fn test() -> TupleStruct<isize, isize> {
25 TupleStruct(a, .., b, ..) = TupleStruct(0, 1);
26 //~^ ERROR `..` can only be used once per tuple struct or variant pattern
27 Enum::SingleVariant(a, .., b, ..) = Enum::SingleVariant(0, 1);
28 //~^ ERROR `..` can only be used once per tuple struct or variant pattern
30 TupleStruct(a, a, b) = TupleStruct(1, 2);
31 //~^ ERROR this pattern has 3 fields, but the corresponding tuple struct has 2 fields
32 Enum::SingleVariant(a, a, b) = Enum::SingleVariant(1, 2);
33 //~^ ERROR this pattern has 3 fields, but the corresponding tuple variant has 2 fields
35 // Check if `test` is recognized as not a tuple struct but a function call:
36 test() = TupleStruct(0, 0);
37 //~^ ERROR invalid left-hand side of assignment
38 (test)() = TupleStruct(0, 0);
39 //~^ ERROR invalid left-hand side of assignment
40 <Alias::<isize> as Test>::test() = TupleStruct(0, 0);
41 //~^ ERROR invalid left-hand side of assignment