continue to handle context instead of finish

Author: jcsxky

clang/lib/Sema/SemaTemplateInstantiate.cpp

@@ -292,7 +292,7 @@ Response HandleFunction(Sema &SemaRef, const FunctionDecl *Function,
         if (TemplatePattern && FunctionPattern &&
             TemplatePattern->getTemplateDepth() ==
                 FunctionPattern->getTemplateDepth())
-          return Response::Done();
+          return Response::UseNextDecl(Function);
       }
 
     // If this function is a generic lambda specialization, we are done.

clang/test/SemaCXX/PR90349.cpp

@@ -41,3 +41,27 @@ int main(int argc, const char * argv[]) {
     FindBlobs<double, int>();
     return 0;
 }
+
+template<typename T, typename U>
+concept D = sizeof(T) == sizeof(U);
+
+template<typename T>
+struct A
+{
+    template<typename U, typename V> requires D<U, V>
+    static void f();
+};
+
+template<typename T, typename U>
+struct B
+{
+    template<typename V>
+    struct C
+    {
+        friend void A<char>::f<T, U>();
+    };
+};
+
+template struct B<int, int>::C<short>;
+
+extern template void A<char>::f<int, int>(); // crash here