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