Function uint_invariants 

fn uint_invariants(
    uint_ty: UintTy,
    overflow_mode: OverflowMode,
) -> &'static [Invariant]