tests/ui/generic-associated-types/equality-bound.stderr

error: equality constraints are not yet supported in `where` clauses
  --> $DIR/equality-bound.rs:1:51
   |
LL | fn sum<I: Iterator<Item = ()>>(i: I) -> i32 where I::Item = i32 {
   |                                                   ^^^^^^^^^^^^^ not supported
   |
   = note: see issue #20041 <https://github.com/rust-lang/rust/issues/20041> for more information
help: if `Iterator::Item` is an associated type you're trying to set, use the associated type binding syntax
   |
LL - fn sum<I: Iterator<Item = ()>>(i: I) -> i32 where I::Item = i32 {
LL + fn sum<I: Iterator<Item = (), Item = i32>>(i: I) -> i32  {
   |

error: equality constraints are not yet supported in `where` clauses
  --> $DIR/equality-bound.rs:5:41
   |
LL | fn sum2<I: Iterator>(i: I) -> i32 where I::Item = i32 {
   |                                         ^^^^^^^^^^^^^ not supported
   |
   = note: see issue #20041 <https://github.com/rust-lang/rust/issues/20041> for more information
help: if `Iterator::Item` is an associated type you're trying to set, use the associated type binding syntax
   |
LL - fn sum2<I: Iterator>(i: I) -> i32 where I::Item = i32 {
LL + fn sum2<I: Iterator<Item = i32>>(i: I) -> i32  {
   |

error: equality constraints are not yet supported in `where` clauses
  --> $DIR/equality-bound.rs:9:41
   |
LL | fn sum3<J: Iterator>(i: J) -> i32 where I::Item = i32 {
   |                                         ^^^^^^^^^^^^^ not supported
   |
   = note: see issue #20041 <https://github.com/rust-lang/rust/issues/20041> for more information

error: equality constraints are not yet supported in `where` clauses
  --> $DIR/equality-bound.rs:20:58
   |
LL |     fn from_iter<T>(_: T) -> Self where T: IntoIterator, IntoIterator::Item = A,
   |                                                          ^^^^^^^^^^^^^^^^^^^^^^ not supported
   |
   = note: see issue #20041 <https://github.com/rust-lang/rust/issues/20041> for more information
help: if `IntoIterator::Item` is an associated type you're trying to set, use the associated type binding syntax
   |
LL -     fn from_iter<T>(_: T) -> Self where T: IntoIterator, IntoIterator::Item = A,
LL +     fn from_iter<T>(_: T) -> Self where T: IntoIterator<Item = A>,
   |

error: equality constraints are not yet supported in `where` clauses
  --> $DIR/equality-bound.rs:31:58
   |
LL |     fn from_iter<T>(_: T) -> Self where T: IntoIterator, T::Item = A,
   |                                                          ^^^^^^^^^^^ not supported
   |
   = note: see issue #20041 <https://github.com/rust-lang/rust/issues/20041> for more information
help: if `IntoIterator::Item` is an associated type you're trying to set, use the associated type binding syntax
   |
LL -     fn from_iter<T>(_: T) -> Self where T: IntoIterator, T::Item = A,
LL +     fn from_iter<T>(_: T) -> Self where T: IntoIterator<Item = A>,
   |

error: equality constraints are not yet supported in `where` clauses
  --> $DIR/equality-bound.rs:42:55
   |
LL |     fn from_iter<T: IntoIterator>(_: T) -> Self where IntoIterator::Item = A,
   |                                                       ^^^^^^^^^^^^^^^^^^^^^^ not supported
   |
   = note: see issue #20041 <https://github.com/rust-lang/rust/issues/20041> for more information
help: if `IntoIterator::Item` is an associated type you're trying to set, use the associated type binding syntax
   |
LL -     fn from_iter<T: IntoIterator>(_: T) -> Self where IntoIterator::Item = A,
LL +     fn from_iter<T: IntoIterator<Item = A>>(_: T) -> Self 
   |

error: equality constraints are not yet supported in `where` clauses
  --> $DIR/equality-bound.rs:53:55
   |
LL |     fn from_iter<T: IntoIterator>(_: T) -> Self where T::Item = A,
   |                                                       ^^^^^^^^^^^ not supported
   |
   = note: see issue #20041 <https://github.com/rust-lang/rust/issues/20041> for more information
help: if `IntoIterator::Item` is an associated type you're trying to set, use the associated type binding syntax
   |
LL -     fn from_iter<T: IntoIterator>(_: T) -> Self where T::Item = A,
LL +     fn from_iter<T: IntoIterator<Item = A>>(_: T) -> Self 
   |

error: equality constraints are not yet supported in `where` clauses
  --> $DIR/equality-bound.rs:64:41
   |
LL |     fn from_iter<T>(_: T) -> Self where IntoIterator::Item = A, T: IntoIterator,
   |                                         ^^^^^^^^^^^^^^^^^^^^^^ not supported
   |
   = note: see issue #20041 <https://github.com/rust-lang/rust/issues/20041> for more information
help: if `IntoIterator::Item` is an associated type you're trying to set, use the associated type binding syntax
   |
LL -     fn from_iter<T>(_: T) -> Self where IntoIterator::Item = A, T: IntoIterator,
LL +     fn from_iter<T>(_: T) -> Self where T: IntoIterator<Item = A>,
   |

error: equality constraints are not yet supported in `where` clauses
  --> $DIR/equality-bound.rs:75:41
   |
LL |     fn from_iter<T>(_: T) -> Self where T::Item = A, T: IntoIterator,
   |                                         ^^^^^^^^^^^ not supported
   |
   = note: see issue #20041 <https://github.com/rust-lang/rust/issues/20041> for more information
help: if `IntoIterator::Item` is an associated type you're trying to set, use the associated type binding syntax
   |
LL -     fn from_iter<T>(_: T) -> Self where T::Item = A, T: IntoIterator,
LL +     fn from_iter<T>(_: T) -> Self where T: IntoIterator<Item = A>,
   |

error[E0412]: cannot find type `A` in this scope
  --> $DIR/equality-bound.rs:20:79
   |
LL |     fn from_iter<T>(_: T) -> Self where T: IntoIterator, IntoIterator::Item = A,
   |                                                                               ^ help: a struct with a similar name exists: `K`
...
LL | struct K {}
   | -------- similarly named struct `K` defined here

error[E0412]: cannot find type `A` in this scope
  --> $DIR/equality-bound.rs:31:68
   |
LL |     fn from_iter<T>(_: T) -> Self where T: IntoIterator, T::Item = A,
   |                                                                    ^ help: a struct with a similar name exists: `K`
...
LL | struct K {}
   | -------- similarly named struct `K` defined here

error[E0412]: cannot find type `A` in this scope
  --> $DIR/equality-bound.rs:42:76
   |
LL |     fn from_iter<T: IntoIterator>(_: T) -> Self where IntoIterator::Item = A,
   |                                                                            ^ help: a struct with a similar name exists: `K`
...
LL | struct K {}
   | -------- similarly named struct `K` defined here

error[E0412]: cannot find type `A` in this scope
  --> $DIR/equality-bound.rs:53:65
   |
LL | struct K {}
   | -------- similarly named struct `K` defined here
...
LL |     fn from_iter<T: IntoIterator>(_: T) -> Self where T::Item = A,
   |                                                                 ^ help: a struct with a similar name exists: `K`

error[E0412]: cannot find type `A` in this scope
  --> $DIR/equality-bound.rs:64:62
   |
LL | struct K {}
   | -------- similarly named struct `K` defined here
...
LL |     fn from_iter<T>(_: T) -> Self where IntoIterator::Item = A, T: IntoIterator,
   |                                                              ^ help: a struct with a similar name exists: `K`

error[E0412]: cannot find type `A` in this scope
  --> $DIR/equality-bound.rs:75:51
   |
LL | struct K {}
   | -------- similarly named struct `K` defined here
...
LL |     fn from_iter<T>(_: T) -> Self where T::Item = A, T: IntoIterator,
   |                                                   ^ help: a struct with a similar name exists: `K`

error[E0433]: failed to resolve: use of undeclared type `I`
  --> $DIR/equality-bound.rs:9:41
   |
LL | fn sum3<J: Iterator>(i: J) -> i32 where I::Item = i32 {
   |                                         ^
   |                                         |
   |                                         use of undeclared type `I`
   |                                         help: a type parameter with a similar name exists: `J`

error: aborting due to 16 previous errors

Some errors have detailed explanations: E0412, E0433.
For more information about an error, try `rustc --explain E0412`.