[FOLD] address review comments

Author: sdkrystian

clang/docs/ReleaseNotes.rst

@@ -695,6 +695,10 @@ Bug Fixes to C++ Support
   until the noexcept-specifier is instantiated.
 - Fix a crash when an implicitly declared ``operator==`` function with a trailing requires-clause has its
   constraints compared to that of another declaration.
+- Fix a bug where explicit specializations of member functions/function templates would have substitution
+  performed incorrectly when checking constraints. Fixes (#GH90349).
+- Clang now allows constrained member functions to be explicitly specialized for an implicit instantiation
+  of a class template.
 
 Bug Fixes to AST Handling
 ^^^^^^^^^^^^^^^^^^^^^^^^^

clang/include/clang/Basic/DiagnosticSemaKinds.td

@@ -5438,7 +5438,7 @@ def err_function_template_partial_spec : Error<
     "function template partial specialization is not allowed">;
 
 def err_function_member_spec_ambiguous : Error<
-    "ambiguous member function specialization of %q0">;
+    "ambiguous member function specialization of %0">;
 def note_function_member_spec_matched : Note<
     "member function specialization matches %0">;
 

clang/test/CXX/temp/temp.spec/temp.expl.spec/p14-23.cpp

@@ -41,7 +41,7 @@ template<>
 constexpr int A<8>::g() { return 3; }
 
 template<>
-constexpr int A<6>::g() { return 4; } // expected-error {{ambiguous member function specialization of 'A<6>::g'}}
+constexpr int A<6>::g() { return 4; } // expected-error {{ambiguous member function specialization of 'g'}}
 
 static_assert(A<9>::g() == 0);
 static_assert(A<1>::g() == 1);