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