[Bug c++/96821] [concepts] Incorrect evaluation of concept with ill-formed expression

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ppalka at gcc dot gnu.org
      Known to fail|                            |10.2.0, 11.0, 9.3.0
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2020-09-21

--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Confirmed.  One workaround is to define with_value_constant as

  template <typename T>
  concept with_value_constant
    = requires { constant_expression<T::value>; };