RFC: Value range propagation for if-else

[Lionello Lunesu via Digitalmars-d]

On 18/06/14 20:46, "Nordlöw" wrote:
>> Very cool. With your new trait I can simplify and, in turn, reduce
>> compilation time for usages of
>
> Actually, if I'm not mistaken, with this trait, we can inhibit range
> value range checking in run-time when and get all the benefits Ada range
> types currently delivers.
>
> Yet another sales point for D!

I submitted a pull request with the trait, without the if-else stuff! 
This should be faster to make it in.

https://github.com/D-Programming-Language/dmd/pull/3679

L.