| error[E0277]: the trait bound `NotClone: Clone` is not satisfied |
| --> $DIR/defaults-suitability.rs:13:5 |
| | |
| LL | type Ty: Clone = NotClone; |
| | ^^^^^^^^^-----^^^^^^^^^^^^ |
| | | | |
| | | required by this bound in `Tr::Ty` |
| | the trait `Clone` is not implemented for `NotClone` |
| |
| error[E0277]: the trait bound `NotClone: Clone` is not satisfied |
| --> $DIR/defaults-suitability.rs:22:5 |
| | |
| LL | Self::Ty: Clone, |
| | ----- required by this bound in `Tr2::Ty` |
| LL | { |
| LL | type Ty = NotClone; |
| | ^^^^^--^^^^^^^^^^^^ |
| | | | |
| | | required by a bound in this |
| | the trait `Clone` is not implemented for `NotClone` |
| |
| error[E0277]: the trait bound `T: Clone` is not satisfied |
| --> $DIR/defaults-suitability.rs:28:5 |
| | |
| LL | type Bar: Clone = Vec<T>; |
| | ^^^^^^^^^^-----^^^^^^^^^^ |
| | | | |
| | | required by this bound in `Foo::Bar` |
| | the trait `Clone` is not implemented for `T` |
| | |
| = note: required because of the requirements on the impl of `Clone` for `Vec<T>` |
| help: consider restricting type parameter `T` |
| | |
| LL | trait Foo<T: Clone> { |
| | ^^^^^^^ |
| |
| error[E0277]: the trait bound `(): Foo<Self>` is not satisfied |
| --> $DIR/defaults-suitability.rs:34:5 |
| | |
| LL | type Assoc: Foo<Self> = (); |
| | ^^^^^^^^^^^^---------^^^^^^ |
| | | | |
| | | required by this bound in `Bar::Assoc` |
| | the trait `Foo<Self>` is not implemented for `()` |
| |
| error[E0277]: the trait bound `NotClone: IsU8<NotClone>` is not satisfied |
| --> $DIR/defaults-suitability.rs:56:5 |
| | |
| LL | Self::Assoc: IsU8<Self::Assoc>, |
| | ----------------- required by this bound in `D::Assoc` |
| ... |
| LL | type Assoc = NotClone; |
| | ^^^^^-----^^^^^^^^^^^^ |
| | | | |
| | | required by a bound in this |
| | the trait `IsU8<NotClone>` is not implemented for `NotClone` |
| |
| error[E0277]: the trait bound `<Self as Foo2<T>>::Baz: Clone` is not satisfied |
| --> $DIR/defaults-suitability.rs:65:5 |
| | |
| LL | type Bar: Clone = Vec<Self::Baz>; |
| | ^^^^^^^^^^-----^^^^^^^^^^^^^^^^^^ |
| | | | |
| | | required by this bound in `Foo2::Bar` |
| | the trait `Clone` is not implemented for `<Self as Foo2<T>>::Baz` |
| | |
| = note: required because of the requirements on the impl of `Clone` for `Vec<<Self as Foo2<T>>::Baz>` |
| 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:5 |
| | |
| LL | type Bar: Clone = Vec<Self::Baz>; |
| | ^^^^^^^^^^-----^^^^^^^^^^^^^^^^^^ |
| | | | |
| | | required by this bound in `Foo25::Bar` |
| | the trait `Clone` is not implemented for `<Self as Foo25<T>>::Baz` |
| | |
| = note: required because of the requirements on the impl of `Clone` for `Vec<<Self as Foo25<T>>::Baz>` |
| 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:5 |
| | |
| LL | Self::Baz: Clone, |
| | ----- required by this bound in `Foo3::Baz` |
| ... |
| LL | type Baz = T; |
| | ^^^^^---^^^^^ |
| | | | |
| | | required by a bound in this |
| | the trait `Clone` is not implemented for `T` |
| | |
| help: consider further restricting type parameter `T` |
| | |
| LL | Self::Baz: Clone, T: Clone |
| | ^^^^^^^^^^ |
| |
| error: aborting due to 8 previous errors |
| |
| For more information about this error, try `rustc --explain E0277`. |