flux_middle::rty

Function int_invariants

Source 
fn int_invariants(
    int_ty: IntTy,
    overflow_checking: bool,
) -> &'static [Invariant]