gcc/testsuite/g++.dg/template/canon-type-3.C

   1 // Contributed by Dodji Seketeli <dodji@redhat.com>
   2 // Origin PR c++/39754
   3 // { dg-do compile }
   4
   5 template<typename> struct A ;
   6 template<typename T , typename = A<T> > struct B { } ;
   7 template<class W , class > struct D
   8 {
   9   typedef W X ;
  10   typedef X (FP) ();
  11   A<FP&> a ;
  12 } ;
  13
  14 template < class Y > struct E
  15 {
  16   typedef Y (FP) ();
  17   B<FP&> b ;
  18 } ;
  19 E < int > e ;
  20