generalising template specialisation

[Kristian Kilpi]

On Sat, 11 Nov 2006 18:31:02 +0200, Thomas Kuehne <thomas-dloop at kuehne.cn>  
wrote:
> Please lift the current limitation and support all constructs allowed by
> StaticIfCondition in TemplateTypeParameterSpecialization too.
>
> Rewriting the B templates:
> #
> # template B( T : is(T == class)) {
> #    /* ... */
> # }
> #
> # template B( T : is(T == struct)) {
> #    /* ... */
> # }
> #

I fully agree.