RFC: Value range propagation for if-else

[bearophile via Digitalmars-d]

> void main() {
>     import std.bigint;
>     BigInt[] arr = [10, 20];
>
>     import std.numeric;
>     alias I10 = Bound!(int, 0, 10);
>     I10[] arr = [8, 6, 20];
> }

In the meantime Kenji delivers, those BigInt array literals are 
possible with this patch:
https://github.com/D-Programming-Language/dmd/pull/3680

Bye,
bearophile