gcc/testsuite/g++.dg/template/canon-type-2.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   A< X()> a ;
  11 };
  12
  13 template < class Y > struct E
  14 {
  15   B< Y()> b ;
  16 };
  17 E<int> e ;
  18