PR c++/85765 - SFINAE and non-type default template arg.
[official-gcc.git] / gcc / testsuite / g++.dg / cpp0x / variadic-ex4.C
blob36d0b6fede5fe8a87ceae0bc1ba254769dd8ffe1
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