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
def(Fn fn)10 template <class Fn> void def(Fn fn) {}
11
12 template <class T1, class T2> T2 fn(T1, T2);
fn(T1)13 template <class T1> int fn(T1) { return 0; }
14
main()15 int main()
16 {
17 def(fn<int>);
18 return 0;
19 }
20