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