diff options
Diffstat (limited to 'clang/test/SemaTemplate/function-template-specialization.cpp')
| -rw-r--r-- | clang/test/SemaTemplate/function-template-specialization.cpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/clang/test/SemaTemplate/function-template-specialization.cpp b/clang/test/SemaTemplate/function-template-specialization.cpp index 5946d9b680b..90e38cc882f 100644 --- a/clang/test/SemaTemplate/function-template-specialization.cpp +++ b/clang/test/SemaTemplate/function-template-specialization.cpp @@ -12,6 +12,7 @@ void test_f0() { // Function template specialization where there are no matches template<> void f0(char (&array)[1]); // expected-error{{no function template matches}} +template<> void f0<2>(int (&array)[2]) { } // Function template specialization that requires partial ordering template<typename T, int N> void f1(T (&array)[N]); // expected-note{{matches}} @@ -23,3 +24,12 @@ template<> void f1(int (&array)[1]); // Function template specialization that results in an ambiguity template<typename T> void f1(T (&array)[17]); // expected-note{{matches}} template<> void f1(int (&array)[17]); // expected-error{{ambiguous}} + +// Resolving that ambiguity with explicitly-specified template arguments. +template<int N> void f2(double (&array)[N]); +template<typename T> void f2(T (&array)[42]); + +template<> void f2<double>(double (&array)[42]); +template<> void f2<42>(double (&array)[42]); + +void f2<25>(double (&array)[25]); // expected-error{{specialization}} |
