diff options
Diffstat (limited to 'src/test/ui/dep-graph/dep-graph-caller-callee.rs')
-rw-r--r-- | src/test/ui/dep-graph/dep-graph-caller-callee.rs | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/src/test/ui/dep-graph/dep-graph-caller-callee.rs b/src/test/ui/dep-graph/dep-graph-caller-callee.rs new file mode 100644 index 000000000..4a3a8bb6b --- /dev/null +++ b/src/test/ui/dep-graph/dep-graph-caller-callee.rs @@ -0,0 +1,36 @@ +// Test that immediate callers have to change when callee changes, but +// not callers' callers. + +// incremental +// compile-flags: -Z query-dep-graph + +#![feature(rustc_attrs)] +#![allow(dead_code)] + +fn main() { } + +mod x { + #[rustc_if_this_changed] + pub fn x() { } +} + +mod y { + use x; + + // These dependencies SHOULD exist: + #[rustc_then_this_would_need(typeck)] //~ ERROR OK + pub fn y() { + x::x(); + } +} + +mod z { + use y; + + // These are expected to yield errors, because changes to `x` + // affect the BODY of `y`, but not its signature. + #[rustc_then_this_would_need(typeck)] //~ ERROR no path + pub fn z() { + y::y(); + } +} |