[Issue 15309] [dmd-internal] ScopeExp.semantic() should set its type always

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=15309

--- Comment #6 from Martin Nowak <code at dawg.eu> ---
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).

--