Struct chalk_solve::wf::WfSolver [−][src]
pub struct WfSolver<'a, I: Interner> { /* fields omitted */ }
Implementations
Constructs a new WfSolver
.
pub fn verify_well_known_impl(
&self,
impl_id: ImplId<I>,
well_known: WellKnownTrait
) -> 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
Auto Trait Implementations
impl<'a, I> !RefUnwindSafe for WfSolver<'a, I>
impl<'a, I> !UnwindSafe for WfSolver<'a, I>
Blanket Implementations
Mutably borrows from an owned value. Read more
fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
Cast a value to type U
using CastTo
.
Instruments this type with the provided Span
, returning an
Instrumented
wrapper. Read more