[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

--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> ---
To wit:

diff --git a/gcc/cp/constraint.cc b/gcc/cp/constraint.cc
index 697ed6726b8..59b43a31274 100644
--- a/gcc/cp/constraint.cc
+++ b/gcc/cp/constraint.cc
@@ -2543,8 +2543,7 @@ satisfy_atom (tree t, tree args, subst_info info)
     return cache.save (error_mark_node);
   if (!same_type_p (TREE_TYPE (result), boolean_type_node))
     {
-      if (info.noisy ())
-       error_at (loc, "constraint does not have type %<bool%>");
+      error_at (loc, "constraint does not have type %<bool%>");
       return cache.save (error_mark_node);
     }

passes testing. Since currently we don't have an accurate location for the
constraint we could also pretty print it with %qE (ie, what we did in 9).