[Issue 14850] New: VRP should work consistently through all array ops

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=14850

          Issue ID: 14850
           Summary: VRP should work consistently through all array ops
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P1
         Component: dmd
          Assignee: nobody at puremagic.com
          Reporter: john.loughran.colvin at gmail.com

int[8] a,b,c;
int[16] d;

1)  c = a[]; //Ok
2)  d = a[]; //Error, as expected
3)  d = a[] ~ b[]; //OK, as expected
4)  c = a[] ~ b[]; //No error until runtime
5)  c = a[] + b[]; //OK
6)  c = a[] & b[]; //OK
7)  c = a[] | b[]; //Error
8)  c = a[] ^ b[]; //Error

4 should statically be caught and 7 & 8 should be allowed.

--