diff options
-rw-r--r-- | test/CXX/temp/temp.fct.spec/temp.deduct/p9.cpp | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/CXX/temp/temp.fct.spec/temp.deduct/p9.cpp b/test/CXX/temp/temp.fct.spec/temp.deduct/p9.cpp index 634da7d1c2..c27261c96b 100644 --- a/test/CXX/temp/temp.fct.spec/temp.deduct/p9.cpp +++ b/test/CXX/temp/temp.fct.spec/temp.deduct/p9.cpp @@ -4,3 +4,23 @@ template <int> int f(int); // expected-note 2{{candidate}} template <signed char> int f(int); // expected-note 2{{candidate}} int i1 = f<1>(0); // expected-error{{ambiguous}} int i2 = f<1000>(0); // expected-error{{ambiguous}} + +namespace PR6707 { + template<typename T, T Value> + struct X { }; + + template<typename T, T Value> + void f(X<T, Value>); + + void g(X<int, 10> x) { + f(x); + } + + static const unsigned char ten = 10; + template<typename T, T Value, typename U> + void f2(X<T, Value>, X<U, Value>); + + void g2() { + f2(X<int, 10>(), X<char, ten>()); + } +} |