Bug 18216 – struct no size because of forward reference

================== struct Node { mixin Type!() ; Pointer left; } mixin template Type() { alias Base = typeof(this) ; static struct Proxy { struct Node { Base m_payload ; } static immutable default_value = Base.init ; // just remove this will work } alias pNode = shared(Proxy.Node)* ; static struct Pointer { Base* _ptr ; auto ptr() { return cast(pNode) _ptr ; } void opAssign(ref Pointer other) {} // just remove this will work alias getThis this; // just remove this will work ref auto getThis() return { return ptr.m_payload; } } } =============================== Error: struct test.Node no size because of forward reference test.d(28): Error: function type 'pure nothrow @nogc return @safe _error_()' has 'return' but does not return any indirections test.d(3): Error: mixin test.Node.Type!() error instantiating If I remove "void opAssign(ref Pointer other)", or "static immutable default_value = Base.init", or "alias getThis this" (just remove any one of the three), the code will working.

This compiles with 2.098. Not closing yet as this likely needs regression tests. Who able?

@RazvanN7 created dlang/dmd pull request #14012 "Add test for Issue 18216" mentioning this issue: - Add test for Issue 18216 https://github.com/dlang/dmd/pull/14012

Test is linked in description. Closing this.

dlang/dmd pull request #14012 "Add test for Issue 18216" was merged into master: - 8ae79d141803a13973d3a476aae37601d954b2a7 by RazvanN7: Add test for Issue 18216 https://github.com/dlang/dmd/pull/14012