Bug 10063 – inout+pure results in ability to produce immutable reference to mutable data

This code compiles but shouldn't: --- inout(void)* f(inout void* p) pure { return p; } immutable(void)* g(inout int* p) pure { return f(p); } --- Explicit or implicit cast is required for this issue to appear. Change `g` to accept `void*` instead of `int*` to see expected compilation error. Another test-case: --- struct S { uint* p; inout(void)* f() pure inout { return p; } immutable(void)* g() pure inout { return f(); } } ---

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/0dc34e8bf8dcbb7a16f4de197b902e83cbb21306 fix Issue 10063 - inout+pure results in ability to produce immutable reference to mutable data https://github.com/D-Programming-Language/dmd/commit/3d7f0374d99f94307e5dd3694594ac3b172ecbae Merge pull request #2031 from 9rnsr/fix10063 Issue 10063 - inout+pure results in ability to produce immutable reference to mutable data