| error[E0437]: type `M` is not a member of trait `TraitB` |
| --> $DIR/trait-implementation-ambiguity-69602.rs:18:5 |
| | |
| LL | type M = A; |
| | ^^^^^^^^^^^^^ not a member of trait `TraitB` |
| |
| error[E0046]: not all trait items implemented, missing: `MyA` |
| --> $DIR/trait-implementation-ambiguity-69602.rs:17:1 |
| | |
| LL | type MyA: TraitA; |
| | ---------------- `MyA` from trait |
| ... |
| LL | impl TraitB for B { |
| | ^^^^^^^^^^^^^^^^^ missing `MyA` in implementation |
| |
| error: aborting due to 2 previous errors |
| |
| Some errors have detailed explanations: E0046, E0437. |
| For more information about an error, try `rustc --explain E0046`. |