RFC: Value range propagation for if-else

["Nordlöw" via Digitalmars-d]

On Wednesday, 18 June 2014 at 13:00:51 UTC, bearophile wrote:

> I'd like to see and discuss how this could happen.

Note that my discussion so far is about inhibiting run-time 
checknig of the value range of

struct Bound(T,
              B = T, // bounds type
              B lower = B.min,
              B upper = B.max,
              bool optional = false,
              bool exceptional = true)

defined at

https://github.com/nordlow/justd/blob/master/bound.d

where T is an integer type, that is an Ada-style integer range 
type.

It would of course be cool if DMD could support this for floating 
points aswell.

D range indexing/slicing should probably be builtin to the 
compiler.