Associated const in traits with const generics

it seems to work just find playground

impl<const N: usize> T<N> for F<N> {
    fn f(v: &SliceVec<usize, N>) {
        F::f(&SliceVec {
            len: 10,
            buff: [MaybeUninit::new(0); 10],
        });
    }
}

Even if you replace the array length 10 with N playground

impl<const N: usize> T<N> for F<N> {
    fn f(v: &SliceVec<usize, N>) {
        F::f(&SliceVec {
            len: 10,
            buff: [MaybeUninit::new(0); N],
        });
    }
}