[Issue 10018] Value range propagation for immutable variables

[d-bugmail at puremagic.com]

https://d.puremagic.com/issues/show_bug.cgi?id=10018



--- Comment #8 from bearophile_hugs at eml.cc 2014-03-16 08:49:12 PDT ---
The value range of immutable variables is not yet propagated (see Issue 10594
):


void main(in string[] args) {
    immutable ushort x = args.length % 5;
    immutable ubyte y = x;
}


DMD 2.066alpha gives:

temp.d(3,25): Error: cannot implicitly convert expression (x) of type
immutable(ushort) to immutable(ubyte)

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------