Bug 17235 – Compile error inout member function, out-of-order semantic

This bug concerns a compilation case where compilation of one file results in `semantic2` of a templated struct's member function, before `semantic` is performed. The bug happens because compilation of the second file requires `semantic` to be performed, which is exited early because `semantic2` already ran. The cmdline: `dmd tracing.d defines.d` subtyping.d(17): Error: variable subtyping.Str!().Str.foo.this inout variables can only be declared inside inout functions The files: ``` // File: defines.d import subtyping; Str!() slotsState; ``` ``` // File: subtyping.d import tracing; int info(T)() { calcSize!T; return 0; } struct Str() { alias S = Tis!int; void foo() inout { } } struct Tis(V) { static someInfo = info!Tis; V arr; } ``` ``` // File: tracing.d import subtyping; template retFalse(T) { import subtyping; enum retFalse = false; } size_t staticCalcSizeSL(T)() { return retFalse!T; } void calcSize(T)() { enum ret = calcSizeInner!(T); } size_t calcSizeInner(T)() { foreach (fieldType; typeof(T.tupleof)) staticCalcSizeSL!fieldType; return 1; } void noCallers() // somehow this is needed to reproduce the bug { } ```

I cannot reproduce this. This seems to have been fixed. I'm gonna close this as WORKSFORME. @Johan, could you please check if this still a problem and reopen if that is the case?

This is a long time ago, so a workaround was put in the actual code back then. If the minimized test case no longer reproduces the issue, then that's it. Closing the bug report is fine.