src/test/ui/issues/issue-69602-type-err-during-codegen-ice.stderr

   1 error[E0437]: type `M` is not a member of trait `TraitB`
   2   --> $DIR/issue-69602-type-err-during-codegen-ice.rs:17:5
   3    |
   4 LL |     type M   = A;
   5    |     ^^^^^^^^^^^^^ not a member of trait `TraitB`
   6
   7 error[E0046]: not all trait items implemented, missing: `MyA`
   8   --> $DIR/issue-69602-type-err-during-codegen-ice.rs:16:1
   9    |
  10 LL |     type MyA: TraitA;
  11    |     ----------------- `MyA` from trait
  12 ...
  13 LL | impl TraitB for B {
  14    | ^^^^^^^^^^^^^^^^^ missing `MyA` in implementation
  15
  16 error: constant expression depends on a generic parameter
  17   --> $DIR/issue-69602-type-err-during-codegen-ice.rs:21:17
  18    |
  19 LL |     let _ = [0; B::VALUE];
  20    |                 ^^^^^^^^
  21    |
  22    = note: this may fail depending on what value the parameter takes
  23
  24 error: aborting due to 3 previous errors
  25
  26 Some errors have detailed explanations: E0046, E0437.
  27 For more information about an error, try `rustc --explain E0046`.