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

[Timon Gehr]

On 06/27/2012 03:56 PM, deadalnix wrote:
> All is in the title.
>
> I can do is(T : class) but not template(T : class) . Is this intended or
> is it because it is ?

You cannot do is(T : class).