Module ty

Source

Expand description

Defines how the compiler represents types internally.

Two important entities in this module are:

rustc_middle::ty::Ty, used to represent the semantics of a type.
rustc_middle::ty::TyCtxt, the central data structure in the compiler.

For more information, see “The ty module: representing types” in the rustc-dev-guide.

Re-exports§

use std::cmp::Ordering; 🔒
use std::fmt::Debug; 🔒
use std::fmt::Debug; 🔒
use std::hash::Hash; 🔒
use std::hash::Hash; 🔒
use std::hash::Hasher; 🔒
use std::marker::PhantomData; 🔒
use std::num::NonZero; 🔒
use std::ops::ControlFlow; 🔒
use std::ptr::NonNull; 🔒
use std::assert_matches; 🔒
use std::fmt; 🔒
use std::iter; 🔒
use std::str; 🔒
pub use generic_args::GenericArgKind;
pub use generic_args::TermKind;
pub use intrinsic::IntrinsicDef;
use rustc_abi::Align; 🔒
use rustc_abi::FieldIdx; 🔒
use rustc_abi::Integer; 🔒
use rustc_abi::IntegerType; 🔒
use rustc_abi::ReprFlags; 🔒
use rustc_abi::ReprOptions; 🔒
use rustc_abi::ScalableElt; 🔒
use rustc_abi::Size; 🔒
use rustc_abi::VariantIdx; 🔒
use rustc_ast as ast; 🔒
use rustc_attr_ir::lang_items::LangItem; 🔒
use rustc_attr_ir as attr; 🔒
use rustc_attr_ir::find_attr; 🔒
use rustc_data_structures::fx::FxHashSet; 🔒
use rustc_data_structures::fx::FxIndexMap; 🔒
use rustc_data_structures::intern::Interned; 🔒
use rustc_data_structures::stable_hash::StableHash; 🔒
use rustc_data_structures::stable_hash::StableHashCtxt; 🔒
use rustc_data_structures::stable_hash::StableHasher; 🔒
use rustc_errors::Diag; 🔒
use rustc_errors::ErrorGuaranteed; 🔒
use rustc_hir as hir; 🔒
use rustc_hir::def::CtorKind; 🔒
use rustc_hir::def::CtorOf; 🔒
use rustc_hir::def::DefKind; 🔒
use rustc_hir::def::Res; 🔒
use rustc_hir::def_id::CrateNum; 🔒
use rustc_hir::def_id::DefId; 🔒
use rustc_hir::def_id::DefIdMap; 🔒
use rustc_hir::def_id::LocalDefId; 🔒
use rustc_index::bit_set::BitMatrix; 🔒
use rustc_index::IndexVec; 🔒
use rustc_index::static_assert_size; 🔒
use rustc_macros::BlobDecodable; 🔒
use rustc_macros::Decodable; 🔒
use rustc_macros::Encodable; 🔒
use rustc_macros::StableHash; 🔒
use rustc_macros::TyDecodable; 🔒
use rustc_macros::TyEncodable; 🔒
use rustc_macros::TypeFoldable; 🔒
use rustc_macros::TypeVisitable; 🔒
use rustc_macros::extension; 🔒
use rustc_serialize::Decodable; 🔒
use rustc_serialize::Encodable; 🔒
use rustc_session::config::OptLevel; 🔒
use rustc_span::def_id::LocalModId; 🔒
use rustc_span::def_id::ModId; 🔒
use rustc_span::hygiene::MacroKind; 🔒
use rustc_span::DUMMY_SP; 🔒
use rustc_span::ExpnKind; 🔒
use rustc_span::Ident; 🔒
use rustc_span::Span; 🔒
use rustc_span::Symbol; 🔒
use rustc_span::bug; 🔒
use rustc_target::callconv::FnAbi; 🔒
use tracing::debug; 🔒
use tracing::instrument; 🔒
use tracing::instrument; 🔒
pub use self::closure::BorrowKind;
pub use self::closure::CAPTURE_STRUCT_LOCAL;
pub use self::closure::CaptureInfo;
pub use self::closure::CapturedPlace;
pub use self::closure::ClosureTypeInfo;
pub use self::closure::MinCaptureInformationMap;
pub use self::closure::MinCaptureList;
pub use self::closure::RootVariableMinCaptureList;
pub use self::closure::UpvarCapture;
pub use self::closure::UpvarId;
pub use self::closure::UpvarPath;
pub use self::closure::analyze_coroutine_closure_captures;
pub use self::closure::is_ancestor_or_same_capture;
pub use self::closure::place_to_string_for_capture;
pub use self::consts::AliasConst;
pub use self::consts::AliasConstKind;
pub use self::consts::AtomicOrdering;
pub use self::consts::Const;
pub use self::consts::ConstInt;
pub use self::consts::ConstKind;
pub use self::consts::ConstToValTreeResult;
pub use self::consts::Expr;
pub use self::consts::ExprKind;
pub use self::consts::LitToConstInput;
pub use self::consts::ScalarInt;
pub use self::consts::SimdAlign;
pub use self::consts::ValTree;
pub use self::consts::ValTreeKindExt;
pub use self::consts::Value;
pub use self::consts::const_lit_matches_ty;
pub use self::context::CtxtInterners;
pub use self::context::CurrentGcx;
pub use self::context::FreeRegionInfo;
pub use self::context::GlobalCtxt;
pub use self::context::TyCtxt;
pub use self::context::TyCtxtFeed;
pub use self::context::tls;
pub use self::instance::Instance;
pub use self::instance::InstanceKind;
pub use self::instance::ReifyReason;
pub use self::instance::ShimKind;
pub(crate) use self::list::RawList; 🔒
pub use self::list::List;
pub use self::list::ListWithCachedTypeInfo;
pub use self::opaque_types::OpaqueTypeKey;
pub use self::pattern::Pattern;
pub use self::pattern::PatternKind;
pub use self::predicate::AliasTerm;
pub use self::predicate::AliasTermKind;
pub use self::predicate::ArgOutlivesClause;
pub use self::predicate::Clause;
pub use self::predicate::ClauseKind;
pub use self::predicate::CoercePredicate;
pub use self::predicate::ExistentialPredicate;
pub use self::predicate::ExistentialPredicateStableCmpExt;
pub use self::predicate::ExistentialProjection;
pub use self::predicate::ExistentialTraitRef;
pub use self::predicate::HostEffectClause;
pub use self::predicate::NormalizesTo;
pub use self::predicate::OutlivesClause;
pub use self::predicate::PolyCoercePredicate;
pub use self::predicate::PolyExistentialPredicate;
pub use self::predicate::PolyExistentialProjection;
pub use self::predicate::PolyExistentialTraitRef;
pub use self::predicate::PolyProjectionClause;
pub use self::predicate::PolyRegionOutlivesClause;
pub use self::predicate::PolySubtypePredicate;
pub use self::predicate::PolyTraitClause;
pub use self::predicate::PolyTraitRef;
pub use self::predicate::PolyTypeOutlivesClause;
pub use self::predicate::Predicate;
pub use self::predicate::PredicateKind;
pub use self::predicate::ProjectionClause;
pub use self::predicate::RegionConstraint;
pub use self::predicate::RegionEqPredicate;
pub use self::predicate::RegionOutlivesClause;
pub use self::predicate::SubtypePredicate;
pub use self::predicate::TraitClause;
pub use self::predicate::TraitRef;
pub use self::predicate::TypeOutlivesClause;
pub use self::region::EarlyParamRegion;
pub use self::region::LateParamRegion;
pub use self::region::LateParamRegionKind;
pub use self::region::Region;
pub use self::region::RegionKind;
pub use self::sty::Alias;
pub use self::sty::AliasTy;
pub use self::sty::AliasTyKind;
pub use self::sty::Article;
pub use self::sty::Binder;
pub use self::sty::BoundConst;
pub use self::sty::BoundRegion;
pub use self::sty::BoundRegionKind;
pub use self::sty::BoundTy;
pub use self::sty::BoundTyKind;
pub use self::sty::BoundVariableKind;
pub use self::sty::CanonicalPolyFnSig;
pub use self::sty::CoroutineArgsExt;
pub use self::sty::EarlyBinder;
pub use self::sty::FnSig;
pub use self::sty::FnSigKind;
pub use self::sty::FreeAliasTy;
pub use self::sty::InherentAliasTy;
pub use self::sty::InlineConstArgs;
pub use self::sty::InlineConstArgsParts;
pub use self::sty::OpaqueAliasTy;
pub use self::sty::ParamConst;
pub use self::sty::ParamTy;
pub use self::sty::PlaceholderConst;
pub use self::sty::PlaceholderRegion;
pub use self::sty::PlaceholderType;
pub use self::sty::PolyFnSig;
pub use self::sty::ProjectionAliasTy;
pub use self::sty::TyKind;
pub use self::sty::TypeAndMut;
pub use self::sty::TypingMode;
pub use self::sty::TypingModeEqWrapper;
pub use self::sty::Unnormalized;
pub use self::sty::UpvarArgs;
pub use self::trait_def::TraitDef;
pub use self::typeck_results::CanonicalUserType;
pub use self::typeck_results::CanonicalUserTypeAnnotation;
pub use self::typeck_results::CanonicalUserTypeAnnotations;
pub use self::typeck_results::IsIdentity;
pub use self::typeck_results::Rust2024IncompatiblePatInfo;
pub use self::typeck_results::SplattedDef;
pub use self::typeck_results::TypeckResults;
pub use self::typeck_results::UserType;
pub use self::typeck_results::UserTypeAnnotationIndex;
pub use self::typeck_results::UserTypeKind;
use crate::diagnostics::OpaqueHiddenTypeMismatch; 🔒
use crate::diagnostics::TypeMismatchReason; 🔒
use crate::mir::Body; 🔒
use crate::mir::CoroutineLayout; 🔒
use crate::mir::CoroutineSavedLocal; 🔒
use crate::mir::MirPhase; 🔒
use crate::mir::SourceInfo; 🔒
use crate::query::IntoQueryKey; 🔒
use crate::query::Providers; 🔒
use crate::ty; 🔒
use crate::ty::codec::TyDecoder; 🔒
use crate::ty::codec::TyEncoder; 🔒
use crate::ty::fast_reject::SimplifiedType; 🔒
use crate::ty::layout::FnAbiError; 🔒
use crate::ty::layout::LayoutError; 🔒
use crate::ty::print::with_crate_prefix; 🔒
use crate::ty::print::with_crate_prefix; 🔒
use crate::ty::print::with_no_trimmed_paths; 🔒
use crate::ty::print::with_no_trimmed_paths; 🔒
use crate::ty::util::Discr; 🔒
use crate::ty::walk::TypeWalker; 🔒
pub use generic_args::*;
pub use vtable::*;

Modules§

abstract_const: A subset of a mir body used for const evaluability checking.
adjustment
adt 🔒
assoc 🔒
cast
closure 🔒
codec: This module contains some shared code for encoding and decoding various things from the ty module, and in particular implements support for “shorthands” which allow to have pointers back into the already encoded stream instead of re-encoding the same thing twice.
consts
context 🔒: Type context book-keeping.
data_structures
diagnostics 🔒: Diagnostics related methods for Ty.
elaborate
elaborate_impl 🔒
erase_regions 🔒
error
fast_reject
fold 🔒
generic_args 🔒
generics 🔒
impls_ty 🔒: This module contains StableHash implementations for various data types from rustc_middle::ty in no particular order.
inhabitedness: This module contains logic for determining whether a type is inhabited or uninhabited. The InhabitedPredicate type captures the minimum information needed to determine whether a type is inhabited given a ParamEnv and module ID.
inherent: Set of traits which are used to emulate the inherent impls that are present in rustc_middle. It is customary to glob-import rustc_type_ir::inherent::* to bring all of these traits into scope when programming in interner-agnostic settings, and to avoid importing any of these directly elsewhere (i.e. specify the full path for an implementation downstream).
instance 🔒
intern
intrinsic 🔒
ir_print
lang_items
layout
lift
list 🔒
normalize_erasing_regions: Methods for normalizing when you don’t care about regions (and aren’t doing type inference). If either of those things don’t apply to you, use infcx.normalize(...).
offload_meta
opaque_types 🔒
outlives: The outlives relation T: 'a or 'a: 'b. This code frequently refers to rules defined in RFC 1214 (OutlivesFooBar), so see that RFC for reference.
pattern
predicate 🔒
print
region 🔒
region_constraint: The bulk of the logic for implementing -Zassumptions-on-binders
relate
search_graph: The search graph is responsible for caching and cycle detection in the trait solver. Making sure that caching doesn’t result in soundness bugs or unstable query results is very challenging and makes this one of the most-involved self-contained components of the compiler.
significant_drop_order
solve
structural_impls 🔒: This module contains implementations of the Lift, TypeFoldable and TypeVisitable traits for various types in the Rust compiler. Most are written by hand, though we’ve recently added some macros and proc-macros to help with the tedium.
sty: This module contains TyKind and its major components.
trait_def
transmute
typeck_results 🔒
typetree
util: Miscellaneous type-system utilities that are too small to deserve their own modules.
visit 🔒
vtable
walk: An iterator over the type substructure. WARNING: this does not keep track of the region depth.

Macros§

TrivialTypeTraversalImpls: Used for types that are Copy and which do not care arena allocated data (i.e., don’t need to be folded).
try_visit
walk_visitable_list

Structs§

AdtDef
AdtDefData: The definition of a user-defined type, e.g., a struct, enum, or union.
AdtFlags
AssocItem: Information about an associated item
AssocItems: A list of ty::AssocItems in definition order that allows for efficient lookup by name.
AsyncDestructor
BottomUpFolder
BoundVar
BoundVarReplacer: Replaces escaping bound vars in a value.
CReaderCacheKey
CallerBoundsAccessor
Canonical: A “canonicalized” type V is one where all free inference variables have been rewritten to “canonical vars”. These are numbered starting from 0 in order of first appearance.
CanonicalParamEnvCache
CanonicalParamEnvCacheEntry
CanonicalQueryInput
CanonicalVarValues: A set of values corresponding to the canonical variables from some Canonical. You can give these values to canonical_value.instantiate to instantiate them into the canonical value at the right places.
Canonicalized: A projection of a Canonical<V>, as produced by Canonical::project. Useful as a marker when dealing with fields within a Canonical<V>, because it indicates that T may contain canonical bound variables that must be instantiated before use.
CanonicalizerState: State used and modified by a canonicalizer during canonicalization. To avoid many allocations, this state is reused by many canonicalizers from GlobalCaches.
ClosureArgs: A closure can be modeled as a struct that looks like:
ClosureArgsParts: Struct returned by split().
ClosureSizeProfileData
ConstConditions: [const] bounds for a given item. This is represented using a struct much like GenericClauses, where you can either choose to only instantiate the “own” bounds or all of the bounds including those from the parent. This distinction is necessary for code like compare_method_clause_entailment.
ConstVid: A const variable ID.
CoroutineArgs: Similar to ClosureArgs; see the above documentation for more.
CoroutineArgsParts
CoroutineClosureArgs
CoroutineClosureArgsParts: See docs for explanation of how each argument is used.
CoroutineClosureSignature
CoroutineWitnessTypes
CrateClausesMap: The crate outlives map is computed during typeck and contains the outlives of every item in the local crate. You should not use it directly, because to do so will make your pass dependent on the HIR of every item in the local crate. Instead, use tcx.inferred_outlives_of() to get the outlives for a particular item.
CrateInherentImpls: A map for the local crate mapping each type to a vector of its inherent impls. This is not meant to be used outside of coherence; rather, you should request the vector for a specific type via tcx.inherent_impls(def_id) so as to minimize your dependencies (constructing this map requires touching the entire crate).
CrateVariancesMap: The crate variances map is computed during typeck and contains the variance of every item in the local crate. You should not use it directly, because to do so will make your pass dependent on the HIR of every item in the local crate. Instead, use tcx.variances_of() to get the variance for a particular item.
DebruijnIndex: 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:
DeepRejectCtxt: Given generic arguments, could they be unified after replacing parameters with inference variables or placeholders. This behavior is toggled using the const generics.
DefinitionSiteHiddenType
DelayedMap: A hashmap which only starts hashing after ignoring the first few inputs.
DelayedSet
Destructor
DestructuredAdtConst: The constituent parts of a type level constant of kind ADT or array.
EarlyBinderIter
FieldDef
FieldInfo
FlagComputation
FloatVid: A floating-point (f32 or f64) type variable ID.
FnHeader
FnMutDelegate: A simple delegate taking three mutable functions.
FnSigTys
GenSig
GenericArg: An entity in the Rust type system, which can be one of several kinds (types, lifetimes, and consts). To reduce memory usage, a GenericArg is an interned pointer, with the lowest 2 bits being reserved for a tag to indicate the type (Ty, Region, or Const) it points to.
GenericArgs: List of generic arguments that are gonna be used to replace generic parameters.
GenericClauses: Bounds on generics.
GenericParamCount
GenericParamDef
Generics: Information about the formal type/lifetime parameters associated with an item or method. Analogous to hir::Generics.
ImplTraitHeader
InstantiatedClauses: Represents the bounds declared on a particular set of type parameters. Should eventually be generalized into a flag list of where-clauses. You can obtain an InstantiatedClauses list from a GenericClauses by using the instantiate method. Note that this method reflects an important semantic invariant of InstantiatedClauses: while the GenericClauses are expressed in terms of the bound type parameters of the impl/trait/whatever, an InstantiatedClauses instance represented a set of bounds for some particular instantiation, meaning that the generic parameters have been instantiated with their values.
IntVid: An integral (u32, i32, usize, etc.) type variable ID.
IsSuggestableVisitor
IterIdentityCopied
IterInstantiated
IterInstantiatedCopied
MakeSuggestableFolder
MayBeErased
NoClauses
ParamEnv: When interacting with the type system we must provide information about the environment. ParamEnv is the type that represents this information. See the dev guide chapter for more information.
ParamEnvAnd
Placeholder: The “placeholder index” fully defines a placeholder region, type, or const. Placeholders are identified by both a universe, as well as a name residing within that universe. Distinct bound regions/types/consts within the same universe simply have an unknown relationship to one
ProvisionalHiddenType
PseudoCanonicalInput: Similar to CanonicalInput, this carries the typing_mode and the environment necessary to do any kind of trait solving inside of nested queries.
RegionFolder: Folds over the substructure of a type, visiting its component types and all regions that occur free within it.
RegionVid: A region variable ID.
RequiredDepth
SymbolName
Term
TraitObjectVisitor: Collect al types that have an implicit 'static obligation that we could suggest '_ for.
Ty: Use this rather than TyKind, whenever possible.
TyVid: A type variable ID.
TypeFlags: Flags that we track on types. These flags are propagated upwards through the type during type construction, so that we can quickly check whether the type has various kinds of types in it without recursing over the type itself.
TypingEnv: The environment in which to do trait solving.
UniverseIndex: “Universes” are used during type- and trait-checking in the presence of for<..> binders to control what sets of names are visible. Universes are arranged into a tree: the root universe contains names that are always visible. Each child then adds a new set of names that are visible, in addition to those of its parent. We say that the child universe “extends” the parent universe with new names.
UnsafeBinderInner
UserArgs: Stores the user-given args to reach some fully qualified path (e.g., <T>::Item or <T as Trait>::Item).
UserSelfTy: Specifies the user-given self type. In the case of a path that refers to a member in an inherent impl, this self type is sometimes needed to constrain the type parameters on the impl. For example, in this code:
ValidateBoundVars
VariantDef: Definition of a variant – a struct’s fields or an enum variant.
VariantFlags
WithCachedTypeInfo: A helper type that you can wrap round your own type in order to automatically cache the type flags and debruijn index on creation and not recompute it whenever the information is needed.

Enums§

AdtKind
AnonConstKind
AssocContainer
AssocKind
AssocTag: Like AssocKind, but just the tag, no fields. Used in various kinds of matching.
AssocTypeData
Asyncness
BoundConstness
BoundVarIndexKind: Okay, we do something fun for Bound types/regions/consts: Specifically, we distinguish between canonically bound things and for<> bound things. And, really, it comes down to caching during canonicalization and instantiation.
CandidatePreferenceMode: Which trait candidates should be preferred over other candidates? By default, prefer where bounds over alias bounds. For marker traits, prefer alias bounds over where bounds.
CanonicalVarKind: Information about a canonical variable that is included with the canonical value. This is sufficient information for code to create a copy of the canonical value in some other inference context, with fresh inference variables replacing the canonical values.
CantBeErased
ClausePolarity: Polarity for a trait clause.
ClosureKind: Represents the various closure traits in the language. This will determine the type of the environment (self, in the desugaring) argument that the closure expects.
ConstEvalErr: Errors from CTFE we care about in next-solver.
DefiningScopeKind: Whether we’re currently in HIR typeck or MIR borrowck.
FloatTy
FloatVarValue
GenericParamDefKind
ImplOverlapKind
ImplPolarity
ImplTraitInTraitData: Useful source information about where a desugared associated type for an RPITIT originated from.
IncludeSizedImplicitBounds
InferConst: An inference variable for a const, for use in const generics.
InferTy: A placeholder for a type that hasn’t been inferred yet.
IntTy
IntVarValue
IsRigid: Whether an alias type is rigid or potentially normalizeable.
Movability: The movability of a coroutine / closure literal: whether a coroutine contains self-references, causing it to be !Unpin.
Mutability
Pinnedness
RestrictionKind
SizedTraitKind: Which sizedness trait - Sized, MetaSized? PointeeSized is omitted as it is removed during lowering.
SplattedArgIndexError: Error type for splatted argument index errors.
SuggestChangingConstraintsMessage
UintTy
ValTreeKind: This datastructure is used to represent the value of constants used in the type system.
Variance
VarianceDiagInfo: Extra information about why we ended up with a particular variance. This is only used to add more information to error messages, and has no effect on soundness. While choosing the ‘wrong’ VarianceDiagInfo may lead to confusing notes in error messages, it will never cause a miscompilation or unsoundness.
VariantDiscr
Visibility
VisibleForLeakCheck: Whether the given region constraint should be considered/ignored for leak check. In most part of the compiler, this should be Yes, except for applying constraints from the nested goals in next-solver. Unreachable is used in places in which leak check isn’t done, e.g. borrowck.

Constants§

CONST_TAG 🔒
CONST_TAG
INNERMOST
REGION_TAG
TAG_MASK 🔒
TAG_MASK
TYPE_TAG 🔒
TYPE_TAG

Traits§

BoundVarReplacerDelegate: A delegate used when instantiating bound vars.
CallerBoundsIterator
CollectAndApply: Imagine you have a function F: FnOnce(&[T]) -> R, plus an iterator iter that produces T items. You could combine them with f(&iter.collect::<Vec<_>>()), but this requires allocating memory for the Vec.
FallibleTypeFolder: This trait is implemented for every folding traversal. There is a fold method defined for every type of interest. Each such method has a default that does an “identity” fold.
Flags
GenericArgPackExt
GenericTypeVisitable: This trait is implemented for every type that can be visited, providing the skeleton of the traversal.
InferCtxtLike: InferCtxtLike is one of the two traits abstracting over the InferCtxt, which had to be split due to coherence reasons:
Interner: The central trait in the shared abstraction layer, specifying all implementation-specific details for rustc and rust-analyzer.
InternerDecoder: A decoder that can reconstruct interned type IR values by supplying the interner that owns the decoded data.
IsSuggestable
Lift: A trait implemented for all X<'a> types that can be safely and efficiently converted to X<'tcx> as long as they are part of the provided TyCtxt<'tcx>. This can be done, for example, for Ty<'tcx> or GenericArgsRef<'tcx> by looking them up in their respective interners.
LiftInto: An interner whose associated types can be lifted into another interner J.
PredicateProxy: Fold predicate deliberately doesn’t get access to an actual predicate. This way, we can compress lists of predicates, and hide this detail to folders. Instead, some type implementing this trait, PredicateProxy is passed, with its limited API.
TermKindPackExt
TypeFoldable: This trait is implemented for every type that can be folded, providing the skeleton of the traversal.
TypeFolder: This trait is implemented for every infallible folding traversal. There is a fold method defined for every type of interest. Each such method has a default that does an “identity” fold. Implementations of these methods often fall back to a super_fold_with method if the primary argument doesn’t satisfy a particular condition.
TypeSuperFoldable
TypeSuperVisitable
TypeVisitable: This trait is implemented for every type that can be visited, providing the skeleton of the traversal.
TypeVisitableExt
TypeVisitor: This trait is implemented for every visiting traversal. There is a visit method defined for every type of interest. Each such method has a default that recurses into the type’s fields in a non-custom fashion.
TypingModeErasedStatus
Upcast: An Into-like trait that takes TyCtxt to perform interner-specific transformations.
UpcastFrom: A From-like trait that takes TyCtxt to perform interner-specific transformations.
VisitorResult: Similar to the Try trait, but also implemented for ().

Functions§

debug_bound_var
fold_regions
max_universe: The largest universe a variable or placeholder was from in t
max_universe_of_infer_vars: The largest universe a variable was from in t
max_universe_of_placeholders: The largest universe a placeholder was from in t
may_use_unstable_feature
provide
replace_escaping_bound_vars_uncached: Replaces escaping bound vars using delegate.
set_aliases_to_non_rigid: This function should ideally only be used if either the TypingMode or the ParamEnv differs from the environment the aliases were normalized in.
set_aliases_to_rigid
set_opaques_to_non_rigid
set_type_aliases_to_rigid
shift_bound_var_indices: Shifts escaping bound-variable indices by bound_vars without changing their De Bruijn depth.
shift_region
shift_vars
suggest_arbitrary_trait_bound
suggest_changing_unsized_bound
suggest_constraining_type_param: Suggest restricting a type param with a new bound.
suggest_constraining_type_params: Suggest restricting a type param with a new bound.

Type Aliases§

Clauses
ConstEvalResult
GenericArgKind
GenericArgsUnsized
RegisteredTools
TermKind

Module ty

Module ty Copy item path

Re-exports§

Modules§

Macros§

Structs§

Enums§

Constants§

Traits§

Functions§

Type Aliases§

Module ty