[Bug c++/99848] New: Parameter packs not expanded in type-constraint placeholder

[hewillk at gmail dot com via Gcc-bugs]

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

            Bug ID: 99848
           Summary: Parameter packs not expanded in type-constraint
                    placeholder
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hewillk at gmail dot com
  Target Milestone: ---

https://godbolt.org/z/hxed4eorx

template <class, class>
concept C = false;

template <class... Ts>
auto f(Ts...) {
  ([](C<Ts> auto){}, ...);
}

gcc rejects it.