[Bug c++/94186] [10 Regression] compiler incorrectly accepts a requires clause with predicate of non-bool type

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |paolo.carlini at oracle dot com

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Isn't this fixable by simply tweaking satisfy_atom to unconditionally issue the
error?