A binder represents a possibly generic type and its bound vars.
Represents a constant in MIR or from the Type system.
An existential reference to a trait where Self
is not included.
Hold information about a function definition in a crate.
Hold information about a ForeignItem in a crate.
A list of generic arguments.
A trait impl definition.
Information you get from Span
in a struct form.
Line and col start from 1.
Stores the provenance information of pointers stored in memory.
A trait’s definition.
A complete reference to a trait, i.e., one where Self
is known.
Definition of a variant, which can be either a struct / union field or an enum variant.
The source-order index of a variant in a type.