[clang] [Clang][Sema] Handle invalid variable template specialization whose type depends on itself (PR #134522)

[Younan Zhang via cfe-commits]

================
@@ -7594,6 +7594,54 @@ ASTContext::getCanonicalTemplateArgument(const 
TemplateArgument &Arg) const {
   llvm_unreachable("Unhandled template argument kind");
 }
 
+bool ASTContext::isSameTemplateArgument(const TemplateArgument &Arg1,
+                                        const TemplateArgument &Arg2) const {
----------------
zyn0217 wrote:

I don't think I'm asking for a new variant of isSameTemplateArgument, but to 
promote the one from TemplateDeduction.

https://github.com/llvm/llvm-project/blob/f37ab152540d374ceff8551abef3de5110e697ee/clang/lib/Sema/SemaTemplateDeduction.cpp#L2832-L2833

Note that you should rebase your branch because the function you're working on 
has changed recently.


https://github.com/llvm/llvm-project/pull/134522
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits