From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:02:58 +0200 Subject: Adding upstream version 1.64.0+dfsg1. Signed-off-by: Daniel Baumann --- src/test/ui/dep-graph/dep-graph-caller-callee.rs | 36 ++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 src/test/ui/dep-graph/dep-graph-caller-callee.rs (limited to 'src/test/ui/dep-graph/dep-graph-caller-callee.rs') 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(); + } +} -- cgit v1.2.3