diff options
Diffstat (limited to '')
-rw-r--r-- | tests/ui/kindck/kindck-impl-type-params.stderr (renamed from src/test/ui/kindck/kindck-impl-type-params.stderr) | 24 |
1 files changed, 18 insertions, 6 deletions
diff --git a/src/test/ui/kindck/kindck-impl-type-params.stderr b/tests/ui/kindck/kindck-impl-type-params.stderr index 8dbe0c38c..6fd1fc3f7 100644 --- a/src/test/ui/kindck/kindck-impl-type-params.stderr +++ b/tests/ui/kindck/kindck-impl-type-params.stderr @@ -8,7 +8,9 @@ note: required for `S<T>` to implement `Gettable<T>` --> $DIR/kindck-impl-type-params.rs:12:32 | LL | impl<T: Send + Copy + 'static> Gettable<T> for S<T> {} - | ^^^^^^^^^^^ ^^^^ + | ---- ^^^^^^^^^^^ ^^^^ + | | + | unsatisfied trait bound introduced here = note: required for the cast from `S<T>` to the object type `dyn Gettable<T>` help: consider restricting type parameter `T` | @@ -25,7 +27,9 @@ note: required for `S<T>` to implement `Gettable<T>` --> $DIR/kindck-impl-type-params.rs:12:32 | LL | impl<T: Send + Copy + 'static> Gettable<T> for S<T> {} - | ^^^^^^^^^^^ ^^^^ + | ---- ^^^^^^^^^^^ ^^^^ + | | + | unsatisfied trait bound introduced here = note: required for the cast from `S<T>` to the object type `dyn Gettable<T>` help: consider restricting type parameter `T` | @@ -42,7 +46,9 @@ note: required for `S<T>` to implement `Gettable<T>` --> $DIR/kindck-impl-type-params.rs:12:32 | LL | impl<T: Send + Copy + 'static> Gettable<T> for S<T> {} - | ^^^^^^^^^^^ ^^^^ + | ---- ^^^^^^^^^^^ ^^^^ + | | + | unsatisfied trait bound introduced here = note: required for the cast from `S<T>` to the object type `dyn Gettable<T>` help: consider restricting type parameter `T` | @@ -59,7 +65,9 @@ note: required for `S<T>` to implement `Gettable<T>` --> $DIR/kindck-impl-type-params.rs:12:32 | LL | impl<T: Send + Copy + 'static> Gettable<T> for S<T> {} - | ^^^^^^^^^^^ ^^^^ + | ---- ^^^^^^^^^^^ ^^^^ + | | + | unsatisfied trait bound introduced here = note: required for the cast from `S<T>` to the object type `dyn Gettable<T>` help: consider restricting type parameter `T` | @@ -77,7 +85,9 @@ note: required for `S<String>` to implement `Gettable<String>` --> $DIR/kindck-impl-type-params.rs:12:32 | LL | impl<T: Send + Copy + 'static> Gettable<T> for S<T> {} - | ^^^^^^^^^^^ ^^^^ + | ---- ^^^^^^^^^^^ ^^^^ + | | + | unsatisfied trait bound introduced here = note: required for the cast from `S<String>` to the object type `dyn Gettable<String>` error[E0277]: the trait bound `Foo: Copy` is not satisfied @@ -91,7 +101,9 @@ note: required for `S<Foo>` to implement `Gettable<Foo>` --> $DIR/kindck-impl-type-params.rs:12:32 | LL | impl<T: Send + Copy + 'static> Gettable<T> for S<T> {} - | ^^^^^^^^^^^ ^^^^ + | ---- ^^^^^^^^^^^ ^^^^ + | | + | unsatisfied trait bound introduced here = note: required for the cast from `S<Foo>` to the object type `dyn Gettable<Foo>` help: consider annotating `Foo` with `#[derive(Copy)]` | |