[clang] [clang] Allow pack expansions when partial ordering against template template parameters (PR #91833)

Erich Keane via cfe-commits cfe-commits at lists.llvm.org
Sat May 11 07:03:47 PDT 2024


================
@@ -6507,8 +6508,13 @@ bool Sema::CheckTemplateArgumentList(
       bool PackExpansionIntoNonPack =
           NewArgs[ArgIdx].getArgument().isPackExpansion() &&
           (!(*Param)->isTemplateParameterPack() || getExpandedPackSize(*Param));
-      if (PackExpansionIntoNonPack && (isa<TypeAliasTemplateDecl>(Template) ||
-                                       isa<ConceptDecl>(Template))) {
+      // Core issue 1430: Don't diagnose this pack expansion when partial
----------------
erichkeane wrote:

```suggestion
      // Core issue CWG1430: Don't diagnose this pack expansion when partial
```

(makes it easier to grep for)

https://github.com/llvm/llvm-project/pull/91833


More information about the cfe-commits mailing list