mirror of https://github.com/rust-lang/rust
143 lines
5.1 KiB
Plaintext
143 lines
5.1 KiB
Plaintext
error[E0277]: the trait bound `NotClone: Clone` is not satisfied
|
|
--> $DIR/defaults-suitability.rs:13:22
|
|
|
|
|
LL | type Ty: Clone = NotClone;
|
|
| ^^^^^^^^ the trait `Clone` is not implemented for `NotClone`
|
|
|
|
|
note: required by a bound in `Tr::Ty`
|
|
--> $DIR/defaults-suitability.rs:13:14
|
|
|
|
|
LL | type Ty: Clone = NotClone;
|
|
| ^^^^^ required by this bound in `Tr::Ty`
|
|
help: consider annotating `NotClone` with `#[derive(Clone)]`
|
|
|
|
|
LL + #[derive(Clone)]
|
|
LL | struct NotClone;
|
|
|
|
|
|
|
error[E0277]: the trait bound `NotClone: Clone` is not satisfied
|
|
--> $DIR/defaults-suitability.rs:22:15
|
|
|
|
|
LL | type Ty = NotClone;
|
|
| ^^^^^^^^ the trait `Clone` is not implemented for `NotClone`
|
|
|
|
|
note: required by a bound in `Tr2::Ty`
|
|
--> $DIR/defaults-suitability.rs:20:15
|
|
|
|
|
LL | Self::Ty: Clone,
|
|
| ^^^^^ required by this bound in `Tr2::Ty`
|
|
LL | {
|
|
LL | type Ty = NotClone;
|
|
| -- required by a bound in this associated type
|
|
help: consider annotating `NotClone` with `#[derive(Clone)]`
|
|
|
|
|
LL + #[derive(Clone)]
|
|
LL | struct NotClone;
|
|
|
|
|
|
|
error[E0277]: the trait bound `T: Clone` is not satisfied
|
|
--> $DIR/defaults-suitability.rs:28:23
|
|
|
|
|
LL | type Bar: Clone = Vec<T>;
|
|
| ^^^^^^ the trait `Clone` is not implemented for `T`, which is required by `Vec<T>: Clone`
|
|
|
|
|
= note: required for `Vec<T>` to implement `Clone`
|
|
note: required by a bound in `Foo::Bar`
|
|
--> $DIR/defaults-suitability.rs:28:15
|
|
|
|
|
LL | type Bar: Clone = Vec<T>;
|
|
| ^^^^^ required by this bound in `Foo::Bar`
|
|
help: consider restricting type parameter `T`
|
|
|
|
|
LL | trait Foo<T: std::clone::Clone> {
|
|
| +++++++++++++++++++
|
|
|
|
error[E0277]: the trait bound `(): Foo<Self>` is not satisfied
|
|
--> $DIR/defaults-suitability.rs:34:29
|
|
|
|
|
LL | type Assoc: Foo<Self> = ();
|
|
| ^^ the trait `Foo<Self>` is not implemented for `()`
|
|
|
|
|
help: this trait has no implementations, consider adding one
|
|
--> $DIR/defaults-suitability.rs:27:1
|
|
|
|
|
LL | trait Foo<T> {
|
|
| ^^^^^^^^^^^^
|
|
note: required by a bound in `Bar::Assoc`
|
|
--> $DIR/defaults-suitability.rs:34:17
|
|
|
|
|
LL | type Assoc: Foo<Self> = ();
|
|
| ^^^^^^^^^ required by this bound in `Bar::Assoc`
|
|
|
|
error[E0277]: the trait bound `NotClone: IsU8<NotClone>` is not satisfied
|
|
--> $DIR/defaults-suitability.rs:56:18
|
|
|
|
|
LL | type Assoc = NotClone;
|
|
| ^^^^^^^^ the trait `IsU8<NotClone>` is not implemented for `NotClone`
|
|
|
|
|
note: required by a bound in `D::Assoc`
|
|
--> $DIR/defaults-suitability.rs:53:18
|
|
|
|
|
LL | Self::Assoc: IsU8<Self::Assoc>,
|
|
| ^^^^^^^^^^^^^^^^^ required by this bound in `D::Assoc`
|
|
...
|
|
LL | type Assoc = NotClone;
|
|
| ----- required by a bound in this associated type
|
|
|
|
error[E0277]: the trait bound `<Self as Foo2<T>>::Baz: Clone` is not satisfied
|
|
--> $DIR/defaults-suitability.rs:65:23
|
|
|
|
|
LL | type Bar: Clone = Vec<Self::Baz>;
|
|
| ^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `<Self as Foo2<T>>::Baz`, which is required by `Vec<<Self as Foo2<T>>::Baz>: Clone`
|
|
|
|
|
= note: required for `Vec<<Self as Foo2<T>>::Baz>` to implement `Clone`
|
|
note: required by a bound in `Foo2::Bar`
|
|
--> $DIR/defaults-suitability.rs:65:15
|
|
|
|
|
LL | type Bar: Clone = Vec<Self::Baz>;
|
|
| ^^^^^ required by this bound in `Foo2::Bar`
|
|
help: consider further restricting the associated type
|
|
|
|
|
LL | trait Foo2<T> where <Self as Foo2<T>>::Baz: Clone {
|
|
| +++++++++++++++++++++++++++++++++++
|
|
|
|
error[E0277]: the trait bound `<Self as Foo25<T>>::Baz: Clone` is not satisfied
|
|
--> $DIR/defaults-suitability.rs:74:23
|
|
|
|
|
LL | type Bar: Clone = Vec<Self::Baz>;
|
|
| ^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `<Self as Foo25<T>>::Baz`, which is required by `Vec<<Self as Foo25<T>>::Baz>: Clone`
|
|
|
|
|
= note: required for `Vec<<Self as Foo25<T>>::Baz>` to implement `Clone`
|
|
note: required by a bound in `Foo25::Bar`
|
|
--> $DIR/defaults-suitability.rs:74:15
|
|
|
|
|
LL | type Bar: Clone = Vec<Self::Baz>;
|
|
| ^^^^^ required by this bound in `Foo25::Bar`
|
|
help: consider further restricting the associated type
|
|
|
|
|
LL | trait Foo25<T: Clone> where <Self as Foo25<T>>::Baz: Clone {
|
|
| ++++++++++++++++++++++++++++++++++++
|
|
|
|
error[E0277]: the trait bound `T: Clone` is not satisfied
|
|
--> $DIR/defaults-suitability.rs:87:16
|
|
|
|
|
LL | type Baz = T;
|
|
| ^ the trait `Clone` is not implemented for `T`
|
|
|
|
|
note: required by a bound in `Foo3::Baz`
|
|
--> $DIR/defaults-suitability.rs:84:16
|
|
|
|
|
LL | Self::Baz: Clone,
|
|
| ^^^^^ required by this bound in `Foo3::Baz`
|
|
...
|
|
LL | type Baz = T;
|
|
| --- required by a bound in this associated type
|
|
help: consider further restricting type parameter `T`
|
|
|
|
|
LL | Self::Baz: Clone, T: std::clone::Clone
|
|
| ~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
error: aborting due to 8 previous errors
|
|
|
|
For more information about this error, try `rustc --explain E0277`.
|