7 const VALUE: usize = 0;
12 const VALUE: usize = Self::MyA::VALUE;
16 impl TraitB for B { //~ ERROR not all trait items implemented, missing: `MyA`
17 type M = A; //~ ERROR type `M` is not a member of trait `TraitB`
21 let _ = [0; B::VALUE];
22 //~^ ERROR array lengths can't depend on generic parameters