[Bug c++/98717] [10/11 Regression] [c++20] variadic concept can't take empty pack

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jason Merrill <ja...@gcc.gnu.org>:

https://gcc.gnu.org/g:4e7c24d97dd65083a770252ce942f43d408fe11d

commit r11-7106-g4e7c24d97dd65083a770252ce942f43d408fe11d
Author: Jason Merrill <ja...@redhat.com>
Date:   Thu Feb 4 11:46:45 2021 -0500

    c++: Empty args for variadic concept [PR98717]

    Nice when fixing a bug is as easy as removing incorrect checks.

    gcc/cp/ChangeLog:

            PR c++/98717
            * constraint.cc (build_concept_check_arguments): Remove assert.
            (build_concept_check): Allow empty args.

    gcc/testsuite/ChangeLog:

            PR c++/98717
            * g++.dg/cpp2a/concepts-variadic3.C: New test.