Expand description
A simplified version of rust types.
Modules§
- subst 🔒
Structs§
- AdtDef
- AdtDef
Data - AliasTy
- Binder
- Bound
Region - Clause
- Closure
Args - Closure
Args Parts - Const
- Coroutine
Args - Coroutine
Args Parts - Early
Binder - Existential
Projection - Existential
Trait Ref - Field
Def - FnSig
- Generic
Param Def - Generic
Predicates - Generics
- Outlives
Predicate - Projection
Predicate - Trait
Predicate - Trait
Ref - Ty
- TyS 🔒
- Unevaluated
Const - Variant
Def - Bound
Var - Const
Vid - A
constvariable ID. - Debruijn
Index - A De Bruijn index is a standard means of representing regions (and perhaps later types) in a higher-ranked setting. In particular, imagine a type like this:
- Early
Param Region - Field
Idx - The source-order index of a field in a variant.
- Late
Param Region - The parameter representation of late-bound function parameters, “some region
at least as big as the scope
fr.scope”. - ParamTy
- Region
Vid - A region variable ID.
- Scalar
Int - The raw bytes of a simple value.
- Variant
Idx - The source-order index of a variant in a type.
Enums§
- Alias
Kind - Bound
Variable Kind - Clause
Kind - Const
Kind - Existential
Predicate - Generic
Arg - Generic
Param DefKind - Region
- TyKind
- ValTree
- Bound
Region Kind - FloatTy
- Infer
Const - An inference variable for a const, for use in const generics.
- IntTy
- Late
Param Region Kind - When liberating bound regions, we map their
BoundRegionKindto this as we need to track the index of anonymous regions. We otherwise end up liberating multiple bound regions to the same late-bound region. - Mutability
- UintTy
Constants§
- FIRST_
VARIANT - Equivalent to
VariantIdx(0).