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
Ty(TyVariableKind)
Const(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,
[src]
impl<T, I> CouldMatch<T> for T where
T: Zip<I> + HasInterner<Interner = I> + ?Sized,
I: Interner,
[src]Checks whether self
and other
could possibly match.