Bug 15703 – @safe code should not allow certain types of array casts

Currently, this code compiles: ------- void main() @safe { Object[] objs = [ new Object() ]; long[] longs = cast(long[]) objs; longs[0] = 12345; // corrupts the Object reference } ------- It should be illegal to cast an array of types with indirections in @safe code. Except perhaps to an array of const, e.g., const(long)[] (reading the indirections should be no problem, but writing to it via an array cast will break @safe).

Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/2dcdc9563c286de39bf4eba3083bef77c49f7a5e fix Issue 15703 - @safe code should not allow certain types of array casts https://github.com/dlang/dmd/commit/e9594ecaaa3d231aa13e2df21be7b72bdf0e4ae6 Merge pull request #6086 from WalterBright/fix15703 fix Issue 15703 - @safe code should not allow certain types of array …

Commits pushed to stable at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/2dcdc9563c286de39bf4eba3083bef77c49f7a5e fix Issue 15703 - @safe code should not allow certain types of array casts https://github.com/dlang/dmd/commit/e9594ecaaa3d231aa13e2df21be7b72bdf0e4ae6 Merge pull request #6086 from WalterBright/fix15703