summaryrefslogtreecommitdiffstats
path: root/src/test/ui/dep-graph/dep-graph-struct-signature.rs
diff options
context:
space:
mode:
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, 0 insertions, 87 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
deleted file mode 100644
index fcf9f6387..000000000
--- a/src/test/ui/dep-graph/dep-graph-struct-signature.rs
+++ /dev/null
@@ -1,87 +0,0 @@
-// 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) { }
-}