Value range propagation for if-else

["Nordlöw" via Digitalmars-d]

On Monday, 23 June 2014 at 13:13:38 UTC, bearophile wrote:
> One solution is to ignore such cases, so that feature gives 
> useful results only when the source is compiled in the same 
> compilation unit.
>
> An alternative solution is to handle the functions that use 
> those features like templates, and keep the source available 
> across different compilation units. This is perhaps acceptable 
> because I think that kind of features is going to be used 
> mostly for library code and not for most user functions.

That is certainly a good idea.