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 });
}
|
