diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/ui/type-check-defaults.stderr | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/src/test/ui/type-check-defaults.stderr b/src/test/ui/type-check-defaults.stderr index 4af8f5da0dd..f39b7dcb31f 100644 --- a/src/test/ui/type-check-defaults.stderr +++ b/src/test/ui/type-check-defaults.stderr @@ -1,33 +1,33 @@ error[E0277]: the trait bound `i32: std::iter::FromIterator<i32>` is not satisfied --> $DIR/type-check-defaults.rs:16:19 | -16 | struct WellFormed<Z = Foo<i32, i32>>(Z); +LL | struct WellFormed<Z = Foo<i32, i32>>(Z); | ^ a collection of type `i32` cannot be built from an iterator over elements of type `i32` | = help: the trait `std::iter::FromIterator<i32>` is not implemented for `i32` note: required by `Foo` --> $DIR/type-check-defaults.rs:15:1 | -15 | struct Foo<T, U: FromIterator<T>>(T, U); +LL | struct Foo<T, U: FromIterator<T>>(T, U); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ error[E0277]: the trait bound `i32: std::iter::FromIterator<i32>` is not satisfied --> $DIR/type-check-defaults.rs:18:27 | -18 | struct WellFormedNoBounds<Z:?Sized = Foo<i32, i32>>(Z); +LL | struct WellFormedNoBounds<Z:?Sized = Foo<i32, i32>>(Z); | ^ a collection of type `i32` cannot be built from an iterator over elements of type `i32` | = help: the trait `std::iter::FromIterator<i32>` is not implemented for `i32` note: required by `Foo` --> $DIR/type-check-defaults.rs:15:1 | -15 | struct Foo<T, U: FromIterator<T>>(T, U); +LL | struct Foo<T, U: FromIterator<T>>(T, U); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ error[E0277]: the trait bound `std::string::String: std::marker::Copy` is not satisfied --> $DIR/type-check-defaults.rs:21:1 | -21 | struct Bounds<T:Copy=String>(T); +LL | struct Bounds<T:Copy=String>(T); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `std::string::String` | = note: required by `std::marker::Copy` @@ -35,7 +35,7 @@ error[E0277]: the trait bound `std::string::String: std::marker::Copy` is not sa error[E0277]: the trait bound `std::string::String: std::marker::Copy` is not satisfied --> $DIR/type-check-defaults.rs:24:1 | -24 | struct WhereClause<T=String>(T) where T: Copy; +LL | struct WhereClause<T=String>(T) where T: Copy; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `std::string::String` | = note: required by `std::marker::Copy` @@ -43,7 +43,7 @@ error[E0277]: the trait bound `std::string::String: std::marker::Copy` is not sa error[E0277]: the trait bound `std::string::String: std::marker::Copy` is not satisfied --> $DIR/type-check-defaults.rs:27:1 | -27 | trait TraitBound<T:Copy=String> {} +LL | trait TraitBound<T:Copy=String> {} | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `std::string::String` | = note: required by `std::marker::Copy` @@ -51,20 +51,20 @@ error[E0277]: the trait bound `std::string::String: std::marker::Copy` is not sa error[E0277]: the trait bound `T: std::marker::Copy` is not satisfied --> $DIR/type-check-defaults.rs:31:1 | -31 | trait Base<T = String>: Super<T> { } +LL | trait Base<T = String>: Super<T> { } | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `T` | = help: consider adding a `where T: std::marker::Copy` bound note: required by `Super` --> $DIR/type-check-defaults.rs:30:1 | -30 | trait Super<T: Copy> { } +LL | trait Super<T: Copy> { } | ^^^^^^^^^^^^^^^^^^^^ error[E0277]: cannot add `u8` to `i32` --> $DIR/type-check-defaults.rs:34:1 | -34 | trait ProjectionPred<T:Iterator = IntoIter<i32>> where T::Item : Add<u8> {} +LL | trait ProjectionPred<T:Iterator = IntoIter<i32>> where T::Item : Add<u8> {} | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ no implementation for `i32 + u8` | = help: the trait `std::ops::Add<u8>` is not implemented for `i32` @@ -72,3 +72,4 @@ error[E0277]: cannot add `u8` to `i32` error: aborting due to 7 previous errors +If you want more information on this error, try using "rustc --explain E0277" |