C++ bounded::integer library

[bearophile via Digitalmars-d]

Meta:

> What's the difference between your proposed "enum precondition" 
> and:
>
> void fun(int n)
> in
> {
>     static assert(...);
> }
> out
> {
>     static assert(...);
> }
> body
> {
>     //...
> }

Those static asserts are useless, because the argument n is not a 
"static" one.

Bye,
bearophile