More value range analysis?

[bearophile]

> void main(string[] args) {
>     ubyte x = cast(ubyte)args.length;
>     immutable int y = x;
>     // Here y must be in [0, 256[.
> }

Sorry, that example was meant to be:


void main(string[] args) {
     immutable ubyte x = cast(ubyte)args.length;
     immutable int y = x;
     // Here y must be in [0, 256[.
     ubyte z = y;
}


Bye,
bearophile