1 error[E0437]: type `M` is not a member of trait `TraitB`
2 --> $DIR/issue-69602-type-err-during-codegen-ice.rs:17:5
5 | ^^^^^^^^^^^^^ not a member of trait `TraitB`
7 error[E0046]: not all trait items implemented, missing: `MyA`
8 --> $DIR/issue-69602-type-err-during-codegen-ice.rs:16:1
10 LL | type MyA: TraitA;
11 | ---------------- `MyA` from trait
13 LL | impl TraitB for B {
14 | ^^^^^^^^^^^^^^^^^ missing `MyA` in implementation
16 error[E0080]: evaluation of constant value failed
17 --> $DIR/issue-69602-type-err-during-codegen-ice.rs:21:17
19 LL | let _ = [0; B::VALUE];
20 | ^^^^^^^^ referenced constant has errors
22 error: aborting due to 3 previous errors
24 Some errors have detailed explanations: E0046, E0080, E0437.
25 For more information about an error, try `rustc --explain E0046`.