1error[E0276]: impl has stricter requirements than trait
2  --> $DIR/issue-47206-where-clause.rs:12:5
3   |
4LL |     type Assoc3<T>;
5   |     --------------- definition of `Assoc3` from trait
6...
7LL |     type Assoc3<T> where T: Iterator = Vec<T>;
8   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ impl has extra requirement `T: Iterator`
9
10error: aborting due to previous error
11
12For more information about this error, try `rustc --explain E0276`.
13