Expand description
Copies of the relevant type-level types. These are semantically-rich representations of type-level concepts such as types and trait references.
Structs§
- Alias
- This type merges the information from
rustc_type_ir::AliasKindandty::AliasTy - Align
- Reflects [
ty::Align], but directly stores the number of bytes as a u64. - Assoc
Item - Reflects [
ty::AssocItem] - Binder
- Reflects [
ty::Binder] - Bound
Region - Reflects [
ty::BoundRegion] - BoundTy
- Reflects [
ty::BoundTy] - Canonical
- Reflects [
rustc_middle::infer::canonical::Canonical] - Canonical
User Type Annotation - Reflects [
ty::CanonicalUserTypeAnnotation] - Clause
- Reflects [
ty::Clause] and adds a hash-consed predicate identifier. - Closure
Args - Reflects [
ty::ClosureArgs] - Coerce
Predicate - Reflects [
ty::CoercePredicate] - Decorated
- Generic container for decorating items with a type, a span, attributes and other meta-data.
- Discriminant
Value - Reflects [
ty::util::Discr] - DynBinder
- A representation of
exists<T: Trait1 + Trait2>(value): we create a fresh type id and the appropriate trait clauses. The contained value may refer to the fresh ty and the in-scope trait clauses. This is used to represent types related todyn Trait. - Early
Param Region - Reflects [
ty::EarlyParamRegion] - Existential
Projection - Reflects [
rustc_type_ir::ExistentialProjection] - Existential
Trait Ref - Reflects [
rustc_type_ir::ExistentialTraitRef] - Field
Def - Reflects [
ty::FieldDef] - Generic
Param Def - Reflects [
ty::GenericParamDef] - Generic
Predicate - Generic
Predicates - Reflects [
ty::GenericPredicates] - Item
RefContents - Contents of
ItemRef. - Late
Param Region - Reflects [
ty::LateParamRegion] - Outlives
Predicate - Reflects [
ty::OutlivesPredicate] as a named struct instead of a tuple struct. This is because the script converting JSONSchema types to OCaml doesn’t support tuple structs, and this is the only tuple struct in the whole AST. - Param
Const - Reflects [
ty::ParamConst] - ParamTy
- Reflects [
ty::ParamTy] - Placeholder
- Reflects [
ty::Placeholder] - Predicate
- Reflects [
ty::Predicate] and adds a hash-consed predicate identifier. - Projection
Predicate - Expresses a constraints over an associated type.
- Region
- Reflects [
ty::Region] - Repr
Flags - The representation flags without the ones irrelevant outside of rustc.
- Repr
Options - Reflects [
ty::ReprOptions] - Subtype
Predicate - Reflects [
ty::SubtypePredicate] - Trait
Predicate - Reflects [
ty::TraitPredicate] - Ty
- Reflects [
rustc_middle::ty::Ty] - TyFnSig
- Reflects [
ty::FnSig] - TyGenerics
- Reflects [
ty::Generics] - Type
AndMut - Reflects [
ty::TypeAndMut] - User
Args - Reflects [
ty::UserArgs] - User
Self Ty - Reflects [
ty::UserSelfTy] - Variant
Def - Reflects [
ty::VariantDef]
Enums§
- AdtFlags
- AdtKind
- Reflects [
ty::AdtKind] - Alias
Kind - Reflects [
ty::AliasKind] - Alias
Relation Direction - Reflects [
ty::AliasRelationDirection] - Assoc
Item Container - Assoc
Kind - Reflects [
ty::AssocKind] - Assoc
Type Data - Reflects [
ty::AssocTypeData] - Bound
Region Kind - Reflects [
ty::BoundRegionKind] - Bound
TyKind - Reflects [
ty::BoundTyKind] - Bound
VarIndex Kind - Reflects [
ty::BoundVarIndexKind] - Bound
Variable Kind - Reflects [
ty::BoundVariableKind] - Clause
Kind - Reflects [
ty::ClauseKind] - Closure
Kind - Reflects [
ty::ClosureKind] - Discriminant
Definition - Reflects [
ty::VariantDiscr] - Existential
Predicate - A predicate without
Self, for use indyn Trait. - Extern
Abi - Reflects [
rustc_abi::ExternAbi] - FloatTy
- Reflects [
rustc_type_ir::FloatTy] - Generic
Arg - Reflects both [
ty::GenericArg] and [ty::GenericArgKind] - Generic
Param DefKind - Reflects [
ty::GenericParamDefKind] - Generic
Predicate Id - Uniquely identifies a predicate.
- Host
Effect Predicate - Impl
Trait InTrait Data - Reflects [
ty::ImplTraitInTraitData] - InferTy
- Reflects partially [
ty::InferTy] - IntTy
- Reflects [
rustc_type_ir::IntTy] - Late
Param Region Kind - Reflects [
ty::LateParamRegionKind] - LitInt
Type - Reflects both [
ty::GenericArg] and [ty::GenericArgKind] - Normalizes
To - Predicate
Kind - Reflects [
ty::PredicateKind] - Region
Kind - Reflects [
ty::RegionKind] - Term
- Reflects [
ty::Term] - TyKind
- Reflects [
ty::TyKind] - UintTy
- Reflects [
rustc_type_ir::UintTy] - Unsizing
Metadata - The metadata to attach to the newly-unsized ptr.
- User
Type - Reflects [
ty::UserType]: this is currently disabled, and everything is printed as debug in theUserType::Todovariant. - Variance
- Reflects [
ty::Variance] - Visibility
- Reflects [
ty::Visibility]
Functions§
- compute_
unsizing_ metadata - resolve_
for_ 🔒dyn - Do trait resolution in the context of the clauses of a
dyn Traittype.
Type Aliases§
- Bound
Var - Canonical
User Type - Reflects [
ty::CanonicalUserType] - Debruijn
Index - Placeholder
Const - Reflects [
ty::PlaceholderConst] - Placeholder
Region - Reflects [
ty::PlaceholderRegion] - Placeholder
Type - Reflects [
ty::PlaceholderType] - Poly
FnSig - Reflects [
ty::PolyFnSig] - Region
Outlives Predicate - Reflects [
ty::RegionOutlivesPredicate] - Region
Vid - Trait
Ref - Reflects [
ty::TraitRef] Contains the def_id and arguments passed to the trait. The first type argument is theSelftype. TheImplExprsare the required predicate for this trait; currently they are always empty because we consider all trait predicates as implied.self.in_traitis alwaysNonebecause a trait can’t be associated to another one. - Type
Outlives Predicate - Reflects [
ty::TypeOutlivesPredicate]