1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
// check-pass // compile-flags: -Z chalk trait Foo { } impl<T: 'static> Foo for T where T: Iterator<Item = i32> { } trait Bar { type Assoc; } impl<T> Bar for T where T: Iterator<Item = i32> { type Assoc = Vec<T>; } fn main() { }