3 use std::marker::PhantomData;
6 let _arr = [1; <Multiply<Five, Five>>::VAL];
15 impl TypeVal<usize> for Five {
19 struct Multiply<N, M> {
24 impl<N, M> TypeVal<usize> for Multiply<N, M>
25 where N: TypeVal<usize>,
28 const VAL: usize = N::VAL * M::VAL;