Struct chalk_solve::coherence::CoherenceSolver [−][src]
pub struct CoherenceSolver<'a, I: Interner> { /* fields omitted */ }
Implementations
Constructs a new CoherenceSolver
.
pub fn specialization_priorities(
&self
) -> Result<Arc<SpecializationPriorities<I>>, CoherenceError<I>>
Auto Trait Implementations
impl<'a, I> !RefUnwindSafe for CoherenceSolver<'a, I>
impl<'a, I> !Send for CoherenceSolver<'a, I>
impl<'a, I> !Sync for CoherenceSolver<'a, I>
impl<'a, I> Unpin for CoherenceSolver<'a, I> where
<I as Interner>::DefId: Unpin,
impl<'a, I> !UnwindSafe for CoherenceSolver<'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