fn slice_invariants(overflow_mode: OverflowMode) -> &'static [Invariant]
returns the same invariants as for usize which is the length of a slice
usize