Value Range Propagation

[Don]

Michal Minich wrote:
> V Tue, 22 Feb 2011 22:23:32 -0800, Walter Bright wrote:
> 
>> http://ddj.com/blog/archives/2011/02/value_range_pro.html
> 
> This case is missed. The result must be always in range of ubyte.
> 
> ubyte ub;
> ubyte a = 255 - ub; // Error: cannot implicitly convert expression 
>                     // (255 - cast(int)ub) of type int to ubyte

It's not fully implemented yet. That one is bug 3147.
Bug 4887 and 5225 are other parts that aren't implemented.