https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99539
Bug ID: 99539
Summary: Varargs are allowed in requires expression
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: ---
gcc-trunk accepts the following code:
template<typename T>
concept C = requires(T t, ...) { // error: terminates with an ellipsis
t;
};
(goldbot: https://godbolt.org/z/qbz7b9)
but according to [expr.prim#req.general-4]: "The parameter-declaration-clause
of a requirement-parameter-list shall not terminate with an ellipsis."
