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).
