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: aborting due to 2 previous errors
18 Some errors have detailed explanations: E0046, E0437.
19 For more information about an error, try `rustc --explain E0046`.