Function array_length_until

pub fn array_length_until<T, let N: u32, Env>(
    array: [T; N],
    predicate: fn[Env](T) -> bool,
) -> u32