1 // Test that adding an impl to a trait `Foo` DOES affect functions
2 // that only use `Bar` if they have methods in common.
5 // compile-flags: -Z query-dep-graph
7 #![feature(rustc_attrs)]
9 #![allow(unused_imports)]
13 pub trait Foo: Sized {
17 pub trait Bar: Sized {
24 #[rustc_if_this_changed]
33 #[rustc_then_this_would_need(typeck)] //~ ERROR OK
42 #[rustc_then_this_would_need(typeck)] //~ ERROR no path