tests/ui/parser/keyword-union-as-identifier.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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

// check-pass

#![allow(non_camel_case_types)]
#![allow(non_upper_case_globals)]

mod union {
    type union = i32;

    pub struct Bar {
        pub union: union,
    }

    pub fn union() -> Bar {
        Bar {
            union: 5
        }
    }
}

mod struct_union {
    pub struct union {
        pub union: u32
    }
    static union: union = union { union: 0 };

    impl union {
        pub fn union<'union>() -> &'union union {
            &union
        }
    }
    impl union {}
    trait Foo {}
    impl Foo for union {}
    trait Bar {
        fn bar() {}
    }
    impl Bar for union {}
}

mod union_union {
    pub union union {
        pub union: u32
    }
    const union: union = union { union: 0 };
    impl union {
        pub fn union() -> union {
            union
        }
    }
}

mod trait_union {
    pub trait union {
        fn union() {}
    }
    impl union for () {}
}

macro_rules! ty {
    ($ty:ty { $($field:ident:$field_ty:ty)* }) => {};
}

fn main() {
    let union = union::union();
    let _ = union.union;
    let _ = struct_union::union::union().union;
    let union = union_union::union::union();
    let _ = unsafe { union.union };
    <() as trait_union::union>::union();
    ty!(union {});
    ty!(union { union: union });
}