pub const fn empty<const U: usize>() -> Empty<U>
Type a compile-time proof for possibly empty vector with upper bound