Structs§
- AdtDef
- Alias
Def - Alias
Term - AliasTy
- Allocation
- Assoc
Def - Assoc
Item - Binder
- A binder represents a possibly generic type and its bound vars.
- Bound
Region - BoundTy
- BrNamed
Def - Closure
Def - Coerce
Predicate - Const
Def - Coroutine
Closure Def - Coroutine
Def - Coroutine
Witness Def - Early
Binder - Early
Param Region - Existential
Projection - Existential
Trait Ref - An existential reference to a trait where
Selfis not included. - Field
Def - FnDef
- Hold information about a function definition in a crate.
- FnSig
- Foreign
Def - Hold information about a ForeignItem in a crate.
- Foreign
Module - Foreign
Module Def - Generic
Args - A list of generic arguments.
- Generic
Def - Generic
Param Def - Generic
Predicates - Generics
- ImplDef
- A trait impl definition.
- Intrinsic
Def - Line
Info - Information you get from
Spanin a struct form. Line and col start from 1. - MirConst
- Represents a constant in MIR
- MirConst
Id - Opaque
Def - Hold infomation about an Opaque definition, particularly useful in
RPITIT. - Outlives
Predicate - Param
Const - Param
Def - ParamTy
- Placeholder
- Projection
Predicate - Prov
- Provenance
Map - Stores the provenance information of pointers stored in memory.
- Region
- Region
Def - Span
- Subtype
Predicate - Trait
Decl - Trait
Def - A trait’s definition.
- Trait
Predicate - Trait
Ref - A complete reference to a trait, i.e., one where
Selfis known. - Ty
- TyConst
- Represents a constant in the type system
- TyConst
Id - Type
AndMut - Unevaluated
Const - Variant
Def - Definition of a variant, which can be either a struct / union field or an enum variant.
- Variant
Idx - The source-order index of a variant in a type.
Enums§
- Abi
- AdtKind
- Alias
Kind - Alias
Relation Direction - Assoc
Item Container - Assoc
Kind - Assoc
Type Data - Bound
Region Kind - Bound
TyKind - Bound
Variable Kind - Clause
Kind - Closure
Kind - Constant
Kind - DynKind
- Existential
Predicate - FloatTy
- Foreign
Item Kind - Generic
ArgKind - Generic
Param DefKind - Impl
Polarity - Impl
Trait InTrait Data - IntTy
- Movability
- Pattern
- Represents a pattern in the type system
- Predicate
Kind - Predicate
Polarity - Region
Kind - RigidTy
- Term
Kind - Trait
Specialization Kind - TyConst
Kind - TyKind
- UintTy