error[E0276]: impl has stricter requirements than trait
- --> $DIR/issue-47206-where-clause.rs:12:5
+ --> $DIR/issue-47206-where-clause.rs:12:38
|
LL | type Assoc3<T>;
| -------------- definition of `Assoc3` from trait
...
LL | type Assoc3<T> = Vec<T> where T: Iterator;
- | ^^^^^^^^^^^^^^ impl has extra requirement `T: Iterator`
+ | ^^^^^^^^ impl has extra requirement `T: Iterator`
error: aborting due to previous error