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}} _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits