RFC: Value range propagation for if-else

[bearophile via Digitalmars-d]

Lionello Lunesu:

> Will play with it.

And later you look at other things, like post-conditions:


int foo()
out(result) {
     assert(result >= 0 && result <= ubyte.max);
} body {
     return 10;
}
void main() {
     ubyte x = foo();
}


And slowly D Contract Programming starts to become a grown-up 
language feature.

Bye,
bearophile