diff options
| author | Yuki Okushi <huyuumi.dev@gmail.com> | 2019-12-06 15:37:01 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-06 15:37:01 +0900 |
| commit | 3d2cb557340f394463342763e1ee4810f8689ab4 (patch) | |
| tree | 499f5da976d742078fb94a7c0e41f8344accd20e | |
| parent | 617b07e7302065d8aaed18ab0baf88cfb9e8e054 (diff) | |
| parent | 3091b823d1080cfd2851f13b2eed5deed20d5f67 (diff) | |
| download | rust-3d2cb557340f394463342763e1ee4810f8689ab4.tar.gz rust-3d2cb557340f394463342763e1ee4810f8689ab4.zip | |
Rollup merge of #66764 - estebank:reword-bad-collect, r=alexcrichton
Tweak wording of `collect()` on bad target type Fix #60440.
| -rw-r--r-- | src/libcore/iter/traits/collect.rs | 4 | ||||
| -rw-r--r-- | src/test/ui/type/type-check-defaults.rs | 4 | ||||
| -rw-r--r-- | src/test/ui/type/type-check-defaults.stderr | 8 | ||||
| -rw-r--r-- | src/test/ui/type/type-dependent-def-issue-49241.rs | 2 | ||||
| -rw-r--r-- | src/test/ui/type/type-dependent-def-issue-49241.stderr | 4 |
5 files changed, 11 insertions, 11 deletions
diff --git a/src/libcore/iter/traits/collect.rs b/src/libcore/iter/traits/collect.rs index bbdb169cac0..d6ae5cfe9e0 100644 --- a/src/libcore/iter/traits/collect.rs +++ b/src/libcore/iter/traits/collect.rs @@ -91,9 +91,9 @@ /// ``` #[stable(feature = "rust1", since = "1.0.0")] #[rustc_on_unimplemented( - message="a collection of type `{Self}` cannot be built from an iterator \ + message="a value of type `{Self}` cannot be built from an iterator \ over elements of type `{A}`", - label="a collection of type `{Self}` cannot be built from `std::iter::Iterator<Item={A}>`", + label="value of type `{Self}` cannot be built from `std::iter::Iterator<Item={A}>`", )] pub trait FromIterator<A>: Sized { /// Creates a value from an iterator. diff --git a/src/test/ui/type/type-check-defaults.rs b/src/test/ui/type/type-check-defaults.rs index 5748c9bcff8..5380fae5417 100644 --- a/src/test/ui/type/type-check-defaults.rs +++ b/src/test/ui/type/type-check-defaults.rs @@ -4,9 +4,9 @@ use std::ops::Add; struct Foo<T, U: FromIterator<T>>(T, U); struct WellFormed<Z = Foo<i32, i32>>(Z); -//~^ ERROR a collection of type `i32` cannot be built from an iterator over elements of type `i32` +//~^ ERROR a value of type `i32` cannot be built from an iterator over elements of type `i32` struct WellFormedNoBounds<Z:?Sized = Foo<i32, i32>>(Z); -//~^ ERROR a collection of type `i32` cannot be built from an iterator over elements of type `i32` +//~^ ERROR a value of type `i32` cannot be built from an iterator over elements of type `i32` struct Bounds<T:Copy=String>(T); //~^ ERROR the trait bound `std::string::String: std::marker::Copy` is not satisfied [E0277] diff --git a/src/test/ui/type/type-check-defaults.stderr b/src/test/ui/type/type-check-defaults.stderr index 6802bc38b89..6f84b37d612 100644 --- a/src/test/ui/type/type-check-defaults.stderr +++ b/src/test/ui/type/type-check-defaults.stderr @@ -1,21 +1,21 @@ -error[E0277]: a collection of type `i32` cannot be built from an iterator over elements of type `i32` +error[E0277]: a value of type `i32` cannot be built from an iterator over elements of type `i32` --> $DIR/type-check-defaults.rs:6:19 | LL | struct Foo<T, U: FromIterator<T>>(T, U); | ---------------------------------------- required by `Foo` LL | struct WellFormed<Z = Foo<i32, i32>>(Z); - | ^ a collection of type `i32` cannot be built from `std::iter::Iterator<Item=i32>` + | ^ value of type `i32` cannot be built from `std::iter::Iterator<Item=i32>` | = help: the trait `std::iter::FromIterator<i32>` is not implemented for `i32` -error[E0277]: a collection of type `i32` cannot be built from an iterator over elements of type `i32` +error[E0277]: a value of type `i32` cannot be built from an iterator over elements of type `i32` --> $DIR/type-check-defaults.rs:8:27 | LL | struct Foo<T, U: FromIterator<T>>(T, U); | ---------------------------------------- required by `Foo` ... LL | struct WellFormedNoBounds<Z:?Sized = Foo<i32, i32>>(Z); - | ^ a collection of type `i32` cannot be built from `std::iter::Iterator<Item=i32>` + | ^ value of type `i32` cannot be built from `std::iter::Iterator<Item=i32>` | = help: the trait `std::iter::FromIterator<i32>` is not implemented for `i32` diff --git a/src/test/ui/type/type-dependent-def-issue-49241.rs b/src/test/ui/type/type-dependent-def-issue-49241.rs index 5ad50ffcbc3..a25e3ba5fa8 100644 --- a/src/test/ui/type/type-dependent-def-issue-49241.rs +++ b/src/test/ui/type/type-dependent-def-issue-49241.rs @@ -3,5 +3,5 @@ fn main() { const l: usize = v.count(); //~ ERROR attempt to use a non-constant value in a constant let s: [u32; l] = v.into_iter().collect(); //~^ ERROR evaluation of constant value failed - //~^^ ERROR a collection of type + //~^^ ERROR a value of type } diff --git a/src/test/ui/type/type-dependent-def-issue-49241.stderr b/src/test/ui/type/type-dependent-def-issue-49241.stderr index 851004d1058..18a69c50ebd 100644 --- a/src/test/ui/type/type-dependent-def-issue-49241.stderr +++ b/src/test/ui/type/type-dependent-def-issue-49241.stderr @@ -10,11 +10,11 @@ error[E0080]: evaluation of constant value failed LL | let s: [u32; l] = v.into_iter().collect(); | ^ referenced constant has errors -error[E0277]: a collection of type `[u32; _]` cannot be built from an iterator over elements of type `{integer}` +error[E0277]: a value of type `[u32; _]` cannot be built from an iterator over elements of type `{integer}` --> $DIR/type-dependent-def-issue-49241.rs:4:37 | LL | let s: [u32; l] = v.into_iter().collect(); - | ^^^^^^^ a collection of type `[u32; _]` cannot be built from `std::iter::Iterator<Item={integer}>` + | ^^^^^^^ value of type `[u32; _]` cannot be built from `std::iter::Iterator<Item={integer}>` | = help: the trait `std::iter::FromIterator<{integer}>` is not implemented for `[u32; _]` |
