[clang] [Sema] Avoid an undesired pack expansion while transforming PackIndexingType (PR #90195)

Younan Zhang via cfe-commits cfe-commits at lists.llvm.org
Fri Apr 26 20:17:07 PDT 2024


================
@@ -160,3 +160,22 @@ namespace GH88929 {
     using E = P...[0]; // expected-error {{unknown type name 'P'}} \
                        // expected-error {{expected ';' after alias declaration}}
 }
+
+namespace GH88925 {
+template <typename...> struct S {};
+
+template <int...> struct sequence {};
+
+template <typename... Args, int... indices> auto f(sequence<indices...>) {
+  return S<Args...[indices]...>(); // #use
+}
+
----------------
zyn0217 wrote:

Oops, yeah, good catch! Honestly, I have tried one similar example (with a fold expression) but had no luck:
```cpp
template <auto... Args, int... indices> auto f(sequence<indices...>) {
  return (Args...[indices] + ...);
}
```

Let me see what's happening here.

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


More information about the cfe-commits mailing list