2023-08-14 13:09:53 +00:00
|
|
|
error[E0277]: `[i32]` is not an iterator
|
2021-09-02 03:07:56 +00:00
|
|
|
--> $DIR/slice-issue-87994.rs:3:12
|
|
|
|
|
|
|
|
|
|
|
LL | for _ in v[1..] {
|
2022-08-18 12:16:35 +00:00
|
|
|
| ^^^^^^ the trait `IntoIterator` is not implemented for `[i32]`
|
2021-09-02 03:07:56 +00:00
|
|
|
|
|
|
|
|
|
= note: the trait bound `[i32]: IntoIterator` is not satisfied
|
2022-08-15 20:31:37 +00:00
|
|
|
= note: required for `[i32]` to implement `IntoIterator`
|
2021-09-26 07:18:58 +00:00
|
|
|
help: consider borrowing here
|
|
|
|
|
|
|
|
|
|
|
LL | for _ in &v[1..] {
|
2021-09-26 15:30:39 +00:00
|
|
|
| +
|
2021-09-26 07:18:58 +00:00
|
|
|
LL | for _ in &mut v[1..] {
|
2021-09-26 15:30:39 +00:00
|
|
|
| ++++
|
2021-09-02 03:07:56 +00:00
|
|
|
|
Use root obligation on E0277 for some cases
When encountering trait bound errors that satisfy some heuristics that
tell us that the relevant trait for the user comes from the root
obligation and not the current obligation, we use the root predicate for
the main message.
This allows to talk about "X doesn't implement Pattern<'_>" over the
most specific case that just happened to fail, like "char doesn't
implement Fn(&mut char)" in
`tests/ui/traits/suggest-dereferences/root-obligation.rs`
The heuristics are:
- the type of the leaf predicate is (roughly) the same as the type
from the root predicate, as a proxy for "we care about the root"
- the leaf trait and the root trait are different, so as to avoid
talking about `&mut T: Trait` and instead remain talking about
`T: Trait` instead
- the root trait is not `Unsize`, as to avoid talking about it in
`tests/ui/coercion/coerce-issue-49593-box-never.rs`.
```
error[E0277]: the trait bound `&char: Pattern<'_>` is not satisfied
--> $DIR/root-obligation.rs:6:38
|
LL | .filter(|c| "aeiou".contains(c))
| -------- ^ the trait `Fn<(char,)>` is not implemented for `&char`, which is required by `&char: Pattern<'_>`
| |
| required by a bound introduced by this call
|
= note: required for `&char` to implement `FnOnce<(char,)>`
= note: required for `&char` to implement `Pattern<'_>`
note: required by a bound in `core::str::<impl str>::contains`
--> $SRC_DIR/core/src/str/mod.rs:LL:COL
help: consider dereferencing here
|
LL | .filter(|c| "aeiou".contains(*c))
| +
```
Fix #79359, fix #119983, fix #118779, cc #118415 (the suggestion needs
to change).
2024-02-29 00:35:59 +00:00
|
|
|
error[E0277]: `[i32]` is not an iterator
|
2021-09-02 03:07:56 +00:00
|
|
|
--> $DIR/slice-issue-87994.rs:3:12
|
|
|
|
|
|
|
|
|
|
|
LL | for _ in v[1..] {
|
2022-08-18 12:16:35 +00:00
|
|
|
| ^^^^^^ the trait `IntoIterator` is not implemented for `[i32]`
|
2021-09-02 03:07:56 +00:00
|
|
|
|
|
|
|
|
|
= note: the trait bound `[i32]: IntoIterator` is not satisfied
|
2022-08-15 20:31:37 +00:00
|
|
|
= note: required for `[i32]` to implement `IntoIterator`
|
Use root obligation on E0277 for some cases
When encountering trait bound errors that satisfy some heuristics that
tell us that the relevant trait for the user comes from the root
obligation and not the current obligation, we use the root predicate for
the main message.
This allows to talk about "X doesn't implement Pattern<'_>" over the
most specific case that just happened to fail, like "char doesn't
implement Fn(&mut char)" in
`tests/ui/traits/suggest-dereferences/root-obligation.rs`
The heuristics are:
- the type of the leaf predicate is (roughly) the same as the type
from the root predicate, as a proxy for "we care about the root"
- the leaf trait and the root trait are different, so as to avoid
talking about `&mut T: Trait` and instead remain talking about
`T: Trait` instead
- the root trait is not `Unsize`, as to avoid talking about it in
`tests/ui/coercion/coerce-issue-49593-box-never.rs`.
```
error[E0277]: the trait bound `&char: Pattern<'_>` is not satisfied
--> $DIR/root-obligation.rs:6:38
|
LL | .filter(|c| "aeiou".contains(c))
| -------- ^ the trait `Fn<(char,)>` is not implemented for `&char`, which is required by `&char: Pattern<'_>`
| |
| required by a bound introduced by this call
|
= note: required for `&char` to implement `FnOnce<(char,)>`
= note: required for `&char` to implement `Pattern<'_>`
note: required by a bound in `core::str::<impl str>::contains`
--> $SRC_DIR/core/src/str/mod.rs:LL:COL
help: consider dereferencing here
|
LL | .filter(|c| "aeiou".contains(*c))
| +
```
Fix #79359, fix #119983, fix #118779, cc #118415 (the suggestion needs
to change).
2024-02-29 00:35:59 +00:00
|
|
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
2021-09-26 07:18:58 +00:00
|
|
|
help: consider borrowing here
|
|
|
|
|
|
|
|
|
|
|
LL | for _ in &v[1..] {
|
2021-09-26 15:30:39 +00:00
|
|
|
| +
|
2021-09-26 07:18:58 +00:00
|
|
|
LL | for _ in &mut v[1..] {
|
2021-09-26 15:30:39 +00:00
|
|
|
| ++++
|
2021-09-02 03:07:56 +00:00
|
|
|
|
2023-08-14 13:09:53 +00:00
|
|
|
error[E0277]: `[K]` is not an iterator
|
2021-09-07 07:49:43 +00:00
|
|
|
--> $DIR/slice-issue-87994.rs:11:13
|
|
|
|
|
|
|
|
|
|
|
LL | for i2 in v2[1..] {
|
2022-08-18 12:16:35 +00:00
|
|
|
| ^^^^^^^ the trait `IntoIterator` is not implemented for `[K]`
|
2021-09-07 07:49:43 +00:00
|
|
|
|
|
|
|
|
|
= note: the trait bound `[K]: IntoIterator` is not satisfied
|
2022-08-15 20:31:37 +00:00
|
|
|
= note: required for `[K]` to implement `IntoIterator`
|
2021-09-26 07:18:58 +00:00
|
|
|
help: consider borrowing here
|
|
|
|
|
|
|
|
|
|
|
LL | for i2 in &v2[1..] {
|
2021-09-26 15:30:39 +00:00
|
|
|
| +
|
2021-09-26 07:18:58 +00:00
|
|
|
LL | for i2 in &mut v2[1..] {
|
2021-09-26 15:30:39 +00:00
|
|
|
| ++++
|
2021-09-07 07:49:43 +00:00
|
|
|
|
Use root obligation on E0277 for some cases
When encountering trait bound errors that satisfy some heuristics that
tell us that the relevant trait for the user comes from the root
obligation and not the current obligation, we use the root predicate for
the main message.
This allows to talk about "X doesn't implement Pattern<'_>" over the
most specific case that just happened to fail, like "char doesn't
implement Fn(&mut char)" in
`tests/ui/traits/suggest-dereferences/root-obligation.rs`
The heuristics are:
- the type of the leaf predicate is (roughly) the same as the type
from the root predicate, as a proxy for "we care about the root"
- the leaf trait and the root trait are different, so as to avoid
talking about `&mut T: Trait` and instead remain talking about
`T: Trait` instead
- the root trait is not `Unsize`, as to avoid talking about it in
`tests/ui/coercion/coerce-issue-49593-box-never.rs`.
```
error[E0277]: the trait bound `&char: Pattern<'_>` is not satisfied
--> $DIR/root-obligation.rs:6:38
|
LL | .filter(|c| "aeiou".contains(c))
| -------- ^ the trait `Fn<(char,)>` is not implemented for `&char`, which is required by `&char: Pattern<'_>`
| |
| required by a bound introduced by this call
|
= note: required for `&char` to implement `FnOnce<(char,)>`
= note: required for `&char` to implement `Pattern<'_>`
note: required by a bound in `core::str::<impl str>::contains`
--> $SRC_DIR/core/src/str/mod.rs:LL:COL
help: consider dereferencing here
|
LL | .filter(|c| "aeiou".contains(*c))
| +
```
Fix #79359, fix #119983, fix #118779, cc #118415 (the suggestion needs
to change).
2024-02-29 00:35:59 +00:00
|
|
|
error[E0277]: `[K]` is not an iterator
|
2021-09-07 07:49:43 +00:00
|
|
|
--> $DIR/slice-issue-87994.rs:11:13
|
|
|
|
|
|
|
|
|
|
|
LL | for i2 in v2[1..] {
|
2022-08-18 12:16:35 +00:00
|
|
|
| ^^^^^^^ the trait `IntoIterator` is not implemented for `[K]`
|
2021-09-07 07:49:43 +00:00
|
|
|
|
|
|
|
|
|
= note: the trait bound `[K]: IntoIterator` is not satisfied
|
2022-08-15 20:31:37 +00:00
|
|
|
= note: required for `[K]` to implement `IntoIterator`
|
Use root obligation on E0277 for some cases
When encountering trait bound errors that satisfy some heuristics that
tell us that the relevant trait for the user comes from the root
obligation and not the current obligation, we use the root predicate for
the main message.
This allows to talk about "X doesn't implement Pattern<'_>" over the
most specific case that just happened to fail, like "char doesn't
implement Fn(&mut char)" in
`tests/ui/traits/suggest-dereferences/root-obligation.rs`
The heuristics are:
- the type of the leaf predicate is (roughly) the same as the type
from the root predicate, as a proxy for "we care about the root"
- the leaf trait and the root trait are different, so as to avoid
talking about `&mut T: Trait` and instead remain talking about
`T: Trait` instead
- the root trait is not `Unsize`, as to avoid talking about it in
`tests/ui/coercion/coerce-issue-49593-box-never.rs`.
```
error[E0277]: the trait bound `&char: Pattern<'_>` is not satisfied
--> $DIR/root-obligation.rs:6:38
|
LL | .filter(|c| "aeiou".contains(c))
| -------- ^ the trait `Fn<(char,)>` is not implemented for `&char`, which is required by `&char: Pattern<'_>`
| |
| required by a bound introduced by this call
|
= note: required for `&char` to implement `FnOnce<(char,)>`
= note: required for `&char` to implement `Pattern<'_>`
note: required by a bound in `core::str::<impl str>::contains`
--> $SRC_DIR/core/src/str/mod.rs:LL:COL
help: consider dereferencing here
|
LL | .filter(|c| "aeiou".contains(*c))
| +
```
Fix #79359, fix #119983, fix #118779, cc #118415 (the suggestion needs
to change).
2024-02-29 00:35:59 +00:00
|
|
|
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
|
2021-09-26 07:18:58 +00:00
|
|
|
help: consider borrowing here
|
|
|
|
|
|
|
|
|
|
|
LL | for i2 in &v2[1..] {
|
2021-09-26 15:30:39 +00:00
|
|
|
| +
|
2021-09-26 07:18:58 +00:00
|
|
|
LL | for i2 in &mut v2[1..] {
|
2021-09-26 15:30:39 +00:00
|
|
|
| ++++
|
2021-09-07 07:49:43 +00:00
|
|
|
|
|
|
|
|
error: aborting due to 4 previous errors
|
2021-09-02 03:07:56 +00:00
|
|
|
|
|
|
|
|
For more information about this error, try `rustc --explain E0277`.
|