squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Use predicate_must_hold_modulo_regions

Browse source
This commit is contained in:
Santiago Pastorino 2021-10-16 00:12:17 -03:00
parent 89a419cf7d
commit 6ae1d68e16
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_trait_selection/src/traits/coherence.rs
View file

@ -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