summaryrefslogtreecommitdiffstats
path: root/src/test/ui/dep-graph/dep-graph-struct-signature.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
commit698f8c2f01ea549d77d7dc3338a12e04c11057b9 (patch)
tree173a775858bd501c378080a10dca74132f05bc50 /src/test/ui/dep-graph/dep-graph-struct-signature.rs
parentInitial commit. (diff)
downloadrustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.tar.xz
rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.zip
Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/dep-graph/dep-graph-struct-signature.rs')
-rw-r--r--src/test/ui/dep-graph/dep-graph-struct-signature.rs87
1 files changed, 87 insertions, 0 deletions
diff --git a/src/test/ui/dep-graph/dep-graph-struct-signature.rs b/src/test/ui/dep-graph/dep-graph-struct-signature.rs
new file mode 100644
index 000000000..fcf9f6387
--- /dev/null
+++ b/src/test/ui/dep-graph/dep-graph-struct-signature.rs
@@ -0,0 +1,87 @@
+// Test cases where a changing struct appears in the signature of fns
+// and methods.
+
+// incremental
+// compile-flags: -Z query-dep-graph
+
+#![feature(rustc_attrs)]
+#![allow(dead_code)]
+#![allow(unused_variables)]
+
+fn main() { }
+
+#[rustc_if_this_changed]
+struct WillChange {
+ x: u32,
+ y: u32
+}
+
+struct WontChange {
+ x: u32,
+ y: u32
+}
+
+// these are valid dependencies
+mod signatures {
+ use WillChange;
+
+ #[rustc_then_this_would_need(type_of)] //~ ERROR no path
+ #[rustc_then_this_would_need(associated_item)] //~ ERROR no path
+ #[rustc_then_this_would_need(trait_def)] //~ ERROR no path
+ trait Bar {
+ #[rustc_then_this_would_need(fn_sig)] //~ ERROR OK
+ fn do_something(x: WillChange);
+ }
+
+ #[rustc_then_this_would_need(fn_sig)] //~ ERROR OK
+ #[rustc_then_this_would_need(typeck)] //~ ERROR OK
+ fn some_fn(x: WillChange) { }
+
+ #[rustc_then_this_would_need(fn_sig)] //~ ERROR OK
+ #[rustc_then_this_would_need(typeck)] //~ ERROR OK
+ fn new_foo(x: u32, y: u32) -> WillChange {
+ WillChange { x: x, y: y }
+ }
+
+ #[rustc_then_this_would_need(type_of)] //~ ERROR OK
+ impl WillChange {
+ #[rustc_then_this_would_need(fn_sig)] //~ ERROR OK
+ #[rustc_then_this_would_need(typeck)] //~ ERROR OK
+ fn new(x: u32, y: u32) -> WillChange { loop { } }
+ }
+
+ #[rustc_then_this_would_need(type_of)] //~ ERROR OK
+ impl WillChange {
+ #[rustc_then_this_would_need(fn_sig)] //~ ERROR OK
+ #[rustc_then_this_would_need(typeck)] //~ ERROR OK
+ fn method(&self, x: u32) { }
+ }
+
+ struct WillChanges {
+ #[rustc_then_this_would_need(type_of)] //~ ERROR OK
+ x: WillChange,
+ #[rustc_then_this_would_need(type_of)] //~ ERROR OK
+ y: WillChange
+ }
+
+ // The fields change, not the type itself.
+ #[rustc_then_this_would_need(type_of)] //~ ERROR no path
+ fn indirect(x: WillChanges) { }
+}
+
+mod invalid_signatures {
+ use WontChange;
+
+ #[rustc_then_this_would_need(type_of)] //~ ERROR no path
+ trait A {
+ #[rustc_then_this_would_need(fn_sig)] //~ ERROR no path
+ fn do_something_else_twice(x: WontChange);
+ }
+
+ #[rustc_then_this_would_need(fn_sig)] //~ ERROR no path
+ fn b(x: WontChange) { }
+
+ #[rustc_then_this_would_need(fn_sig)] //~ ERROR no path from `WillChange`
+ #[rustc_then_this_would_need(typeck)] //~ ERROR no path from `WillChange`
+ fn c(x: u32) { }
+}