Enum chalk_solve::wf::WfError [−][src]
pub enum WfError<I: Interner> {
IllFormedTypeDecl(AdtId<I>),
IllFormedOpaqueTypeDecl(OpaqueTyId<I>),
IllFormedTraitImpl(TraitId<I>),
}
Variants
Tuple Fields of IllFormedTypeDecl
0: AdtId<I>
Tuple Fields of IllFormedOpaqueTypeDecl
0: OpaqueTyId<I>
Tuple Fields of IllFormedTraitImpl
0: TraitId<I>
Trait Implementations
Auto Trait Implementations
impl<I> RefUnwindSafe for WfError<I> where
<I as Interner>::DefId: RefUnwindSafe,
<I as Interner>::InternedAdtId: RefUnwindSafe,
impl<I> Send for WfError<I> where
<I as Interner>::DefId: Send,
<I as Interner>::InternedAdtId: Send,
impl<I> Sync for WfError<I> where
<I as Interner>::DefId: Sync,
<I as Interner>::InternedAdtId: Sync,
impl<I> Unpin for WfError<I> where
<I as Interner>::DefId: Unpin,
<I as Interner>::InternedAdtId: Unpin,
impl<I> UnwindSafe for WfError<I> where
<I as Interner>::DefId: UnwindSafe,
<I as Interner>::InternedAdtId: 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