RFC: Value range propagation for if-else

[Timon Gehr via Digitalmars-d]

On 06/18/2014 09:54 PM, Meta wrote:
> ...
>
> This could be a bad thing. It makes it pretty enticing to use contracts
> as input verification instead of logic verification.

The following is doable as well with a standard range analysis:

byte foo(immutable int x){
     if(x<byte.min || x>byte.max)
         throw new InvalidArgumentException("...");
     return x; // ok
}