public void DecrementPostfixOvfInt32(int x) { dynamic d = x; if (x == int.MinValue) { Assert.Throws<OverflowException>(() => checked(d--)); } else { checked { Assert.Equal(x, d--); Assert.Equal(x - 1, d); } } }