[Bug c++/99742] New: Parameter packs not expanded with nested requirements

[hewillk at gmail dot com via Gcc-bugs]

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

            Bug ID: 99742
           Summary: Parameter packs not expanded with nested requirements
           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: ---

template <bool... B>
concept C = (requires { requires B; } && ...);

static_assert(C<true, true>);


gcc rejects this code.
https://godbolt.org/z/c6sEq5KEs