1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
use crate::coherence::CoherenceError;
use crate::ext::GoalExt;
use crate::solve::Solver;
use crate::RustIrDatabase;
use chalk_ir::cast::*;
use chalk_ir::interner::Interner;
use chalk_ir::*;
use tracing::{debug, instrument};
#[instrument(level = "debug", skip(db, solver_choice))]
pub fn perform_orphan_check<I: Interner, S: Solver<I>, SC: Into<S>>(
db: &dyn RustIrDatabase<I>,
solver_choice: SC,
impl_id: ImplId<I>,
) -> Result<(), CoherenceError<I>> {
let impl_datum = db.impl_datum(impl_id);
debug!(?impl_datum);
let impl_allowed: Goal<I> = impl_datum
.binders
.map_ref(|bound_impl| {
DomainGoal::LocalImplAllowed(bound_impl.trait_ref.clone())
})
.cast(db.interner());
let canonical_goal = &impl_allowed.into_closed_goal(db.interner());
let is_allowed = solver_choice.into().solve(db, canonical_goal).is_some();
debug!("overlaps = {:?}", is_allowed);
if !is_allowed {
let trait_id = impl_datum.trait_id();
return Err(CoherenceError::FailedOrphanCheck(trait_id));
}
Ok(())
}