import std.experimental.checkedint;

​

void main()

{

    auto x = (cast(byte) 127).checked!Saturate;

    assert(x == 127);

    x++;

    assert(x == 127);

}