Recursive template instantiation

[Jack Applegame via Digitalmars-d-learn]

I'm pretty sure that this code should compile 
(https://dpaste.dzfl.pl/cf1e1ee6ef4b):

struct A(T) {
    ~this() {
        char[T.sizeof] data;
    }
}
struct B(T) {
    A!T foo;
}

struct C {
    B!C bar;
}

void main() {
    C c;
}

But it doesn't:
/d300/f416.d(3): Error: struct f416.C no size because of forward 
reference /d300/f416.d(12): Error: template instance f416.B!(C) 
error instantiating

Notice that the same C++ code compiles without problems:

template<typename T> struct A {
    ~A() {
        char data[sizeof(T)];
    }
};

template<typename T> struct B {
    A<T> foo;
};

struct C {
    B<C> bar;
};

int main() {
    C c;
}

A simple recursion is compiled successfully 
(https://dpaste.dzfl.pl/5a8ff73bfa88):

struct A(T) {
    ~this() {
        char[T.sizeof] data;
    }
}

struct C {
    A!C bar;
}

void main() {
    C c;
}