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 trait Foo {
   4     type Assoc3<T>;
   5 }
   6
   7 struct Bar;
   8
   9 impl Foo for Bar {
  10     type Assoc3<T> = Vec<T> where T: Iterator;
  11     //~^ ERROR impl has stricter requirements than trait
  12 }
  13
  14 fn main() {}