src/test/ui/generic-associated-types/issue-47206-where-clause.rs

   1 // Check that this program doesn't cause the compiler to error without output.
   2
   3 #![feature(generic_associated_types)]
   4
   5 trait Foo {
   6     type Assoc3<T>;
   7 }
   8
   9 struct Bar;
  10
  11 impl Foo for Bar {
  12     type Assoc3<T> where T: Iterator = Vec<T>;
  13     //~^ ERROR impl has stricter requirements than trait
  14 }
  15
  16 fn main() {}