From what I can gather this appears to be caused by a `scope(failure)` statement...

Noted!

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

A blocker for more advanced 'betterC' usage.

And a really frustrating one. That's a shame we had to launch a special...

...maybe also post the issue on the #dbugfix campaign, s.t. it
gets more exposure...

It should simply run a limited semantic analysis on the function parameters before matching.

void...

You're starting in the wrong end - the type cannot yet be considered, since the...

What you're showing here is a somewhat different case. First, you're telling TestAlias...

If a template is used as a type it should be resolved to a type...