diff options
author | Douglas Gregor <dgregor@apple.com> | 2010-03-26 05:57:46 +0000 |
---|---|---|
committer | Douglas Gregor <dgregor@apple.com> | 2010-03-26 05:57:46 +0000 |
commit | 4a0bac96103ba9f1528e91a26c0be457d39cec0f (patch) | |
tree | 74ed2d26696f630ae6c4bd83c0d213d5d8091ff8 | |
parent | c2d526e4b2fa1cda43e614d80c9fc156f2874996 (diff) |
Add tests for PR6707.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@99613 91177308-0d34-0410-b5e6-96231b3b80d8
-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>()); + } +} |