src/test/ui/consts/assoc-const.rs

   1 // run-pass
   2 #![allow(unused_variables)]
   3
   4 trait Nat {
   5     const VALUE: usize;
   6 }
   7
   8 struct Zero;
   9 struct Succ<N>(N);
  10
  11 impl Nat for Zero {
  12     const VALUE: usize = 0;
  13 }
  14
  15 impl<N: Nat> Nat for Succ<N> {
  16     const VALUE: usize = N::VALUE + 1;
  17 }
  18
  19 fn main() {
  20     let x: [i32; <Succ<Succ<Succ<Succ<Zero>>>>>::VALUE] = [1, 2, 3, 4];
  21 }