gcc/testsuite/g++.dg/cpp0x/sfinae30.C

   1 // { dg-do compile { target c++11 } }
   2
   3 template <class... T> struct tuple;
   4 template <class T> struct tuple<T> { T t; };
   5
   6 template <class T, class U> struct pair;
   7 template<> struct pair<int,double> { };
   8
   9 template <class... Ts>
  10 struct A
  11 {
  12   template <class... Us,
  13             class V = tuple<pair<Ts,Us>...> >
  14   static void f(Us...)
  15   {
  16     V v;
  17   }
  18   template <class U>
  19   static void f(bool);
  20 };
  21
  22 int main()
  23 {
  24   A<int,float>::f<double>(1.0);
  25 }