src/test/ui/hygiene/legacy_interaction.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

// check-pass
#![allow(dead_code)]
// ignore-pretty pretty-printing is unhygienic

// aux-build:legacy_interaction.rs

#![feature(decl_macro)]
#[allow(unused)]

extern crate legacy_interaction;
// ^ defines
// ```rust
//  macro_rules! m {
//     () => {
//         fn f() {} // (1)
//         g() // (2)
//     }
// }
// ```rust

mod def_site {
    // Unless this macro opts out of hygiene, it should resolve the same wherever it is invoked.
    pub macro m2() {
        ::legacy_interaction::m!();
        f(); // This should resolve to (1)
        fn g() {} // We want (2) resolve to this, not to (4)
    }
}

mod use_site {
    fn test() {
        fn f() -> bool { true } // (3)
        fn g() -> bool { true } // (4)

        ::def_site::m2!();

        let _: bool = f(); // This should resolve to (3)
        let _: bool = g(); // This should resolve to (4)
    }
}

fn main() {}