Put function templates instantiated from friend declarations in the correct

lexical context.  This is required for ADL to work properly;  fixes PR6716.

llvm-svn: 99665

1 files changed, 12 insertions, 0 deletions

diff --git a/clang/test/CXX/basic/basic.lookup/basic.lookup.argdep/p4.cpp b/clang/test/CXX/basic/basic.lookup/basic.lookup.argdep/p4.cpp
index b59e6ca320e..df3429ef31c 100644
--- a/clang/test/CXX/basic/basic.lookup/basic.lookup.argdep/p4.cpp
+++ b/clang/test/CXX/basic/basic.lookup/basic.lookup.argdep/p4.cpp
@@ -40,3 +40,15 @@ namespace Test {
     D::D() + D::D(); // expected-error {{ invalid operands to binary expression ('D::D' and 'D::D') }}
   }
 }
+
+// PR6716
+namespace test1 {
+  template <class T> class A {
+    template <class U> friend void foo(A &, U); // expected-note {{not viable: 1st argument ('A<int> const') would lose const qualifier}}
+  };
+
+  void test() {
+    const A<int> a;
+    foo(a, 10); // expected-error {{no matching function for call to 'foo'}}
+  }
+}