maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

PR14615: add (passing) tests for this already-fixed bug 

llvm-svn: 213709
This commit is contained in:
Richard Smith 2014-07-22 23:56:53 +00:00
parent 17e6b9e5ab
commit 7c237990f2
1 changed files with 28 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
clang/test/SemaTemplate/pack-deduction.cpp
View File

@ -37,3 +37,31 @@ namespace RetainExprPacks {
template<typename ...Ts> int g(X<Ts...>, decltype(f(Ts()...)));
int n = g<int, int>(X<int, int, int>(), 0);
}
namespace PR14615 {
namespace comment0 {
template <class A, class...> struct X {};
template <class... B> struct X<int, B...> {
typedef int type;
struct valid {};
};
template <typename A, typename... B, typename T = X<A, B...>,
typename = typename T::valid>
typename T::type check(int);
int i = check<int, char>(1);
}
namespace comment2 {
template <class...> struct X;
template <typename... B, typename X<B...>::type I = 0>
char check(B...); // expected-note {{undefined template 'PR14615::comment2::X<char, int>'}}
void f() { check<char>(1, 2); } // expected-error {{no matching function}}
}
namespace comment3 {
template <class...> struct X;
template <typename... B, typename X<B...>::type I = (typename X<B...>::type)0>
char check(B...); // expected-note {{undefined template 'PR14615::comment3::X<char, int>'}}
void f() { check<char>(1, 2); } // expected-error {{no matching function}}
}
}