Value range propagation for if-else

["Nordlöw" via Digitalmars-d]

On Monday, 23 June 2014 at 12:51:58 UTC, Daniel Murphy wrote:
> What happens when a function is called from different places 
> with values with different ranges?  What about when it's called 
> from another compilation unit?  Generally the argument ranges 
> can only be known when the function is inlined, and by then 
> it's much too late to expose them via __traits.

Ok. That indeed makes things more complicated than I first 
thought :|