RFC: Value range propagation for if-else

["Nordlöw" via Digitalmars-d]

> 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?