Enum chalk_ir::VariableKind [−][src]
pub enum VariableKind<I: Interner> {
Ty(TyVariableKind),
Lifetime,
Const(Ty<I>),
}
Expand description
The “kind” of variable. Type, lifetime or constant.
Variants
Tuple Fields of Ty
Tuple Fields of Const
0: Ty<I>
Trait Implementations
Cast a value to type T
.
type Interner = I
type Interner = I
The interner associated with the type.
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
impl<I> RefUnwindSafe for VariableKind<I> where
<I as Interner>::InternedType: RefUnwindSafe,
impl<I> Send for VariableKind<I> where
<I as Interner>::InternedType: Send,
impl<I> Sync for VariableKind<I> where
<I as Interner>::InternedType: Sync,
impl<I> Unpin for VariableKind<I> where
<I as Interner>::InternedType: Unpin,
impl<I> UnwindSafe for VariableKind<I> where
<I as Interner>::InternedType: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
Cast a value to type U
using CastTo
.
impl<T, I> CouldMatch<T> for T where
T: Zip<I> + HasInterner<Interner = I> + ?Sized,
I: Interner,
impl<T, I> CouldMatch<T> for T where
T: Zip<I> + HasInterner<Interner = I> + ?Sized,
I: Interner,
Checks whether self
and other
could possibly match.