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
|
#![feature(decl_macro)]
#![deny(unused_macro_rules)]
// To make sure we are not hitting this
#![deny(unused_macros)]
// Most simple case
macro num {
(one) => { 1 },
(two) => { 2 }, //~ ERROR: 2nd rule of macro
(three) => { 3 },
(four) => { 4 }, //~ ERROR: 4th rule of macro
}
const _NUM: u8 = num!(one) + num!(three);
// Check that allowing the lint works
#[allow(unused_macro_rules)]
macro num_allowed {
(one) => { 1 },
(two) => { 2 },
(three) => { 3 },
(four) => { 4 },
}
const _NUM_ALLOWED: u8 = num_allowed!(one) + num_allowed!(three);
// Check that macro calls inside the macro trigger as usage
macro num_rec {
(one) => { 1 },
(two) => {
num_rec!(one) + num_rec!(one)
},
(three) => { //~ ERROR: 3rd rule of macro
num_rec!(one) + num_rec!(two)
},
(four) => {
num_rec!(two) + num_rec!(two)
},
}
const _NUM_RECURSIVE: u8 = num_rec!(four);
// No error if the macro is public
pub macro num_public {
(one) => { 1 },
(two) => { 2 },
(three) => { 3 },
(four) => { 4 },
}
const _NUM_PUBLIC: u8 = num_public!(one) + num_public!(three);
fn main() {}
|