https://issues.dlang.org/show_bug.cgi?id=15309
Kenji Hara <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED Resolution|FIXED |--- --- Comment #7 from Kenji Hara <[email protected]> --- (In reply to Martin Nowak from comment #6) > Trying to fix this I arrived at the following conclusion. > https://github.com/D-Programming-Language/dmd/pull/5366#issuecomment- > 174946328 > > > It's also a deeper problem, because ScopeExp can't know whether it's used > > in a > > function call with arguments or in a typeof expression, it's not possible > > to > > resolve the template instance only within ScopeExp. Subsequently ScopeExp > > should be what it's doc comment says `Mainly just a placeholder`, and do > > nothing (or better `assert(0)`) in it's semantic function. > > Anything involving a ScopeExp must be handled above it (using the template > > instance stored in the ScopeExp). We can easily check that a ScopeExp is a partial instantiation or not. https://github.com/D-Programming-Language/dmd/pull/5390 --
