1 // Test that the variance computation considers types/regions that
2 // appear in projections to be invariant.
4 #![feature(rustc_attrs)]
9 fn method(&'a self) { }
13 struct Foo<'a, T : Trait<'a>> { //~ ERROR [-, +]
18 struct Bar<'a, T : Trait<'a>> { //~ ERROR [o, o]
19 field: <T as Trait<'a>>::Type