1 // Test that (for now) we report an ambiguity error here, because
2 // specific trait relationships are ignored for the purposes of trait
3 // matching. This behavior should likely be improved such that this
4 // test passes. See #21974 for more details.
10 fn foo<'a,'b,T>(x: &'a T, y: &'b T)
11 where &'a T : Foo, //~ ERROR type annotations needed