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