1error[E0277]: the trait bound `Self: Trait1` is not satisfied 2 --> $DIR/issue-74816.rs:9:5 3 | 4LL | type Associated: Trait1 = Self; 5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Trait1` is not implemented for `Self` 6 | 7note: required by a bound in `Trait2::Associated` 8 --> $DIR/issue-74816.rs:9:22 9 | 10LL | type Associated: Trait1 = Self; 11 | ^^^^^^ required by this bound in `Trait2::Associated` 12help: consider further restricting `Self` 13 | 14LL | trait Trait2: Trait1 { 15 | ++++++++ 16 17error[E0277]: the size for values of type `Self` cannot be known at compilation time 18 --> $DIR/issue-74816.rs:9:5 19 | 20LL | type Associated: Trait1 = Self; 21 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time 22 | 23note: required by a bound in `Trait2::Associated` 24 --> $DIR/issue-74816.rs:9:5 25 | 26LL | type Associated: Trait1 = Self; 27 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Trait2::Associated` 28help: consider further restricting `Self` 29 | 30LL | trait Trait2: Sized { 31 | +++++++ 32 33error: aborting due to 2 previous errors 34 35For more information about this error, try `rustc --explain E0277`. 36