[Bug c++/98717] [10 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 #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Jason Merrill
<ja...@gcc.gnu.org>:

https://gcc.gnu.org/g:eb15f761bc741599504d532ef9c1c03a8de71820

commit r10-9348-geb15f761bc741599504d532ef9c1c03a8de71820
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.