// { dg-do assemble } template < class T > class A { public: typedef typename T::myT anotherT; // { dg-error "" } undefined type anotherT t; // { dg-error "" } undefined type A() { } A(anotherT _t) { // { dg-error "" } undefined type t=_t; } anotherT getT() { // { dg-error "" } undefined type return t; } }; class B : public A< B > // { dg-error "" } forward declaration { public: typedef int myT; }; int main() { B b; }