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.
