[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