tests/ui/hygiene/specialization.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

// run-pass
// ignore-pretty pretty-printing is unhygienic

#![feature(decl_macro)]

trait Tr {
    fn f(&self) -> &'static str {
        "This shouldn't happen"
    }
}

pub macro m($t:ty) {
    impl Tr for $t {
        fn f(&self) -> &'static str {
            "Run me"
        }
    }
}

struct S;
m!(S);

fn main() {
    assert_eq!(S.f(), "Run me");
}