Why type specialization is defined differently than is expression type specialization ?

[Roman D. Boiko]

On Wednesday, 27 June 2012 at 19:23:07 UTC, Timon Gehr wrote:
> This is not legal.

Template type specialization must have a basic type after colon.

s/class/Object

should make it legal. By the way, it is not possible to 
specialize for structs this way, is it? I mean, via template type 
specialization, not via template constraints.