replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add testcase for the regression introduced in r290808. 

llvm-svn: 290843
This commit is contained in:
Richard Smith 2017-01-02 23:00:32 +00:00
parent 5cad6856a3
commit dadcc18276
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
clang/test/SemaTemplate/deduction.cpp
View File

@ -348,3 +348,17 @@ namespace deduction_substitution_failure {
template<typename T> int B<T, typename Fail<T>::error> {}; // expected-note {{instantiation of}}
int bi = B<char, char>; // expected-note {{during template argument deduction for variable template partial specialization 'B<T, typename Fail<T>::error>' [with T = char]}}
}
namespace deduction_after_explicit_pack {
template<typename ...T, typename U> int *f(T ...t, int &r, U *u) { // expected-note {{couldn't infer template argument 'U'}}
return u;
}
template<typename U, typename ...T> int *g(T ...t, int &r, U *u) {
return u;
}
void h(float a, double b, int c) {
// FIXME: Under DR1388, this appears to be valid.
f<float&, double&>(a, b, c, &c); // expected-error {{no matching}}
g<int, float&, double&>(a, b, c, &c); // ok
}
}