generalising template specialisation

[Sean Kelly]

Thomas Kuehne 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)) {
> #    /* ... */
> # }
> #

By the way, in case it didn't seem like it in my other post, I would 
*love* to have a feature like this.  It would be a reasonable substitute 
for concept checking in D.


Sean