Module vars

Type-level variables. There are 4 kinds of variables at the type-level: regions, types, const generics and trait clauses. The relevant definitions are in this module.

Structs

BindingStack

A stack of values corresponding to nested binders. Each binder introduces an entry in this stack, with the entry as index 0 being the innermost binder. This is indexed by DeBruijnIds. Most methods assume that the stack is non-empty and panic if not.

ConstGenericVar

A const generic variable in a signature or binder.

ConstGenericVarId

DeBruijnId

The index of a binder, counting from the innermost. See DeBruijnVar for details.

RegionId

RegionVar

A region variable in a signature or binder.

TraitClause

A trait predicate in a signature, of the form Type: Trait<Args>. This functions like a variable binder, to which variables of the form TraitRefKind::Clause can refer to.

TraitClauseId

TraitTypeConstraintId

TypeVar

A type variable in a signature or binder.

TypeVarId

Enums

DeBruijnVar

Type-level variable.

Type Aliases

ClauseDbVar

ConstGenericDbVar

RegionDbVar

TypeDbVar