summaryrefslogtreecommitdiffstats
path: root/tests/ui/resolve/issue-73427.rs
blob: 5c2459a59036de4b2498813792a9bfc314b7a4e2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
enum A {
    StructWithFields { x: () },
    TupleWithFields(()),
    Struct {},
    Tuple(),
    Unit,
}

enum B {
    StructWithFields { x: () },
    TupleWithFields(()),
}

enum C {
    StructWithFields { x: () },
    TupleWithFields(()),
    Unit,
}

enum D {
    TupleWithFields(()),
    Unit,
}

enum E {
    TupleWithFields(()),
}

fn main() {
    // Only variants without fields are suggested (and others mentioned in a note) where an enum
    // is used rather than a variant.

    A.foo();
    //~^ ERROR expected value, found enum `A`
    B.foo();
    //~^ ERROR expected value, found enum `B`
    C.foo();
    //~^ ERROR expected value, found enum `C`
    D.foo();
    //~^ ERROR expected value, found enum `D`
    E.foo();
    //~^ ERROR expected value, found enum `E`

    // Only tuple variants are suggested in calls or tuple struct pattern matching.

    let x = A(3);
    //~^ ERROR expected function, tuple struct or tuple variant, found enum `A`
    if let A(3) = x { }
    //~^ ERROR expected tuple struct or tuple variant, found enum `A`
}