Re: C++ bounded::integer library

[Meta via Digitalmars-d]

On Monday, 19 May 2014 at 23:02:01 UTC, bearophile wrote:
I think "enum preconditions" are exactly that :-) But I don't 
know if they are good enough, if they are a good idea, of if 
there are better ways to do similar things. But I think 
something like that is an useful improvement for D, able to 
remove another limitation of user defined types compared to 
built-ins.

Bye,
bearophile

What's the difference between your proposed "enum precondition" 
and:

void fun(int n)
in
{
    static assert(...);
}
out
{
    static assert(...);
}
body
{
    //...
}