Type Definition chalk_ir::CanonicalVarKind

pub 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>

fn cast_to(
    self,
    _interner: &<CanonicalVarKind<I> as HasInterner>::Interner
) -> CanonicalVarKind<I>

Cast a value to type T.