tests/ui/chalkify/lower_impl.rs

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