[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 #4 from Vladimir Panteleev <dlang-bugzilla at thecybershadow.net> ---
(In reply to Nick Treleaven from comment #3)
> void f(alias a)() if (is(typeof(a)))

This looks meaningless to me. Why would you want to write code like this - what
is the constraint even supposed to check? Why should we not deprecate then
remove taking the type of a template / template instance?

--