Type Alias Substitution

pub type Substitution = Substitution<Interner>;

Interned list of generic arguments for an item. When an item has parent, the Substitution for it contains generic arguments for both its parent and itself. See chalk’s documentation for details.

See Binders for the constraint on the ordering.

Aliased Type

struct Substitution { /* private fields */ }