https://issues.dlang.org/show_bug.cgi?id=11946
--- Comment #41 from Walter Bright <[email protected]> --- (In reply to Kenji Hara from comment #27) > As a technical talk, in current semantic analysis system, the "context-ness" > of a function - whether a function really needs a context or not - should be > determined without its body analysis. As far as I see, current dmd code > relies on the assumption. But D already has the notion of doing a "local instantiation" of a global template, if an alias parameter is a local symbol - see hasNestedArgs(). --
