From 3e00f24f6356cb351b969bc7414546c2d220e059 Mon Sep 17 00:00:00 2001
From: Yuanfang Chen <yuanfang.chen@sony.com>
Date: Mon, 6 Mar 2023 11:54:18 -0800
Subject: [PATCH] [NFC][Clang] add test comments for GitHub issue 58896

Per discussions with @erichkeane.
---
 clang/test/CXX/temp/temp.decls/temp.fct/temp.func.order/p6.cpp | 4 ++++
 1 file changed, 4 insertions(+)

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 d6e6d73..55626ed 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}}
 
-- 
2.7.4