Enum chalk_solve::solve::SubstitutionResult [−][src]
pub enum SubstitutionResult<S> { Definite(S), Ambiguous(S), Floundered, }
Variants
Implementations
Trait Implementations
Auto Trait Implementations
impl<S> RefUnwindSafe for SubstitutionResult<S> where
S: RefUnwindSafe,
impl<S> Send for SubstitutionResult<S> where
S: Send,
impl<S> Sync for SubstitutionResult<S> where
S: Sync,
impl<S> Unpin for SubstitutionResult<S> where
S: Unpin,
impl<S> UnwindSafe for SubstitutionResult<S> where
S: UnwindSafe,
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