Searched defs:RustIrDatabase (Results 1 – 7 of 7) sorted by relevance
25 pub struct RustIrDatabase<'tcx> { struct30 impl fmt::Debug for RustIrDatabase<'_> { implementation36 impl<'tcx> RustIrDatabase<'tcx> { implementation66 impl<'tcx> chalk_solve::RustIrDatabase<RustInterner<'tcx>> for RustIrDatabase<'tcx> { implementation687 impl<'tcx> chalk_ir::UnificationDatabase<RustInterner<'tcx>> for RustIrDatabase<'tcx> { implementation
44 pub trait RustIrDatabase<I: Interner>: Debug { trait
44 pub trait RustIrDatabase<I: Interner>: Debug { interface
9 trait RustIrDatabase<I: Interner> { interface
51 impl<I: Interner> SolverStuff<UCanonicalGoal<I>, Fallible<Solution<I>>> for &dyn RustIrDatabase<I> { implementation