2 #![allow(unused_variables)]
9 struct Succ<N>(#[allow(unused_tuple_struct_fields)] N);
12 const VALUE: usize = 0;
15 impl<N: Nat> Nat for Succ<N> {
16 const VALUE: usize = N::VALUE + 1;
20 let x: [i32; <Succ<Succ<Succ<Succ<Zero>>>>>::VALUE] = [1, 2, 3, 4];