pub const fn reformulate_length<T, const N: usize, const M: usize>(
    array: [T; N]
) -> [T; M]
where [(); { _ }]:,