111
|
1 // { dg-do compile { target c++11 } }
|
|
2 template<class X, class Y, class Z> X f(Y,Z); // { dg-message "note" }
|
|
3 template<class... Args> void f2();
|
|
4 void g()
|
|
5 {
|
|
6 f<int,const char*,double>("aa",3.0);
|
|
7 f<int,const char*>("aa",3.0); // Z is deduced to be double
|
|
8 f<int>("aa",3.0); // Y is deduced to be char*, and
|
|
9 // Z is deduced to be double
|
|
10 f("aa",3.0); // { dg-error "no matching" }
|
|
11 // { dg-message "(candidate|deduce template parameter)" "candidate note" { target *-*-* } .-1 }
|
|
12 f2<char, short, int, long>(); // okay
|
|
13 }
|