From 6ae1d68e1673f1897739955e17e71d05980f273f Mon Sep 17 00:00:00 2001 From: Santiago Pastorino Date: Sat, 16 Oct 2021 00:12:17 -0300 Subject: [PATCH] Use predicate_must_hold_modulo_regions --- compiler/rustc_trait_selection/src/traits/coherence.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/rustc_trait_selection/src/traits/coherence.rs b/compiler/rustc_trait_selection/src/traits/coherence.rs index b34d0f0f78c4..a3fbba3bb89f 100644 --- a/compiler/rustc_trait_selection/src/traits/coherence.rs +++ b/compiler/rustc_trait_selection/src/traits/coherence.rs @@ -205,7 +205,7 @@ fn overlap_within_probe( !selcx.predicate_may_hold_fatal(o) || o.flip_polarity(tcx) .as_ref() - .map(|o| selcx.infcx().predicate_must_hold_considering_regions(o)) + .map(|o| selcx.infcx().predicate_must_hold_modulo_regions(o)) .unwrap_or(false) }); // FIXME: the call to `selcx.predicate_may_hold_fatal` above should be ported