Bug 10079 – Built-in generated opAssign should be pure nothrow @safe by default

If a struct has postblit or destructor, assignment is automatically implemented with swap-and -destroy.. struct S { this(this) {} // or ~this() } void main() { S s1, s2; s1 = s2; // is equivalent to // auto tmp = s2 // bitwise copy // swap(s1, tmp); // bitwise swap // destroy tmp; // destroy old state of s1 } The bitwise copy and swap are pure, nothrow and @safe. But currently this code doesn't work. struct S { this(this) pure nothrow @safe {} // and/or ~this() pure nothrow @safe {} } void main() pure nothrow @safe { S s1, s2; s1 = s2; } test.d(7): Error: pure function 'D main' cannot call impure function 'test.S.opAssign' test.d(7): Error: safe function 'D main' cannot call system function 'test.S.opAssign' test.d(7): Error: s1.opAssign is not nothrow test.d(5): Error: function D main 'main' is nothrow yet may throw

Changed issue name a little.

> Changed issue name a little. :) Your name change was exactly as grammatically incorrect as the original!

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/8231f4c9247aefa32e55a1e61f7533079cd147a1 fix Issue 10079 - Builit-in generated opAssign should be pure nothrow @safe on default https://github.com/D-Programming-Language/dmd/commit/9fad79d33406c82cbdec62ac3e6e5ad2e29db4e4 Merge pull request #2036 from 9rnsr/fix10079 Issue 10079 - Builit-in generated opAssign should be pure nothrow @safe on default

*** Issue 9246 has been marked as a duplicate of this issue. ***