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
|
// Check that the hash for `mod3::bar` changes when we change the
// `use` to something different.
// revisions: rpass1 rpass2 rpass3
// compile-flags: -Z query-dep-graph
#![feature(rustc_attrs)]
fn test<T>() { }
mod mod1 {
pub struct Foo(pub u32);
}
mod mod2 {
pub struct Foo(pub i64);
}
mod mod3 {
#[cfg(rpass1)]
use mod1::Foo;
use test;
// In rpass2 we move the use declaration.
#[cfg(rpass2)]
use mod1::Foo;
// In rpass3 we let the declaration point to something else.
#[cfg(rpass3)]
use mod2::Foo;
#[rustc_clean(cfg="rpass2")]
#[rustc_clean(except="hir_owner_nodes,typeck", cfg="rpass3")]
fn in_expr() {
Foo(0);
}
#[rustc_clean(cfg="rpass2")]
#[rustc_clean(except="hir_owner_nodes,typeck", cfg="rpass3")]
fn in_type() {
test::<Foo>();
}
}
fn main() { }
|
