Bug 8237 – Error message with _error_ when using failed type inference in template parameter

template warg(R) { enum bool warg = false; } void blarg() { int r = void; auto s = r ~ "xxx"; bool bbb = warg!(typeof(s)); } bug.d(11): Error: incompatible types for ((r) ~ ("xxx")): 'int' and 'string' bug.d(12): Error: expression warg!(_error_) is void and has no value It shouldn't be trying to instantiate the template at all. Another consequence of this is that CTFE can get called on a ScopeExp, which doesn't make sense (and the ScopeExp is an invalid template). This happens for example when compiling std.range with -debug -unittest.

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/a0976bd34fa140d574e754ff0a6ebfa7d9771d3a Fix issue 8237 Error message with _error_ when using failed type inference in template parameter https://github.com/D-Programming-Language/dmd/commit/eb414991fa87d3f701238bb5109f2d98abcb3855 Merge pull request #1016 from donc/ctfeEntry Stop running CTFE on symbols, + fix bug 8237