1 2 3 4 5 6 7 8
// check-pass // compile-flags: -Z parse-only impl<T> Baz for T where T: Foo { type Quux<'a> = <T as Foo>::Bar<'a, 'static>; } fn main() {}