Template specialization and mixin templates

[Ben Gertzfield]

On Friday, 29 March 2013 at 18:39:35 UTC, Timon Gehr wrote:

> The declarations in a mixin are ‘imported’ into the surrounding 
> scope. If the name of a declaration in a mixin is the same as a 
> declaration in the surrounding scope, the surrounding 
> declaration overrides the mixin one:

Surely that's not useful behavior for template specializations, 
though?

If we want this behavior to be part of the language, I think it 
should at the be a compiler warning or error, just like shadowing 
a variable.

It took me quite a while to pinpoint what was going wrong here.