VRP

ValueRange-Propagation for to allow more implicit casts
ushort s = cast(int) cast(byte) ulong.max;
What do you see ?