Bug 9459 – Front-end does not detect invalid array operations

In this code, all static assertions should pass, but fails. void main() { int[] a = [1, 2, 3]; static assert(!__traits(compiles, { a = -a[]; })); static assert(!__traits(compiles, { a = ~a[]; })); static assert(!__traits(compiles, { a = a[] + a[]; })); static assert(!__traits(compiles, { a = a[] - a[]; })); static assert(!__traits(compiles, { a = a[] * a[]; })); static assert(!__traits(compiles, { a = a[] / a[]; })); static assert(!__traits(compiles, { a = a[] % a[]; })); static assert(!__traits(compiles, { a = a[] ^ a[]; })); static assert(!__traits(compiles, { a = a[] & a[]; })); static assert(!__traits(compiles, { a = a[] | a[]; })); static assert(!__traits(compiles, { a = a[] ^^ a[]; })); }

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/8d7d4ff2812718f635a17a2a96752bce447c4216 Fix Issue 9459 - Front-end does not detect invalid array operations https://github.com/D-Programming-Language/dmd/commit/ac1c6120557b9a8244ff23835332e60030b7b0fa Merge pull request #2861 from yebblies/issue9459 Issue 9459 - Front-end does not detect invalid array operations