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

--- Comment #6 from Vladimir Panteleev <dlang...

...a type itself.

Why is it a problem if a template instance has a type?

--

...Why should we not deprecate then remove taking the type of a template / template instance?

--

...break code like this:

import std.stdio;

template t()
{
        int i;
}

void f(alias a...

...need for context auto-detected like normal template functions... if the user writes the keyword...

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

--- Comment #2 from Vladimir Panteleev <dlang...

...type of a template instance is defined in the spec. A template instance seems similar...

...not compile:

//// test.d ////
template X() {}

void fun()
{
    return X!();
}
////////////////

Template instances having a type...

...test.d(10): Error: template instance `T!(getValue)` does not match template
declaration `T(bool...

...1 from mhh <maxhaton@gmail.com> ---
Isn't `auto ref` for template function parameters only?

--