[Issue 23916] Non-eponymous template instances have a "type" (void)

[d-bugmail at puremagic.com]

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

--- Comment #9 from Vladimir Panteleev <dlang-bugzilla at thecybershadow.net> ---
(In reply to Nick Treleaven from comment #7)
> > Wouldn't something more explicit be much better?
> 
> Such as what?

For the specific example above, probably this:

void f(alias a)() if (is(typeof(a.i) : int))

or:

void f(alias a)() if (is(typeof(writeln(a.i))))

depending on your intention.

--