Function inc_and_check

pub(crate) fn inc_and_check<T: PrimInt + AddAssign + Debug>(
    t: &mut T,
    expected: T,
) -> Result<()>

Increments *t and checks that it equals to expected after that.