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
Region Kind - Bound
Variable Kind - Clause
Kind - Const
Kind - Existential
Predicate - Generic
Arg - Generic
Param DefKind - Region
- TyKind
- ValTree
- 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 [
ty::BoundRegionKind] to 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).