gcc/testsuite/g++.dg/cpp0x/variadic-alias6.C

   1 // PR c++/105003
   2 // { dg-do compile { target c++11 } }
   3
   4 template <class T> struct A;
   5 template <class T, class U> struct B { };
   6 template <class... Ts> struct C { };
   7
   8 // Fn is not complex, since T is used outside the pack expansion, so the two
   9 // partial specializations are equivalent.
  10 template <class T, class... Ts> using Fn = T(Ts...);
  11 template <class T, class... Ts> struct A<Fn<T,Ts...>*> { };
  12 template <class T, class... Ts> struct A<T(*)(Ts...)> { }; // { dg-error "redefinition" }
  13
  14 // CB is complex, since T is only used in the pack expansion, so the two
  15 // partial specializations are functionally equivalent but not equivalent.
  16 template <class T, class ...Ts> using CB = C<B<T,Ts>...>;
  17 template <class T, class ...Ts> struct A<CB<T,Ts...>*> { };
  18 template <class T, class ...Ts> struct A<C<B<T,Ts>...>*> { }; // IFNDR
  19 A<C<B<int,int>>*> a;            // { dg-error "ambiguous" }
  20 // { dg-prune-output "incomplete" }