------- Comment #5 from pinskia at gcc dot gnu dot org 2006-10-14 18:25 ------- DR 224 says this is invalid code but GDR has mentioned that DR 224 is broken in really bad way:
template <class T> struct B : T { void g(void) { B x; x.f(); } } struct A { void f(void) {} } int main(void) { B<A> t; t.g(); } The above code would be invalid code with the resulution of DR 224. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29469