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

   1 // PR c++/107461
   2 // { dg-do compile { target c++11 } }
   3
   4 template<class T> T f();
   5
   6 template<class> struct A { };
   7
   8 template<class T> struct B {
   9   template<class U, class = A<decltype(f<T>()(U()))>>
  10   static void g(U);
  11 };
  12
  13 int main() {
  14   B<int> b;
  15   B<void(*)(int)>::g(0); // { dg-bogus "no match" }
  16 }