tests/ui/pattern/no-match-tuple-variant-self-ctor.rs


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

//@ revisions: tuple unit struct_
//@[unit] check-pass

#[cfg(unit)]
mod unit {
    struct S;
    impl S {
        fn foo() {
            let Self = S;
        }
    }
}

#[cfg(tuple)]
mod tuple {
    struct S(());
    impl S {
        fn foo() {
            let Self = S;
            //[tuple]~^ ERROR expected unit struct
        }
    }
}

#[cfg(struct_)]
mod struct_ {
    struct S {}
    impl S {
        fn foo() {
            let Self = S;
            //[struct_]~^ ERROR expected value, found struct `S`
            //[struct_]~| ERROR expected unit struct, found self constructor `Self`
        }
    }
}

fn main() {}