error[E0437]: type `M` is not a member of trait `TraitB`
  --> $DIR/issue-69602-type-err-during-codegen-ice.rs:17:5
   |
LL |     type M   = A;
   |     ^^^^^^^^^^^^^ not a member of trait `TraitB`

error[E0046]: not all trait items implemented, missing: `MyA`
  --> $DIR/issue-69602-type-err-during-codegen-ice.rs:16:1
   |
LL |     type MyA: TraitA;
   |     ---------------- `MyA` from trait
...
LL | impl TraitB for B {
   | ^^^^^^^^^^^^^^^^^ missing `MyA` in implementation

note: erroneous constant used
  --> $DIR/issue-69602-type-err-during-codegen-ice.rs:21:17
   |
LL |     let _ = [0; B::VALUE];
   |                 ^^^^^^^^

error: aborting due to 2 previous errors

Some errors have detailed explanations: E0046, E0437.
For more information about an error, try `rustc --explain E0046`.