================
@@ -8040,7 +8040,10 @@ bool ASTContext::isSameTemplateArgument(const 
TemplateArgument &Arg1,
            getCanonicalTemplateName(Arg2.getAsTemplateOrTemplatePattern());
 
   case TemplateArgument::Integral:
-    return llvm::APSInt::isSameValue(Arg1.getAsIntegral(),
+    // The types have to match as well as the values:
+    // C++ [temp.type]p2
----------------
BaLiKfromUA wrote:

Added in 
https://github.com/llvm/llvm-project/pull/225239/commits/4e6ef2d94490ff84b9f4f45a07898472a219b62d

I guess you didn't find it in the C++26 draft because it's `[temp.typE]`, not 
`[temp.typeS]`.

But fair feedback regardless

https://github.com/llvm/llvm-project/pull/225239
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to