tests/ui/chalkify/lower_impl.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// check-pass
// compile-flags: -Z trait-solver=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() {
}