Struct chalk_solve::wf::WfSolver

pub struct WfSolver<'a, I: Interner> {
    db: &'a dyn RustIrDatabase<I>,
    solver_builder: &'a dyn Fn() -> Box<dyn Solver<I>>,
}

Fields

db: &'a dyn RustIrDatabase<I>

solver_builder: &'a dyn Fn() -> Box<dyn Solver<I>>

Implementations

impl<'a, I> WfSolver<'a, I>

where I: Interner,

pub fn new( db: &'a dyn RustIrDatabase<I>, solver_builder: &'a dyn Fn() -> Box<dyn Solver<I>>, ) -> Self

Constructs a new WfSolver.

pub fn verify_adt_decl(&self, adt_id: AdtId<I>) -> Result<(), WfError<I>>

pub fn verify_trait_impl(&self, impl_id: ImplId<I>) -> Result<(), WfError<I>>

pub fn verify_opaque_ty_decl( &self, opaque_ty_id: OpaqueTyId<I>, ) -> Result<(), WfError<I>>

pub fn verify_well_known_impl( &self, impl_id: ImplId<I>, well_known: WellKnownTrait, ) -> Result<(), WfError<I>>

Verify builtin rules for well-known traits