// option. This file may not be copied, modified, or distributed
// except according to those terms.
-// Test that two unrelated functions have no trans dependency.
+// Test that immediate callers have to change when callee changes, but
+// not callers' callers.
+
+// compile-flags: -Z incr-comp
#![feature(rustc_attrs)]
#![allow(dead_code)]
// option. This file may not be copied, modified, or distributed
// except according to those terms.
-// Test that two unrelated functions have no trans dependency.
+// Test cases where a changing struct appears in the signature of fns
+// and methods.
+
+// compile-flags: -Z incr-comp
#![feature(rustc_attrs)]
#![allow(dead_code)]
#[rustc_then_this_would_need(ItemSignature)] //~ ERROR OK
#[rustc_then_this_would_need(CollectItem)] //~ ERROR OK
- fn indirect(x: WillChange) { }
+ fn indirect(x: WillChanges) { }
}
// these are invalid dependencies, though sometimes we create edges
// option. This file may not be copied, modified, or distributed
// except according to those terms.
-// Test that two unrelated functions have no trans dependency.
+// Test that adding an impl to a trait `Foo` DOES affect functions
+// that only use `Bar` if they have methods in common.
+
+// compile-flags: -Z incr-comp
#![feature(rustc_attrs)]
#![allow(dead_code)]
// except according to those terms.
// Test that adding an impl to a trait `Foo` does not affect functions
-// that only use `Bar`.
+// that only use `Bar`, so long as they do not have methods in common.
+
+// compile-flags: -Z incr-comp
#![feature(rustc_attrs)]
#![allow(warnings)]
// option. This file may not be copied, modified, or distributed
// except according to those terms.
-// Test that two unrelated functions have no trans dependency.
+// Test that when a trait impl changes, fns whose body uses that trait
+// must also be recompiled.
+
+// compile-flags: -Z incr-comp
#![feature(rustc_attrs)]
#![allow(warnings)]
// Test that two unrelated functions have no trans dependency.
+// compile-flags: -Z incr-comp
+
#![feature(rustc_attrs)]
#![allow(dead_code)]