pub broadcast proof fn axiom_smallvec_array_size_of_array<T, const N: usize>()Expand description
ensures
smallvec_array_size::<[T; N]>() == N,Mirrors smallvec’s Array::size(): an array [T; N] reports its own
length N. Trusted from the smallvec 1.15.0 source; impls exist only for
its fixed size list (no const_generics), and other sizes can’t be used
as A: Array anywhere below.