1error[E0308]: mismatched types 2 --> $DIR/defaults-in-other-trait-items.rs:9:13 3 | 4LL | type A = (); 5 | ------------ associated type defaults can't be assumed inside the trait defining them 6... 7LL | let () = p; 8 | ^^ expected associated type, found `()` 9 | 10 = note: expected associated type `<Self as Tr>::A` 11 found unit type `()` 12 13error[E0308]: mismatched types 14 --> $DIR/defaults-in-other-trait-items.rs:35:25 15 | 16LL | type Ty = u8; 17 | ------------- associated type defaults can't be assumed inside the trait defining them 18... 19LL | const C: Self::Ty = 0u8; 20 | ^^^ expected associated type, found `u8` 21 | 22 = note: expected associated type `<Self as AssocConst>::Ty` 23 found type `u8` 24 25error: aborting due to 2 previous errors 26 27For more information about this error, try `rustc --explain E0308`. 28