This is fail14.d in the test suite. class A(T) { .A!(A) x; } void main() { A!(int); } Error: recursive template expansion for template argument fail14.A!(int).A
In 2.059: foo.d(2): Error: class foo.A(T) recursive template expansion for template argument foo.A!(int).A foo.d(8): Error: template instance foo.A!(int) error instantiating foo.d(8): Error: type has no effect in expression (A)