[Bug c++/99976] New: gcc accepts requires-clause contains unexpanded parameter pack

hewillk at gmail dot com gcc-bugzilla@gcc.gnu.org
Thu Apr 8 16:37:50 GMT 2021


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

            Bug ID: 99976
           Summary: gcc accepts requires-clause contains unexpanded
                    parameter pack
           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/ax7MKM483

template <typename... Ts> concept C = requires (Ts) { true; };
static_assert(C<int, float>);

gcc accepts it.


More information about the Gcc-bugs mailing list