Type Definition chalk_ir::CanonicalVarKind [−][src]
type CanonicalVarKind<I: Interner> = WithKind<I, UniverseIndex>;
Expand description
A variable kind with universe index.
Trait Implementations
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
.