1 // Test that `<F as Foo<'a>>::Type: 'b`, where `trait Foo<'a> { Type:
2 // 'a; }`, does not require that `F: 'b`.
11 impl<'a: 'c, 'c, T> SomeTrait<'a> for &'c T where T: SomeTrait<'a> {
12 type Type = <T as SomeTrait<'a>>::Type;
13 // ~~~~~~~~~~~~~~~~~~~~~~~~~~
15 // Note that this type must outlive 'a, due to the trait
16 // definition. If we fall back to OutlivesProjectionComponents
17 // here, then we would require that `T:'a`, which is too strong.