Bug 24485 – Invalid implicit ref return reinterpret cast for structs with copy constructor

The following code compiles without errors and implicitly casts a reference to an A to a reference to any other type: --- struct A { int i = 43; this(ref A rhs) {} } struct B { int i = 42; } ref B foo() { auto a = new A; return *a; } // should not compile struct C { A a; @property ref B b() { return a; } // should not compile } void main() { C c; assert(c.b.i == 42); // if anything, B.i should always be 42 } --- This issue has been introduced in 2.086.0 as part of the copy constructor feature.

@RazvanN7 created dlang/dmd pull request #16364 "Fix Bugzilla 24485 - Invalid implicit ref return reinterpret cast for structs with copy constructor" fixing this issue: - Fix Bugzilla 24485 - Invalid implicit ref return reinterpret cast for structs with copy constructor https://github.com/dlang/dmd/pull/16364

dlang/dmd pull request #16364 "Fix Bugzilla 24485 - Invalid implicit ref return reinterpret cast for structs with copy constructor" was merged into master: - a93a57e74b0ce82e6c01b8ca64bfed2ddbeabc0b by RazvanN7: Fix Bugzilla 24485 - Invalid implicit ref return reinterpret cast for structs with copy constructor https://github.com/dlang/dmd/pull/16364