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