Bug 10296 – Nested template function call and purity inference bug

This is similar to bug 10288. Nested function 'bar' accesses to outer scope variable 'a', so it's inferred as impure. But, 'bar' does not access to variables out of 'foo', so the outer function 'foo' should be still inferred as pure so calling 'bar' does not break its purity. pure void main() { foo(); } void foo()() { int[3] a; void bar()() { a[1] = 2; } bar(); pragma(msg, typeof(bar!())); // nothrow @safe void() }

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/acbaadd13c69b82d3485bb3bbc8ab7a3041f2548 fix Issue 10296 - Nested template function call and purity inference bug https://github.com/D-Programming-Language/dmd/commit/f38a573472bf576fdf9319eacdc75e4b5c345d7c Merge pull request #2149 from 9rnsr/fix10296 Issue 10296 - Nested template function call and purity inference bug

Commit pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/33f2ab82bd9fb51d88927b8048d88c30ea44111e Remove code for bug 7107 and 10296 because they are unnecessary anymore. Now instantiated symbols can reach correct "parent" via `Dsymbol::toParent2()`, because `TemplateInstance::enclosing` is properly calculated in `TemplateInstance::hasNestedArgs`.