template auto value

[Timon Gehr]

On 03.03.2018 01:20, H. S. Teoh wrote:
> On Fri, Mar 02, 2018 at 11:51:08PM +0000, Jonathan Marler via Digitalmars-d wrote:
>> I believe I found small hole in template parameter semantics.
>> [...] you can't create a template that accepts a value of any type.
> Not true:
> 
> 	template counterexample(alias T) {}
> 
> 	int x;
> 	string s;
> 	alias U = counterexample!x;	// OK
> 	alias V = counterexample!1;	// OK
> 	alias W = counterexample!"yup";	// OK
> 	alias X = counterexample!s;	// OK
> 
> 	alias Z = counterexample!int;	// NG
> 
> The last one fails because a value is expected, not a type.

No, it fails because a "symbol" is expected, not a basic type. There 
really is no good reason why int should not be accepted -- a class or 
struct type would be accepted. IIRC Walter has agreed to this, and it's 
just pending implementation.