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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
|
#![feature(rustc_attrs)]
macro_rules! stmt_mac {
() => {
fn b() {}
}
}
fn main() {
#[rustc_dummy]
fn a() {}
// Bug: built-in attrs like `rustc_dummy` are not gated on blocks, but other attrs are.
#[rustfmt::skip] //~ ERROR attributes on expressions are experimental
{
}
#[rustc_dummy]
5;
#[rustc_dummy]
stmt_mac!();
}
// Check that cfg works right
#[cfg(unset)]
fn c() {
#[rustc_dummy]
5;
}
#[cfg(not(unset))]
fn j() {
#[rustc_dummy]
5;
}
#[cfg_attr(not(unset), cfg(unset))]
fn d() {
#[rustc_dummy]
8;
}
#[cfg_attr(not(unset), cfg(not(unset)))]
fn i() {
#[rustc_dummy]
8;
}
// check that macro expansion and cfg works right
macro_rules! item_mac {
($e:ident) => {
fn $e() {
#[rustc_dummy]
42;
#[cfg(unset)]
fn f() {
#[rustc_dummy]
5;
}
#[cfg(not(unset))]
fn k() {
#[rustc_dummy]
5;
}
#[cfg_attr(not(unset), cfg(unset))]
fn g() {
#[rustc_dummy]
8;
}
#[cfg_attr(not(unset), cfg(not(unset)))]
fn h() {
#[rustc_dummy]
8;
}
}
}
}
item_mac!(e);
// check that the gate visitor works right:
extern "C" {
#[cfg(unset)]
fn x(a: [u8; #[rustc_dummy] 5]);
fn y(a: [u8; #[rustc_dummy] 5]); //~ ERROR attributes on expressions are experimental
}
struct Foo;
impl Foo {
#[cfg(unset)]
const X: u8 = #[rustc_dummy] 5;
const Y: u8 = #[rustc_dummy] 5; //~ ERROR attributes on expressions are experimental
}
trait Bar {
#[cfg(unset)]
const X: [u8; #[rustc_dummy] 5];
const Y: [u8; #[rustc_dummy] 5]; //~ ERROR attributes on expressions are experimental
}
struct Joyce {
#[cfg(unset)]
field: [u8; #[rustc_dummy] 5],
field2: [u8; #[rustc_dummy] 5] //~ ERROR attributes on expressions are experimental
}
struct Walky(
#[cfg(unset)] [u8; #[rustc_dummy] 5],
[u8; #[rustc_dummy] 5] //~ ERROR attributes on expressions are experimental
);
enum Mike {
Happy(
#[cfg(unset)] [u8; #[rustc_dummy] 5],
[u8; #[rustc_dummy] 5] //~ ERROR attributes on expressions are experimental
),
Angry {
#[cfg(unset)]
field: [u8; #[rustc_dummy] 5],
field2: [u8; #[rustc_dummy] 5] //~ ERROR attributes on expressions are experimental
}
}
fn pat() {
match 5 {
#[cfg(unset)]
5 => #[rustc_dummy] (),
6 => #[rustc_dummy] (), //~ ERROR attributes on expressions are experimental
_ => (),
}
}
|
