https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101906
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
CC| |ppalka at gcc dot gnu.org
Ever confirmed|0 |1
Last reconfirmed| |2021-11-03
Assignee|unassigned at gcc dot gnu.org |ppalka at gcc dot
gnu.org
--- Comment #1 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Reduced rejects-valid C++20 testcase:
template<int> using voidify = void;
template<class T>
concept constant_value_initializable
= requires { typename voidify<(T(), 0)>; };
struct bar {
int x = -1;
};
static_assert(constant_value_initializable<bar>);
Started with r10-3735 aka the C++20 concepts merge.
