I think all of these questions have answers, but I wanted to gauge the interest in bounded checked integrals. Would the need for them justify additional complications in the definition?
Well, this occurs very frequently in my code:
struct S {
int foo;
invariant {
assert(ordered_(MIN, foo, MAX));
};
};
If bounded integers can handle this for me then you've got my
support. Assuming the checks disappear in -release.
