Function int_invariants 

fn int_invariants(
    int_ty: IntTy,
    overflow_mode: OverflowMode,
) -> &'static [Invariant]