gcc/testsuite/g++.dg/template/partial10.C

   1 // PR c++/35255, DR 115
   2 // { dg-do link }
   3
   4 // 14.8.1: In contexts where deduction is done and fails, or in contexts
   5 // where deduction is not done, if a template argument list is specified
   6 // and it, along with any default template arguments, identifies a single
   7 // function template specialization, then the template-id is an lvalue for
   8 // the function template specialization.
   9
  10 template <class Fn> void def(Fn fn) {}
  11
  12 template <class T1, class T2> T2 fn(T1, T2);
  13 template <class T1> int fn(T1) { return 0; }
  14
  15 int main()
  16 {
  17   def(fn<int>);
  18   return 0;
  19 }