1 // Test that an impl with only one bound region `'a` cannot be used to
2 // satisfy a constraint where there are two bound regions.
5 fn foo(&self, x: X) { }
9 where T : for<'a,'b> Foo<(&'a isize, &'b isize)>
14 where T : for<'z> Foo<(&'z isize, &'z isize)>
18 // Expressed as a where clause
22 impl<'a> Foo<(&'a isize, &'a isize)> for SomeStruct
26 fn a() { want_foo1::<SomeStruct>(); } // OK -- foo wants just one region
27 fn b() { want_foo2::<SomeStruct>(); } //~ ERROR