Template Mixin issue

[Mike L.]

Hello,

I was wondering why the following does not work:

interface A(Type)
        { Type blah(); }

template ADefaults(Type, AType : A!(Type))
{
        Type blah()
                { return Type.init; }
}

class B(Type) : A!(Type)
        { mixin ADefaults!(Type, B!(Type)); }

void main()
        { auto x = new B!(int)(); }

It gives the error: test.d(11): mixin ADefault!(int,B) does not match any 
template declaration

However, it will compile if you change the ADefaults header to:

template ADefaults(Type, AType)

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) ?