[clang] 3e00f24 - [NFC][Clang] add test comments for GitHub issue 58896

[Yuanfang Chen via cfe-commits]

Author: Yuanfang Chen
Date: 2023-03-06T11:55:39-08:00
New Revision: 3e00f24f6356cb351b969bc7414546c2d220e059

URL: https://github.com/llvm/llvm-project/commit/3e00f24f6356cb351b969bc7414546c2d220e059
DIFF: https://github.com/llvm/llvm-project/commit/3e00f24f6356cb351b969bc7414546c2d220e059.diff

LOG: [NFC][Clang] add test comments for GitHub issue 58896

Per discussions with @erichkeane.

Added: 
    

Modified: 
    clang/test/CXX/temp/temp.decls/temp.fct/temp.func.order/p6.cpp

Removed: 
    


################################################################################
diff  --git a/clang/test/CXX/temp/temp.decls/temp.fct/temp.func.order/p6.cpp b/clang/test/CXX/temp/temp.decls/temp.fct/temp.func.order/p6.cpp
index d6e6d73d05ed5..55626edddf20d 100644
--- a/clang/test/CXX/temp/temp.decls/temp.fct/temp.func.order/p6.cpp
+++ b/clang/test/CXX/temp/temp.decls/temp.fct/temp.func.order/p6.cpp
@@ -89,6 +89,10 @@ void f() {
   Y3<int, 1, 1, A{}, S, int> c;
 }
 
+// Per [temp.func.order]p6.2.2, specifically "if the function parameters that
+// positionally correspond between the two templates are not of the same type",
+// this partial specialization does not work.
+// See https://github.com/llvm/llvm-project/issues/58896
 template<C T, C V> struct Y4; // expected-note {{template is declared here}}
 template<D T, C V> struct Y4<V, T>; // expected-error {{class template partial specialization is not more specialized than the primary template}}