mirror of https://github.com/rust-lang/rust
180 lines
8.0 KiB
Plaintext
180 lines
8.0 KiB
Plaintext
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`.
|