Type Alias CanonicalVarKind

pub type CanonicalVarKind<'db> = CanonicalVarKind<DbInterner<'db>>;

Aliased Type

pub enum CanonicalVarKind<'db> {
    Ty(CanonicalTyVarKind),
    PlaceholderTy(Placeholder<BoundTy>),
    Region(UniverseIndex),
    PlaceholderRegion(Placeholder<BoundRegion>),
    Const(UniverseIndex),
    PlaceholderConst(Placeholder<BoundVar>),
}

Variants

Ty(CanonicalTyVarKind)

Some kind of type inference variable.

PlaceholderTy(Placeholder<BoundTy>)

A “placeholder” that represents “any type”.

Region(UniverseIndex)

Region variable '?R.

PlaceholderRegion(Placeholder<BoundRegion>)

A “placeholder” that represents “any region”. Created when you are solving a goal like for<'a> T: Foo<'a> to represent the bound region 'a.

Const(UniverseIndex)

Some kind of const inference variable.

PlaceholderConst(Placeholder<BoundVar>)

A “placeholder” that represents “any const”.