Skip to content

Commit

Permalink
Drive-by: Don't manually call evaluate_obligation_no_overflow
Browse files Browse the repository at this point in the history
  • Loading branch information
compiler-errors committed Nov 23, 2022
1 parent cbe9328 commit a884a9e
Showing 1 changed file with 2 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -1340,9 +1340,8 @@ impl<'tcx> TypeErrCtxtExt<'tcx> for TypeErrCtxt<'_, 'tcx> {
obligation.param_env,
trait_pred_and_suggested_ty,
);
let suggested_ty_would_satisfy_obligation = self
.evaluate_obligation_no_overflow(&new_obligation)
.must_apply_modulo_regions();
let suggested_ty_would_satisfy_obligation =
self.predicate_must_hold_modulo_regions(&new_obligation);
if suggested_ty_would_satisfy_obligation {
let sp = self
.tcx
Expand Down

0 comments on commit a884a9e

Please sign in to comment.