Skip to content

Commit a884a9e

Browse files
Drive-by: Don't manually call evaluate_obligation_no_overflow
1 parent cbe9328 commit a884a9e

File tree

1 file changed

+2
-3
lines changed
  • compiler/rustc_trait_selection/src/traits/error_reporting

1 file changed

+2
-3
lines changed

compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs

+2-3
Original file line numberDiff line numberDiff line change
@@ -1340,9 +1340,8 @@ impl<'tcx> TypeErrCtxtExt<'tcx> for TypeErrCtxt<'_, 'tcx> {
13401340
obligation.param_env,
13411341
trait_pred_and_suggested_ty,
13421342
);
1343-
let suggested_ty_would_satisfy_obligation = self
1344-
.evaluate_obligation_no_overflow(&new_obligation)
1345-
.must_apply_modulo_regions();
1343+
let suggested_ty_would_satisfy_obligation =
1344+
self.predicate_must_hold_modulo_regions(&new_obligation);
13461345
if suggested_ty_would_satisfy_obligation {
13471346
let sp = self
13481347
.tcx

0 commit comments

Comments
 (0)