mathieu/os-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Move FIXME text to the right place

Browse source
This commit is contained in:
Santiago Pastorino 2022-02-02 14:38:39 -03:00
parent 4e83924595
commit 74c431866b
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -280,9 +280,6 @@ fn implicit_negative<'cx, 'tcx>(
})
.chain(obligations)
.find(|o| loose_check(selcx, o));
// FIXME: the call to `selcx.predicate_may_hold_fatal` above should be ported
// to the canonical trait query form, `infcx.predicate_may_hold`, once
// the new system supports intercrate mode (which coherence needs).
if let Some(failing_obligation) = opt_failing_obligation {
debug!("overlap: obligation unsatisfiable {:?}", failing_obligation);
@ -361,6 +358,9 @@ fn loose_check<'cx, 'tcx>(
selcx: &mut SelectionContext<'cx, 'tcx>,
o: &PredicateObligation<'tcx>,
) -> bool {
// FIXME: the call to `selcx.predicate_may_hold_fatal` below should be ported
// to the canonical trait query form, `infcx.predicate_may_hold`, once
// the new system supports intercrate mode (which coherence needs).
!selcx.predicate_may_hold_fatal(o)
}