Skip to content

Commit c285218

Browse files
Revert "Drive-by: Don't manually call evaluate_obligation_no_overflow"
This reverts commit a884a9e.
1 parent 69a07f7 commit c285218

File tree

1 file changed

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

1 file changed

+3
-2
lines changed

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

+3-2
Original file line numberDiff line numberDiff line change
@@ -1336,8 +1336,9 @@ impl<'tcx> TypeErrCtxtExt<'tcx> for TypeErrCtxt<'_, 'tcx> {
13361336
obligation.param_env,
13371337
trait_pred_and_suggested_ty,
13381338
);
1339-
let suggested_ty_would_satisfy_obligation =
1340-
self.predicate_must_hold_modulo_regions(&new_obligation);
1339+
let suggested_ty_would_satisfy_obligation = self
1340+
.evaluate_obligation_no_overflow(&new_obligation)
1341+
.must_apply_modulo_regions();
13411342
if suggested_ty_would_satisfy_obligation {
13421343
let sp = self
13431344
.tcx

0 commit comments

Comments
 (0)