bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

FIXME include regions too

Browse source
This commit is contained in:
Santiago Pastorino 2022-01-22 21:28:12 -03:00
parent 269383226f
commit 8189bac963
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -408,7 +408,10 @@ fn negative_impl_exists<'cx, 'tcx>(
let tcx = infcx.tcx; let tcx = infcx.tcx;
o.flip_polarity(tcx) o.flip_polarity(tcx)
.as_ref() .as_ref()
.map(|o| selcx.infcx().predicate_must_hold_modulo_regions(o)) .map(|o| {
// FIXME This isn't quite correct, regions should be included
selcx.infcx().predicate_must_hold_modulo_regions(o)
})
.unwrap_or(false) .unwrap_or(false)
} }