Type Definition chalk_ir::CanonicalVarKind
source · [−]pub type CanonicalVarKind<I: Interner> = WithKind<I, UniverseIndex>;
Expand description
A variable kind with universe index.
Trait Implementations
sourceimpl<I: Interner> CastTo<WithKind<I, UniverseIndex>> for CanonicalVarKind<I>
impl<I: Interner> CastTo<WithKind<I, UniverseIndex>> for CanonicalVarKind<I>
sourcefn cast_to(
self,
_interner: <CanonicalVarKind<I> as HasInterner>::Interner
) -> CanonicalVarKind<I>
fn cast_to(
self,
_interner: <CanonicalVarKind<I> as HasInterner>::Interner
) -> CanonicalVarKind<I>
Cast a value to type
T
.