gcc/testsuite/g++.old-deja/g++.pt/lookup6.C

   1 // { dg-do assemble  }
   2
   3 // Based on bug report by Miniussi <miniussi@ilog.fr>
   4
   5 class t {};
   6
   7 template <class T> struct A { typedef T t; typedef T u; };
   8
   9 template <class T> struct B : public A<T> {
  10   // according to [temp.dep.type], `t' and `u' cannot be dependent types,
  11   // and so there's no reason to delay lookup to specialization time.
  12   void f(t p); // this is ::t [temp.dep]/3
  13   void f(typename A<T>::t p); // { dg-bogus "" } redefinition
  14   void g(u p); // { dg-error "" } unknown type name
  15 };