gccrs: Only emit errors during type-bounds checking when required

philberty · philberty · commit ea139aa3818b · 2023-02-28T20:38:35.000Z
Signed-off-by: Philip Herron &lt;herron.philip@googlemail.com&gt;

gcc/rust/ChangeLog:

	* typecheck/rust-unify.cc (UnifyRules::go): respect the emit_errors flag
diff --git a/gcc/rust/typecheck/rust-unify.cc b/gcc/rust/typecheck/rust-unify.cc
@@ -141,7 +141,7 @@ UnifyRules::go ()
   // check bounds
   if (ltype->num_specified_bounds () > 0)
     {
-      if (!ltype->bounds_compatible (*rtype, locus, true))
+      if (!ltype->bounds_compatible (*rtype, locus, emit_error))
 	{
 	  // already emitted an error
 	  emit_error = false;

Original file line number	Diff line number	Diff line change
`@@ -141,7 +141,7 @@ UnifyRules::go ()`
`141`	`141`	`// check bounds`
`142`	`142`	`if (ltype->num_specified_bounds () > 0)`
`143`	`143`	`{`
`144`		`- if (!ltype->bounds_compatible (*rtype, locus, true))`
	`144`	`+ if (!ltype->bounds_compatible (*rtype, locus, emit_error))`
`145`	`145`	`{`
`146`	`146`	`// already emitted an error`
`147`	`147`	`emit_error = false;`