Template Mixin issue

[Christopher Wright]

Christopher Wright wrote:
> Mike L. wrote:
>> If the compiler can tell that B!(int) is a type, why can't it tell 
>> that it is a child class of A!(int) ?
> 
> This is a bug. In template specializations, : means equality. In static 
> if, : means convertibility.

This is only with template specializations involving templates, by the 
way. Template specializations involving any other type are fine.