[Bug c++/109648] New: ICE: tree check: expected type_pack_expansion or expr_pack_expansion, have error_mark in tsubst_pack_expansion, at cp/pt.cc:13551

[Bug c++/109648] New: ICE: tree check: expected type_pack_expansion or expr_pack_expansion, have error_mark in tsubst_pack_expansion, at cp/pt.cc:13551

[hewillk at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109648

            Bug ID: 109648
           Summary: ICE: tree check: expected type_pack_expansion or
                    expr_pack_expansion, have error_mark in
                    tsubst_pack_expansion, at cp/pt.cc:13551
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hewillk at gmail dot com
  Target Milestone: ---

struct S {
  int operator[](int);
};

auto foo(auto v) {
  return [&]<int... Is> {
    return (v()[Is] + ...);
  }.template operator()<>();
}

auto test() {
  auto v = [] { return S{}; };
  return [&]<int... Is> {
    return (foo(v()[Is]) + ...);
  }.template operator()<>();
}

int main() {
  test();
}

https://godbolt.org/z/Ye89xfKdY

[Bug c++/109648] ICE: tree check: expected type_pack_expansion or expr_pack_expansion, have error_mark in tsubst_pack_expansion, at cp/pt.cc:13551 since r13-272-gdc6c96f0707aba

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109648

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |ppalka at gcc dot gnu.org
   Last reconfirmed|                            |2023-05-02
            Summary|ICE: tree check: expected   |ICE: tree check: expected
                   |type_pack_expansion or      |type_pack_expansion or
                   |expr_pack_expansion, have   |expr_pack_expansion, have
                   |error_mark in               |error_mark in
                   |tsubst_pack_expansion, at   |tsubst_pack_expansion, at
                   |cp/pt.cc:13551              |cp/pt.cc:13551 since
                   |                            |r13-272-gdc6c96f0707aba
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r13-272-gdc6c96f0707aba.

[Bug c++/109648] ICE: tree check: expected type_pack_expansion or expr_pack_expansion, have error_mark in tsubst_pack_expansion, at cp/pt.cc:13551 since r13-272-gdc6c96f0707aba

[kacper.slominski72 at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109648

Kacper Słomiński <kacper.slominski72 at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |kacper.slominski72 at gmail dot co
                   |                            |m

--- Comment #2 from Kacper Słomiński <kacper.slominski72 at gmail dot com> ---
Different test case with the same ICE:

int foo(auto...) { return 0; }

template <typename ...Ts>
void bar() {
        []<typename ...Us>() {
                return foo(({ Us{}; 1; })...);
        }.template operator()<Ts...>();
}

int main() {
        bar<int>();
}