bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Drive-by: Don't manually call evaluate_obligation_no_overflow

Browse source
This commit is contained in:
Michael Goulet 2022-11-11 03:37:04 +00:00
parent cbe9328018
commit a884a9e634
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_trait_selection/src/traits/error_reporting/suggestions.rs
View file

@ -1340,9 +1340,8 @@ impl<'tcx> TypeErrCtxtExt<'tcx> for TypeErrCtxt<'_, 'tcx> {
obligation.param_env, obligation.param_env,
trait_pred_and_suggested_ty, trait_pred_and_suggested_ty,
); );
let suggested_ty_would_satisfy_obligation = self let suggested_ty_would_satisfy_obligation =
.evaluate_obligation_no_overflow(&new_obligation) self.predicate_must_hold_modulo_regions(&new_obligation);
.must_apply_modulo_regions();
if suggested_ty_would_satisfy_obligation { if suggested_ty_would_satisfy_obligation {
let sp = self let sp = self
.tcx .tcx