Re: RFC: Value range propagation for if-else

[Nordlöw]

That will only work now if you use an "else".

So you mean something like

     if(x<byte.min || x>byte.max)
         throw new InvalidArgumentException("...
     else {}

?

That seems like a strange restriction. Why is that?