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