diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2021-10-16 00:12:17 -0300 |
|---|---|---|
| committer | Santiago Pastorino <spastorino@gmail.com> | 2021-10-20 12:10:46 -0300 |
| commit | 6ae1d68e1673f1897739955e17e71d05980f273f (patch) | |
| tree | e6f95cd2d157a5792b86c9fee07c99e25bcbf6d3 | |
| parent | 89a419cf7d5207a65abf2e32482abd2084177af5 (diff) | |
| download | rust-6ae1d68e1673f1897739955e17e71d05980f273f.tar.gz rust-6ae1d68e1673f1897739955e17e71d05980f273f.zip | |
Use predicate_must_hold_modulo_regions
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/coherence.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/coherence.rs b/compiler/rustc_trait_selection/src/traits/coherence.rs index b34d0f0f78c..a3fbba3bb89 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 |