Bug 8704 – Invalid nested struct constructions should be detected

By fixing issue 8339, invalid accessing to nested struct shows compile error. But, some cases are still accidentally accepted. void check(T)() { // nested struct constructions outside valid frame scope T t1 = T(); T t2 = T(1); } void main() { struct S { int n; void foo(){} } check!S(); }

What exact rules does the language define for these function-nested types? It seems arbitrary that some things are allowed while others are not, for example this works: void check(T)() { T t = T.init; t.foo(); } void main() { struct S { int n; void foo(){} } check!S(); }

The pull request wasn't merged, but both cases now error.

(In reply to yebblies from comment #3) > The pull request wasn't merged, but both cases now error. The opening test case still does not cause front-end errors (no error occur with -o- switch). And T t; should also be rejected if T is nested struct. Updated test case is: void check(T)() { // nested struct constructions outside valid frame scope T t0; // new! T t1 = T(); T t2 = T(1); } void main() { struct S { int n; void foo(){} } check!S(); } (In reply to Kenji Hara from comment #1) > https://github.com/D-Programming-Language/dmd/pull/1133 I reopened the pull request to fix this issue perfectly.

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

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/da0be7592a903af33da5d65792e38e265f560bb3 fix Issue 8704 - Invalid nested struct constructions should be detected https://github.com/D-Programming-Language/dmd/commit/3232f56a34900bd4228c22134b637464bb37ed0c Merge pull request #1133 from 9rnsr/fix8704 Issue 8704 - Invalid nested struct constructions should be detected