src/test/ui/consts/associated_const_generic.rs

   1 // check-pass
   2
   3 trait TraitA {
   4     const VALUE: usize;
   5 }
   6
   7 struct A;
   8 impl TraitA for A {
   9     const VALUE: usize = 1;
  10 }
  11
  12 trait TraitB {
  13     type MyA: TraitA;
  14     const VALUE: usize = Self::MyA::VALUE;
  15 }
  16
  17 struct B;
  18 impl TraitB for B {
  19     type MyA = A;
  20 }
  21
  22 fn main() {
  23     let _ = [0; A::VALUE];
  24     let _ = [0; B::VALUE]; // Indirectly refers to `A::VALUE`
  25 }