about summary refs log tree commit diff
path: root/src/test/ui/dep-graph/dep-graph-trait-impl.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/dep-graph/dep-graph-trait-impl.rs')
-rw-r--r--src/test/ui/dep-graph/dep-graph-trait-impl.rs61
1 files changed, 0 insertions, 61 deletions
diff --git a/src/test/ui/dep-graph/dep-graph-trait-impl.rs b/src/test/ui/dep-graph/dep-graph-trait-impl.rs
deleted file mode 100644
index 19002965b93..00000000000
--- a/src/test/ui/dep-graph/dep-graph-trait-impl.rs
+++ /dev/null
@@ -1,61 +0,0 @@
-// Test that when a trait impl changes, fns whose body uses that trait
-// must also be recompiled.
-
-// incremental
-// compile-flags: -Z query-dep-graph
-
-#![feature(rustc_attrs)]
-#![allow(warnings)]
-
-fn main() { }
-
-pub trait Foo: Sized {
-    fn method(self) { }
-}
-
-mod x {
-    use Foo;
-
-    #[rustc_if_this_changed]
-    impl Foo for char { }
-
-    impl Foo for u32 { }
-}
-
-mod y {
-    use Foo;
-
-    #[rustc_then_this_would_need(typeck)] //~ ERROR OK
-    pub fn with_char() {
-        char::method('a');
-    }
-
-    #[rustc_then_this_would_need(typeck)] //~ ERROR OK
-    pub fn take_foo_with_char() {
-        take_foo::<char>('a');
-    }
-
-    #[rustc_then_this_would_need(typeck)] //~ ERROR OK
-    pub fn with_u32() {
-        u32::method(22);
-    }
-
-    #[rustc_then_this_would_need(typeck)] //~ ERROR OK
-    pub fn take_foo_with_u32() {
-        take_foo::<u32>(22);
-    }
-
-    pub fn take_foo<T:Foo>(t: T) { }
-}
-
-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::with_char();
-        y::with_u32();
-    }
-}