List of all items
Structs
- Adjustment
- BindingMode
- ComplexMemoryMap
- FieldType
- GenericDefaults
- GenericDefaultsRef
- GenericPredicates
- ImplTraits
- InferenceResult
- OverloadedDeref
- ParamCollector
- TargetFeatures
- TyLoweringContext
- TyLoweringResult
- autoderef::AutoderefSnapshot
- autoderef::AutoderefTraits
- autoderef::DefaultAutoderefCtx
- autoderef::GeneralAutoderef
- autoderef::InferenceContextAutoderefCtx
- builtin_derive::MentionsPointee
- closure_analysis::CaptureInfo
- closure_analysis::CaptureSourceStack
- closure_analysis::CapturedPlace
- closure_analysis::ClosureData
- closure_analysis::Place
- closure_analysis::Projection
- db::AnonConstId
- db::AnonConstLoc
- db::InternedClosure
- db::InternedClosureId
- db::InternedCoroutineClosureId
- db::InternedCoroutineId
- db::InternedOpaqueTyId
- diagnostics::IncorrectCase
- diagnostics::decl_check::DeclValidator
- diagnostics::decl_check::IncorrectCase
- diagnostics::decl_check::Replacement
- diagnostics::expr::Body
- diagnostics::expr::ExprValidator
- diagnostics::expr::FilterMapNextChecker
- diagnostics::expr::MatchArm
- diagnostics::match_check::FieldPat
- diagnostics::match_check::Pat
- diagnostics::match_check::PatCtxt
- diagnostics::match_check::WriteWith
- diagnostics::match_check::pat_analysis::EnumVariantContiguousIndex
- diagnostics::match_check::pat_analysis::MatchCheckCtx
- diagnostics::match_check::pat_util::EnumerateAndAdjust
- diagnostics::unsafe_check::MissingUnsafeResult
- diagnostics::unsafe_check::UnsafeVisitor
- display::DisplayTarget
- display::ExpressionStoreAdapter
- display::HirDisplayWrapper
- display::HirFormatter
- generics::Generics
- generics::ProvenanceSplit
- generics::SingleGenerics
- infer::Adjustment
- infer::BindingMode
- infer::BreakableContext
- infer::CaptureInfo
- infer::CaptureSourceStack
- infer::CapturedPlace
- infer::ClosureData
- infer::InferenceContext
- infer::InferenceResult
- infer::OverloadedDeref
- infer::PatAdjustment
- infer::callee::DeferredCallResolution
- infer::cast::CastCheck
- infer::closure::ClosureSignatures
- infer::closure::analysis::InferBorrowKind
- infer::closure::analysis::expr_use_visitor::ExprUseVisitor
- infer::closure::analysis::expr_use_visitor::Place
- infer::closure::analysis::expr_use_visitor::PlaceWithOrigin
- infer::closure::analysis::expr_use_visitor::Projection
- infer::coerce::Coerce
- infer::coerce::CoerceMany
- infer::coerce::CoerceVisitor
- infer::coerce::HirCoercionDelegate
- infer::coerce::InferenceCoercionDelegate
- infer::diagnostics::Diagnostics
- infer::diagnostics::InferenceTyLoweringContext
- infer::diagnostics::InferenceTyLoweringVarsCtx
- infer::diagnostics::PathDiagnosticCallbackData
- infer::pat::PatInfo
- infer::pat::ResolvedPat
- infer::unify::InferenceTable
- infer::unify::NestedObligationsForSelfTy
- infer::unify::resolve_completely::DiagnoseInferVars
- infer::unify::resolve_completely::Resolver
- infer::unify::resolve_completely::WriteBackCtxt
- inhabitedness::UninhabitedFrom
- inhabitedness::VisiblyUninhabited
- layout::LayoutCx
- layout::RustcEnumVariantIdx
- layout::RustcFieldIdx
- lower::FieldType
- lower::GenericDefaults
- lower::GenericDefaultsRef
- lower::GenericPredicates
- lower::ImplTrait
- lower::ImplTraitLoweringState
- lower::ImplTraits
- lower::PathDiagnosticCallbackData
- lower::SupertraitsInfo
- lower::TrackedStructToken
- lower::TyLoweringContext
- lower::TyLoweringResult
- lower::TyLoweringResultInfo
- lower::TypeAliasBounds
- lower::path::PathDiagnosticCallback
- lower::path::PathLoweringContext
- method_resolution::Candidate
- method_resolution::CandidateStep
- method_resolution::CandidateWithPrivate
- method_resolution::InherentImpls
- method_resolution::MethodCallee
- method_resolution::MethodResolutionContext
- method_resolution::OneTraitImpls
- method_resolution::OneTraitImplsBuilder
- method_resolution::Pick
- method_resolution::TraitImpls
- method_resolution::confirm::ConfirmContext
- method_resolution::confirm::ConfirmResult
- method_resolution::probe::Candidate
- method_resolution::probe::CandidateStep
- method_resolution::probe::CandidateWithPrivate
- method_resolution::probe::MethodAutoderefBadTy
- method_resolution::probe::MethodAutoderefStepsResult
- method_resolution::probe::Pick
- method_resolution::probe::PickConstraintsForShadowed
- method_resolution::probe::ProbeAllChoice
- method_resolution::probe::ProbeContext
- method_resolution::probe::ProbeForNameChoice
- mir::BasicBlock
- mir::BorrowckResult
- mir::Evaluator
- mir::FieldIndex
- mir::Local
- mir::MirBody
- mir::Operand
- mir::Place
- mir::PlaceRef
- mir::PlaceTy
- mir::Projection
- mir::ProjectionStorage
- mir::Statement
- mir::StoredProjection
- mir::SwitchTargets
- mir::Terminator
- mir::VTableMap
- mir::borrowck::BorrowRegion
- mir::borrowck::BorrowckResult
- mir::borrowck::MovedOutOfRef
- mir::borrowck::PartiallyMoved
- mir::eval::DropFlags
- mir::eval::Evaluator
- mir::eval::Interval
- mir::eval::IntervalAndTy
- mir::eval::Locals
- mir::eval::MirOutput
- mir::eval::StackFrame
- mir::eval::TlsData
- mir::eval::VTableMap
- mir::lower::DropScope
- mir::lower::DropScopeToken
- mir::lower::LoopBlocks
- mir::lower::MirLowerCtx
- mir::monomorphization::Filler
- mir::pretty::MirPrettyCtx
- next_solver::AdtIdWrapper
- next_solver::Allocation
- next_solver::AllocationData
- next_solver::CallableIdWrapper
- next_solver::CharTryFromScalarInt
- next_solver::ClosureIdWrapper
- next_solver::Const
- next_solver::Consts
- next_solver::ConstsStorage
- next_solver::CoroutineClosureIdWrapper
- next_solver::CoroutineIdWrapper
- next_solver::DefaultAny
- next_solver::DefaultConsts
- next_solver::DefaultEmpty
- next_solver::DefaultRegions
- next_solver::DefaultTypes
- next_solver::EarlyParamRegion
- next_solver::ErrorGuaranteed
- next_solver::ExprConst
- next_solver::ExternalConstraints
- next_solver::FreeConstAliasId
- next_solver::FreeTermAliasId
- next_solver::FreeTyAliasId
- next_solver::GeneralConstIdWrapper
- next_solver::GenericArg
- next_solver::GenericArgs
- next_solver::GenericArgsStorage
- next_solver::ImplOrTraitAssocConstId
- next_solver::ImplOrTraitAssocTermId
- next_solver::ImplOrTraitAssocTyId
- next_solver::InherentAssocConstId
- next_solver::InherentAssocTermId
- next_solver::InherentAssocTyId
- next_solver::LateParamRegion
- next_solver::OpaqueTyIdWrapper
- next_solver::ParamConst
- next_solver::ParamTy
- next_solver::PredefinedOpaques
- next_solver::PredefinedOpaquesStorage
- next_solver::Region
- next_solver::RegionAssumptions
- next_solver::RegionAssumptionsStorage
- next_solver::ScalarInt
- next_solver::SolverDefIds
- next_solver::SolverDefIdsStorage
- next_solver::StoredAllocation
- next_solver::StoredConst
- next_solver::StoredConsts
- next_solver::StoredEarlyBinder
- next_solver::StoredGenericArg
- next_solver::StoredGenericArgs
- next_solver::StoredPolyFnSig
- next_solver::StoredPredefinedOpaques
- next_solver::StoredRegion
- next_solver::StoredRegionAssumptions
- next_solver::StoredSolverDefIds
- next_solver::StoredTraitRef
- next_solver::StoredTy
- next_solver::StoredTys
- next_solver::Term
- next_solver::TraitAssocConstId
- next_solver::TraitAssocTermId
- next_solver::TraitAssocTyId
- next_solver::TraitIdWrapper
- next_solver::Ty
- next_solver::TypeAliasIdWrapper
- next_solver::Tys
- next_solver::TysStorage
- next_solver::ValTree
- next_solver::ValueConst
- next_solver::allocation::Allocation
- next_solver::allocation::AllocationData
- next_solver::allocation::AllocationInterned
- next_solver::allocation::StoredAllocation
- next_solver::binder::StoredEarlyBinder
- next_solver::binder::StoredPolyFnSig
- next_solver::binder::StoredTraitRef
- next_solver::consts::Const
- next_solver::consts::ConstInterned
- next_solver::consts::Consts
- next_solver::consts::ConstsStorage
- next_solver::consts::ExprConst
- next_solver::consts::ParamConst
- next_solver::consts::StoredConst
- next_solver::consts::StoredConsts
- next_solver::consts::valtree::CharTryFromScalarInt
- next_solver::consts::valtree::ScalarInt
- next_solver::consts::valtree::ValTree
- next_solver::consts::valtree::ValTreeInterned
- next_solver::consts::valtree::ValueConst
- next_solver::def_id::AdtIdWrapper
- next_solver::def_id::CallableIdWrapper
- next_solver::def_id::ClosureIdWrapper
- next_solver::def_id::CoroutineClosureIdWrapper
- next_solver::def_id::CoroutineIdWrapper
- next_solver::def_id::FreeConstAliasId
- next_solver::def_id::FreeTermAliasId
- next_solver::def_id::FreeTyAliasId
- next_solver::def_id::GeneralConstIdWrapper
- next_solver::def_id::ImplOrTraitAssocConstId
- next_solver::def_id::ImplOrTraitAssocTermId
- next_solver::def_id::ImplOrTraitAssocTyId
- next_solver::def_id::InherentAssocConstId
- next_solver::def_id::InherentAssocTermId
- next_solver::def_id::InherentAssocTyId
- next_solver::def_id::OpaqueTyIdWrapper
- next_solver::def_id::TraitAssocConstId
- next_solver::def_id::TraitAssocTermId
- next_solver::def_id::TraitAssocTyId
- next_solver::def_id::TraitIdWrapper
- next_solver::def_id::TypeAliasIdWrapper
- next_solver::fold::BoundVarReplacer
- next_solver::fold::FnMutDelegate
- next_solver::format_proof_tree::CandidateData
- next_solver::format_proof_tree::ProofTreeData
- next_solver::format_proof_tree::ProofTreeSerializer
- next_solver::fulfill::FulfillmentCtxt
- next_solver::fulfill::ObligationStorage
- next_solver::fulfill::StalledOnCoroutines
- next_solver::generic_arg::GenericArg
- next_solver::generic_arg::GenericArgImpl
- next_solver::generic_arg::GenericArgs
- next_solver::generic_arg::GenericArgsStorage
- next_solver::generic_arg::StoredGenericArg
- next_solver::generic_arg::StoredGenericArgs
- next_solver::generic_arg::Term
- next_solver::generics::Generics
- next_solver::infer::InferCtxt
- next_solver::infer::InferCtxtBuilder
- next_solver::infer::InferCtxtInner
- next_solver::infer::InferOk
- next_solver::infer::MemberConstraint
- next_solver::infer::TypeOutlivesConstraint
- next_solver::infer::TypeTrace
- next_solver::infer::at::At
- next_solver::infer::canonical::QueryRegionConstraints
- next_solver::infer::canonical::QueryResponse
- next_solver::infer::canonical::canonicalizer::CanonicalizeAllFreeRegions
- next_solver::infer::canonical::canonicalizer::CanonicalizeQueryResponse
- next_solver::infer::canonical::canonicalizer::CanonicalizeUserTypeAnnotation
- next_solver::infer::canonical::canonicalizer::Canonicalizer
- next_solver::infer::canonical::canonicalizer::OriginalQueryValues
- next_solver::infer::canonical::instantiate::CanonicalInstantiator
- next_solver::infer::errors::BestObligation
- next_solver::infer::errors::FulfillmentError
- next_solver::infer::errors::MismatchedProjectionTypes
- next_solver::infer::opaque_types::OpaqueHiddenType
- next_solver::infer::opaque_types::table::OpaqueTypeStorage
- next_solver::infer::opaque_types::table::OpaqueTypeStorageEntries
- next_solver::infer::opaque_types::table::OpaqueTypeTable
- next_solver::infer::region_constraints::RegionConstraintCollector
- next_solver::infer::region_constraints::RegionConstraintData
- next_solver::infer::region_constraints::RegionConstraintStorage
- next_solver::infer::region_constraints::RegionSnapshot
- next_solver::infer::region_constraints::RegionVariableInfo
- next_solver::infer::region_constraints::TwoRegions
- next_solver::infer::region_constraints::Verify
- next_solver::infer::region_constraints::VerifyIfEq
- next_solver::infer::relate::generalize::Generalization
- next_solver::infer::relate::generalize::Generalizer
- next_solver::infer::relate::lattice::LatticeOp
- next_solver::infer::relate::solver_relating::SolverRelating
- next_solver::infer::resolve::OpportunisticVarResolver
- next_solver::infer::resolve::ReplaceInferWithError
- next_solver::infer::select::ImplSourceUserDefinedData
- next_solver::infer::select::Select
- next_solver::infer::select::SignatureMismatchData
- next_solver::infer::snapshot::CombinedSnapshot
- next_solver::infer::snapshot::VariableLengths
- next_solver::infer::snapshot::fudge::InferenceFudger
- next_solver::infer::snapshot::fudge::SnapshotVarData
- next_solver::infer::snapshot::undo_log::InferCtxtUndoLogs
- next_solver::infer::snapshot::undo_log::Snapshot
- next_solver::infer::traits::Obligation
- next_solver::infer::traits::ObligationCause
- next_solver::infer::type_variable::TyVidEqKey
- next_solver::infer::type_variable::TyVidSubKey
- next_solver::infer::type_variable::TypeVariableStorage
- next_solver::infer::type_variable::TypeVariableSubValue
- next_solver::infer::type_variable::TypeVariableTable
- next_solver::infer::unify_key::ConstVidKey
- next_solver::infer::unify_key::RegionUnificationError
- next_solver::infer::unify_key::RegionVidKey
- next_solver::inspect::GoalEvaluation
- next_solver::inspect::InspectCandidate
- next_solver::inspect::InspectConfig
- next_solver::inspect::InspectGoal
- next_solver::inspect::NormalizesToTermHack
- next_solver::inspect::Probe
- next_solver::inspect::State
- next_solver::interner::AdtDef
- next_solver::interner::AdtFlags
- next_solver::interner::AllocId
- next_solver::interner::BoundVarKinds
- next_solver::interner::BoundVarKindsStorage
- next_solver::interner::CanonicalVarKinds
- next_solver::interner::CanonicalVarsStorage
- next_solver::interner::DbInterner
- next_solver::interner::DepNodeIndex
- next_solver::interner::Features
- next_solver::interner::PatList
- next_solver::interner::PatListStorage
- next_solver::interner::Pattern
- next_solver::interner::PatternInterned
- next_solver::interner::StoredBoundVarKinds
- next_solver::interner::StoredCanonicalVars
- next_solver::interner::StoredPatList
- next_solver::interner::StoredVariancesOf
- next_solver::interner::Symbol
- next_solver::interner::Tracked
- next_solver::interner::UnsizingParams
- next_solver::interner::VariancesOf
- next_solver::interner::VariancesOfStorage
- next_solver::interner::tls_cache::Cache
- next_solver::interner::tls_db::Attached
- next_solver::normalize::DeeplyNormalizeForDiagnosticsFolder
- next_solver::normalize::NormalizationFolder
- next_solver::obligation_ctxt::ObligationCtxt
- next_solver::opaques::ExternalConstraints
- next_solver::opaques::ExternalConstraintsInterned
- next_solver::opaques::PredefinedOpaques
- next_solver::opaques::PredefinedOpaquesStorage
- next_solver::opaques::SolverDefIds
- next_solver::opaques::SolverDefIdsStorage
- next_solver::opaques::StoredPredefinedOpaques
- next_solver::opaques::StoredSolverDefIds
- next_solver::predicate::BoundExistentialPredicates
- next_solver::predicate::BoundExistentialPredicatesStorage
- next_solver::predicate::Clause
- next_solver::predicate::Clauses
- next_solver::predicate::ClausesCachedTypeInfo
- next_solver::predicate::ClausesStorage
- next_solver::predicate::ParamEnv
- next_solver::predicate::ParamEnvAnd
- next_solver::predicate::Predicate
- next_solver::predicate::PredicateInterned
- next_solver::predicate::StoredBoundExistentialPredicates
- next_solver::predicate::StoredClauses
- next_solver::region::EarlyParamRegion
- next_solver::region::LateParamRegion
- next_solver::region::Region
- next_solver::region::RegionAssumptions
- next_solver::region::RegionAssumptionsStorage
- next_solver::region::RegionInterned
- next_solver::region::StoredRegion
- next_solver::region::StoredRegionAssumptions
- next_solver::solver::SolverContext
- next_solver::ty::ErrorGuaranteed
- next_solver::ty::ParamTy
- next_solver::ty::ReferencesOnlyTyError
- next_solver::ty::StoredTy
- next_solver::ty::StoredTys
- next_solver::ty::Ty
- next_solver::ty::TyInterned
- next_solver::ty::Tys
- next_solver::ty::TysStorage
- next_solver::util::BottomUpFolder
- next_solver::util::ContainsTypeErrors
- next_solver::util::Discr
- next_solver::util::MaxUniverse
- next_solver::util::PlaceholderReplacer
- solver_errors::SolverDiagnostic
- solver_errors::StoredTraitPredicate
- target_feature::TargetFeatures
- traits::ParamEnvAndCrate
- traits::StoredParamEnvAndCrate
- upvars::Upvars
- upvars::UpvarsRef
- utils::EnumerateAndAdjust
- variance::Context
Enums
- Adjust
- AutoBorrow
- ByRef
- CastError
- ExplicitDropMethodUseKind
- GenericArgsProhibitedReason
- ImplTraitId
- IncorrectGenericsLenKind
- InferBodyId
- InferenceDiagnostic
- InferenceTyDiagnosticSource
- LifetimeElisionKind
- LifetimeLoweringMode
- LoweringMode
- MemoryMap
- PathGenericsSource
- PathLoweringDiagnostic
- PointerCast
- ReturnKind
- Span
- TargetFeatureIsSafeInTarget
- TyDefId
- TyLoweringDiagnostic
- Unsafety
- ValueTyDefId
- autoderef::AutoderefKind
- closure_analysis::BorrowKind
- closure_analysis::FakeReadCause
- closure_analysis::PlaceBase
- closure_analysis::ProjectionKind
- closure_analysis::UpvarCapture
- consteval::ConstEvalError
- consteval::CreateConstError
- db::GeneralConstId
- diagnostics::BodyValidationDiagnostic
- diagnostics::CaseType
- diagnostics::InsideUnsafeBlock
- diagnostics::UnsafetyReason
- diagnostics::decl_check::CaseType
- diagnostics::decl_check::IdentType
- diagnostics::expr::BodyValidationDiagnostic
- diagnostics::expr::Expr
- diagnostics::expr::Pat
- diagnostics::expr::RecordSpread
- diagnostics::expr::Statement
- diagnostics::expr::VariantId
- diagnostics::match_check::PatKind
- diagnostics::match_check::PatternError
- diagnostics::match_check::pat_analysis::Void
- diagnostics::unsafe_check::InsideUnsafeBlock
- diagnostics::unsafe_check::UnsafeDiagnostic
- diagnostics::unsafe_check::UnsafetyReason
- display::ClosureStyle
- display::DisplayKind
- display::DisplayLifetime
- display::DisplaySourceCodeError
- display::HirDisplayError
- display::SizedByDefault
- drop::DropGlue
- dyn_compatibility::AllowSelfProjection
- dyn_compatibility::DynCompatibilityViolation
- dyn_compatibility::MethodViolationCode
- infer::Adjust
- infer::AllowTwoPhase
- infer::AutoBorrow
- infer::AutoBorrowMutability
- infer::BreakableKind
- infer::ByRef
- infer::CaptureSourceStackRepr
- infer::DerefPatBorrowMode
- infer::Diverges
- infer::Expectation
- infer::ExplicitDropMethodUseKind
- infer::InferenceDiagnostic
- infer::InferenceTyDiagnosticSource
- infer::PatAdjust
- infer::PointerCast
- infer::ReturnKind
- infer::UpvarCapture
- infer::callee::CallStep
- infer::cast::CastError
- infer::cast::CastTy
- infer::cast::Int
- infer::cast::PointerKind
- infer::closure::analysis::BorrowKind
- infer::closure::analysis::PlaceAncestryRelation
- infer::closure::analysis::UpvarArgs
- infer::closure::analysis::expr_use_visitor::CatPatternPat
- infer::closure::analysis::expr_use_visitor::FakeReadCause
- infer::closure::analysis::expr_use_visitor::PlaceBase
- infer::closure::analysis::expr_use_visitor::ProjectionKind
- infer::coerce::Expressions
- infer::expr::ExprIsRead
- infer::expr::TupleArgumentsFlag
- infer::fallback::DivergingFallbackBehavior
- infer::op::BinOpCategory
- infer::opaques::UsageKind
- infer::pat::AdjustMode
- infer::pat::InheritedRefMatchRule
- infer::pat::MutblCap
- infer::pat::PatOrigin
- infer::pat::PeelKind
- infer::pat::ResolvedPatKind
- infer::path::ValuePathResolution
- infer::place_op::PlaceOp
- layout::LayoutError
- lower::AssocTypeShorthandResolution
- lower::ForbidParamsAfterReason
- lower::GenericPredicateSource
- lower::ImplTraitLoweringMode
- lower::LifetimeElisionKind
- lower::LifetimeLoweringMode
- lower::LoweringMode
- lower::TyDefId
- lower::ValueTyDefId
- lower::diagnostics::GenericArgsProhibitedReason
- lower::diagnostics::IncorrectGenericsLenKind
- lower::diagnostics::PathGenericsSource
- lower::diagnostics::PathLoweringDiagnostic
- lower::diagnostics::TyLoweringDiagnostic
- lower::path::TypeLikeConst
- method_resolution::CandidateId
- method_resolution::CandidateKind
- method_resolution::CandidateSource
- method_resolution::MethodError
- method_resolution::Mode
- method_resolution::PickKind
- method_resolution::TreatNotYetDefinedOpaques
- method_resolution::probe::AutorefOrPtrAdjustment
- method_resolution::probe::CandidateKind
- method_resolution::probe::Mode
- method_resolution::probe::PickKind
- method_resolution::probe::ProbeResult
- mir::AggregateKind
- mir::BinOp
- mir::BorrowKind
- mir::CastKind
- mir::MirEvalError
- mir::MirLowerError
- mir::MirSpan
- mir::MutBorrowKind
- mir::MutabilityReason
- mir::OperandKind
- mir::ProjectionElem
- mir::Rvalue
- mir::StatementKind
- mir::TerminatorKind
- mir::UnOp
- mir::borrowck::MutabilityReason
- mir::borrowck::ProjectionCase
- mir::eval::Address
- mir::eval::IntValue
- mir::eval::IntervalOrOwned
- mir::eval::MirEvalError
- mir::eval::MirOrDynIndex
- mir::eval::shim::EvalLangItem
- mir::lower::MirLowerError
- mir::lower::pattern_matching::AdtPatternShape
- mir::lower::pattern_matching::MatchingMode
- mir::pretty::LocalName
- next_solver::AnyImplId
- next_solver::Ctor
- next_solver::Mutability
- next_solver::SolverDefId
- next_solver::TermId
- next_solver::TermVid
- next_solver::abi::Safety
- next_solver::def_id::AnyImplId
- next_solver::def_id::Ctor
- next_solver::def_id::SolverDefId
- next_solver::def_id::TermId
- next_solver::fulfill::NextSolverError
- next_solver::generic_arg::TermVid
- next_solver::infer::BoundRegionConversionTime
- next_solver::infer::TyOrConstInferVar
- next_solver::infer::ValuePairs
- next_solver::infer::errors::ChildMode
- next_solver::infer::errors::FulfillmentErrorCode
- next_solver::infer::region_constraints::CombineMapType
- next_solver::infer::region_constraints::Constraint
- next_solver::infer::region_constraints::GenericKind
- next_solver::infer::region_constraints::UndoLog
- next_solver::infer::region_constraints::VerifyBound
- next_solver::infer::relate::StructurallyRelateAliases
- next_solver::infer::relate::VarianceDiagInfo
- next_solver::infer::relate::lattice::LatticeOpKind
- next_solver::infer::relate::solver_relating::StructurallyRelateAliases
- next_solver::infer::relate::solver_relating::VarianceDiagInfo
- next_solver::infer::select::EvaluationResult
- next_solver::infer::select::ImplSource
- next_solver::infer::select::NotConstEvaluatable
- next_solver::infer::select::OverflowError
- next_solver::infer::select::SelectionError
- next_solver::infer::snapshot::undo_log::UndoLog
- next_solver::infer::type_variable::TypeVariableValue
- next_solver::infer::type_variable::UndoLog
- next_solver::infer::unify_key::ConstVariableValue
- next_solver::infer::unify_key::RegionVariableValue
- next_solver::inspect::ProbeKind
- next_solver::inspect::ProbeStep
- next_solver::interner::AdtDefInner
- primitive::BuiltinFloat
- primitive::BuiltinInt
- primitive::BuiltinUint
- primitive::FloatTy
- primitive::IntTy
- primitive::UintTy
- representability::Representability
- solver_errors::SolverDiagnosticKind
- traits::FnTrait
- traits::WherePredicateEvaluation
- utils::TargetFeatureIsSafeInTarget
- utils::Unsafety
Traits
- TyLoweringInferVarsCtx
- autoderef::AutoderefCtx
- autoderef::TrackAutoderefSteps
- db::HirDatabase
- diagnostics::match_check::pat_util::EnumerateAndAdjustIterator
- display::HirDisplay
- display::HirDisplayWithExpressionStore
- display::HirWrite
- infer::closure::analysis::expr_use_visitor::Delegate
- infer::coerce::CoerceDelegate
- lower::TyLoweringInferVarsCtx
- lower::path::GenericArgsLowerer
- method_resolution::probe::ProbeChoice
- next_solver::fold::BoundVarReplacerDelegate
- next_solver::generic_arg::GenericArgsBuilder
- next_solver::infer::DbInternerInferExt
- next_solver::infer::at::ToTrace
- next_solver::infer::canonical::canonicalizer::CanonicalizeMode
- next_solver::infer::canonical::instantiate::CanonicalExt
- next_solver::infer::relate::PredicateEmittingRelation
- next_solver::infer::relate::Relate
- next_solver::infer::relate::TypeRelation
- next_solver::infer::relate::combine::PredicateEmittingRelation
- next_solver::infer::relate::solver_relating::Relate
- next_solver::infer::relate::solver_relating::RelateExt
- next_solver::infer::relate::solver_relating::TypeRelation
- next_solver::inspect::ProofTreeVisitor
- next_solver::interner::WorldExposer
- next_solver::util::CoroutineArgsExt
- next_solver::util::FloatExt
- next_solver::util::IntegerExt
- next_solver::util::IntegerTypeExt
- next_solver::util::PrimitiveExt
- utils::EnumerateAndAdjustIterator
Macros
- mir::eval::checked_int_op
- mir::eval::for_each_int_type
- mir::eval::from_bytes
- mir::eval::int_bit_shifts
- mir::eval::not_supported
- mir::eval::unchecked_int_op
- mir::lower::implementation_error
- mir::lower::not_supported
- mir::lower::pattern_matching::not_supported
- mir::pretty::w
- mir::pretty::wln
- next_solver::consts::valtree::from_scalar_int_for_x
- next_solver::consts::valtree::from_scalar_int_for_x_signed
- next_solver::consts::valtree::from_x_for_scalar_int
- next_solver::consts::valtree::from_x_for_scalar_int_signed
- next_solver::def_id::declare_id_wrapper
- next_solver::def_id::declare_id_wrapper_with_lt
- next_solver::def_id::declare_ty_const_pair
- next_solver::infer::snapshot::undo_log::impl_from
- next_solver::interner::TrivialTypeTraversalImpls
- next_solver::interner::as_lang_item
- next_solver::interner::impl_foldable_for_interned_slice
- next_solver::interner::impl_gc_visit
- next_solver::interner::impl_gc_visit_slice
- next_solver::interner::impl_stored_interned
- next_solver::interner::impl_stored_interned_slice
- next_solver::interner::interned_slice
- next_solver::interner::is_lang_item
- representability::rtry
Functions
- all_super_traits
- associated_type_shorthand_candidates
- autoderef::autoderef
- autoderef::structurally_normalize_ty
- builtin_derive::coerce_pointee_new_type_param
- builtin_derive::coerce_pointee_params
- builtin_derive::extend_assoc_type_bounds
- builtin_derive::generic_params_count
- builtin_derive::generics_of
- builtin_derive::impl_trait
- builtin_derive::param_env
- builtin_derive::predicates
- builtin_derive::replace_pointee
- builtin_derive::simple_trait_predicates
- builtin_derive::trait_args
- callable_sig_from_fn_trait
- collect_params
- consteval::allocation_as_isize
- consteval::allocation_as_usize
- consteval::anon_const_eval
- consteval::const_eval
- consteval::const_eval_discriminant_cycle_result
- consteval::const_eval_discriminant_variant
- consteval::const_eval_static
- consteval::create_anon_const
- consteval::intern_const_ref
- consteval::literal_ty
- consteval::path_to_const
- consteval::try_const_isize
- consteval::try_const_usize
- consteval::usize_const
- could_coerce
- could_unify
- could_unify_deeply
- diagnostics::decl_check::case_conv::is_camel_case
- diagnostics::decl_check::case_conv::is_lower_snake_case
- diagnostics::decl_check::case_conv::is_snake_case
- diagnostics::decl_check::case_conv::is_upper_snake_case
- diagnostics::decl_check::case_conv::to_camel_case
- diagnostics::decl_check::case_conv::to_lower_snake_case
- diagnostics::decl_check::case_conv::to_upper_snake_case
- diagnostics::decl_check::incorrect_case
- diagnostics::expr::missing_match_arms
- diagnostics::expr::record_literal_missing_fields
- diagnostics::expr::record_pattern_missing_fields
- diagnostics::expr::types_of_subpatterns_do_match
- diagnostics::incorrect_case
- diagnostics::missing_unsafe
- diagnostics::record_literal_missing_fields
- diagnostics::record_pattern_missing_fields
- diagnostics::unsafe_check::missing_unsafe
- diagnostics::unsafe_check::unsafe_operations
- diagnostics::unsafe_check::unsafe_operations_for_body
- diagnostics::unsafe_operations
- diagnostics::unsafe_operations_for_body
- direct_super_traits
- display::async_gen_item_ty_from_yield_ty
- display::generic_args_sans_defaults
- display::hir_display_with_store
- display::hir_fmt_generic_args
- display::hir_fmt_generic_arguments
- display::hir_fmt_generics
- display::hir_fmt_tys
- display::render_const_scalar
- display::render_const_scalar_from_valtree
- display::render_const_scalar_from_valtree_inner
- display::render_const_scalar_inner
- display::render_variant_after_name
- display::trait_bounds_need_parens
- display::write_bounds_like_dyn_trait
- display::write_bounds_like_dyn_trait_with_prefix
- display::write_params_bounds
- display::write_projection
- display::write_visibility
- drop::destructor
- drop::has_drop_glue
- drop::has_drop_glue_impl
- dyn_compatibility::bounds_reference_self
- dyn_compatibility::contains_illegal_impl_trait_in_trait
- dyn_compatibility::contains_illegal_self_type_reference
- dyn_compatibility::dyn_compatibility
- dyn_compatibility::dyn_compatibility_of_trait_query
- dyn_compatibility::dyn_compatibility_of_trait_with_callback
- dyn_compatibility::dyn_compatibility_violation_for_assoc_item
- dyn_compatibility::dyn_compatibility_with_callback
- dyn_compatibility::generics_require_sized_self
- dyn_compatibility::predicate_references_self
- dyn_compatibility::predicates_reference_self
- dyn_compatibility::receiver_for_self_ty
- dyn_compatibility::receiver_is_dispatchable
- dyn_compatibility::virtual_call_violations_for_method
- generics::generics
- generics::parent_generic_def
- infer::cast::pointer_kind
- infer::closure::analysis::adjust_for_move_closure
- infer::closure::analysis::adjust_for_non_move_closure
- infer::closure::analysis::analyze_coroutine_closure_captures
- infer::closure::analysis::apply_capture_kind_on_capture_ty
- infer::closure::analysis::child_prefix_matches_parent_projections
- infer::closure::analysis::determine_capture_info
- infer::closure::analysis::determine_capture_sources
- infer::closure::analysis::determine_place_ancestry_relation
- infer::closure::analysis::enable_precise_capture
- infer::closure::analysis::restrict_capture_precision
- infer::closure::analysis::restrict_precision_for_drop_types
- infer::closure::analysis::restrict_precision_for_unsafe
- infer::closure::analysis::restrict_repr_packed_field_ref_capture
- infer::closure::analysis::should_reborrow_from_env_of_parent_coroutine_closure
- infer::closure::analysis::truncate_capture_for_optimization
- infer::closure::analysis::truncate_place_to_len_and_update_capture_kind
- infer::coerce::coerce
- infer::coerce::coerce_mutbls
- infer::coerce::could_coerce
- infer::coerce::is_capturing_closure
- infer::coerce::success
- infer::find_breakable
- infer::find_continuable
- infer::infer_anon_const_cycle_result
- infer::infer_anon_const_query
- infer::infer_cycle_result
- infer::infer_finalize
- infer::infer_query
- infer::infer_query_with_inspect
- infer::op::deref_ty_if_possible
- infer::op::is_builtin_binop
- infer::op::is_op_by_value
- infer::unify::could_unify
- infer::unify::could_unify_deeply
- infer::unify::could_unify_impl
- infer_query_with_inspect
- inhabitedness::is_enum_variant_uninhabited_from
- inhabitedness::is_ty_uninhabited_from
- is_fn_unsafe_to_call
- known_const_to_ast
- lang_items::lang_items_for_bin_op
- layout::adt::layout_of_adt_cycle_result
- layout::adt::layout_of_adt_query
- layout::adt::repr_discr
- layout::extract_const_value
- layout::field_ty
- layout::layout_of_adt_query
- layout::layout_of_simd_ty
- layout::layout_of_ty_cycle_result
- layout::layout_of_ty_query
- layout::scalar_unit
- layout::struct_tail_erasing_lifetimes
- layout::target::target_data_layout_query
- layout::target_data_layout_query
- lifetime_param_idx
- lower::associated_ty_item_bounds
- lower::associated_type_by_name_including_super_traits_allow_ambiguity
- lower::callable_item_signature
- lower::callable_item_signature_with_diagnostics
- lower::const_param_ty
- lower::const_param_types
- lower::const_param_types_with_diagnostics
- lower::const_param_types_with_diagnostics_cycle_result
- lower::field_types_query
- lower::field_types_with_diagnostics
- lower::fn_sig_for_enum_variant_constructor
- lower::fn_sig_for_fn
- lower::fn_sig_for_struct_constructor
- lower::generic_defaults
- lower::generic_defaults_with_diagnostics
- lower::generic_defaults_with_diagnostics_cycle_result
- lower::generic_predicates
- lower::generic_predicates_cycle_result
- lower::impl_self_ty_query
- lower::impl_self_ty_with_diagnostics
- lower::impl_self_ty_with_diagnostics_cycle_result
- lower::impl_trait_query
- lower::impl_trait_with_diagnostics
- lower::lower_mutability
- lower::param_env_from_predicates
- lower::path::check_generic_args_len
- lower::path::substs_from_args_and_bindings
- lower::path::type_looks_like_const
- lower::push_const_arg_has_type_predicates
- lower::replace_dummy_self_with_error
- lower::resolve_type_param_assoc_type_shorthand
- lower::resolve_type_param_assoc_type_shorthand_cycle_result
- lower::trait_environment
- lower::ty_query
- lower::type_alias_bounds
- lower::type_alias_bounds_with_diagnostics
- lower::type_alias_self_bounds
- lower::type_for_adt
- lower::type_for_const
- lower::type_for_const_with_diagnostics
- lower::type_for_enum_variant_constructor
- lower::type_for_fn
- lower::type_for_static
- lower::type_for_static_with_diagnostics
- lower::type_for_struct_constructor
- lower::type_for_type_alias_with_diagnostics
- lower::type_for_type_alias_with_diagnostics_cycle_result
- lower::value_ty
- method_resolution::crates_containing_incoherent_inherent_impls
- method_resolution::find_matching_impl
- method_resolution::is_dyn_method
- method_resolution::lookup_impl_assoc_item_for_trait_ref
- method_resolution::lookup_impl_const
- method_resolution::lookup_impl_method_query
- method_resolution::probe::is_relevant_kind_for_mode
- method_resolution::self_ty_has_error_constructor
- method_resolution::simplified_type_module
- method_resolution::with_incoherent_inherent_impls
- mir::borrowck::all_mir_bodies
- mir::borrowck::borrow_regions
- mir::borrowck::ever_initialized_map
- mir::borrowck::moved_out_of_ref
- mir::borrowck::mutability_of_locals
- mir::borrowck::partially_moved
- mir::borrowck::place_case
- mir::borrowck::push_mut_span
- mir::borrowck::record_usage
- mir::borrowck::record_usage_for_operand
- mir::eval::interpret_mir
- mir::eval::pad16
- mir::eval::render_const_using_debug_impl
- mir::interpret_mir
- mir::lower::cast_kind
- mir::lower::convert_closure_capture_projections
- mir::lower::lower_body_to_mir
- mir::lower::lower_to_mir_with_store
- mir::lower::mir_body_cycle_result
- mir::lower::mir_body_for_closure_cycle_result
- mir::lower::mir_body_for_closure_query
- mir::lower::mir_body_query
- mir::lower_body_to_mir
- mir::lower_to_mir_with_store
- mir::mir_body_for_closure_query
- mir::mir_body_query
- mir::monomorphization::monomorphized_mir_body_cycle_result
- mir::monomorphization::monomorphized_mir_body_for_closure_cycle_result
- mir::monomorphization::monomorphized_mir_body_for_closure_query
- mir::monomorphization::monomorphized_mir_body_query
- mir::monomorphized_mir_body_for_closure_query
- mir::monomorphized_mir_body_query
- mir::pad16
- mir::render_const_using_debug_impl
- mir::return_slot
- next_solver::consts::valtree::allocation_to_const
- next_solver::default_types
- next_solver::error_for_param_kind
- next_solver::fold::fold_tys
- next_solver::format_proof_tree::dump_proof_tree_structured
- next_solver::generic_arg::error_for_param_kind
- next_solver::generic_arg::mk_param
- next_solver::generics::generics
- next_solver::infer::canonical::instantiate::instantiate_value
- next_solver::infer::errors::derive_cause
- next_solver::infer::errors::derive_host_cause
- next_solver::infer::errors::find_best_leaf_obligation
- next_solver::infer::errors::fulfillment_error_for_no_solution
- next_solver::infer::errors::fulfillment_error_for_overflow
- next_solver::infer::errors::fulfillment_error_for_stalled
- next_solver::infer::iter_idx_range
- next_solver::infer::relate::combine::combine_ty_args
- next_solver::infer::relate::combine::super_combine_consts
- next_solver::infer::relate::combine::super_combine_tys
- next_solver::infer::relate::relate_args_invariantly
- next_solver::infer::relate::relate_args_with_variances
- next_solver::infer::relate::solver_relating::relate_args_invariantly
- next_solver::infer::relate::solver_relating::relate_args_with_variances
- next_solver::infer::relate::solver_relating::structurally_relate_consts
- next_solver::infer::relate::solver_relating::structurally_relate_tys
- next_solver::infer::relate::structurally_relate_consts
- next_solver::infer::relate::structurally_relate_tys
- next_solver::infer::select::candidate_should_be_dropped_in_favor_of
- next_solver::infer::select::to_selection
- next_solver::infer::snapshot::fudge::const_vars_since_snapshot
- next_solver::infer::snapshot::fudge::vars_since_snapshot
- next_solver::infer::traits::pred_known_to_hold_modulo_regions
- next_solver::infer::traits::type_known_to_meet_bound_modulo_regions
- next_solver::interner::attach_db
- next_solver::interner::attach_db_allow_change
- next_solver::interner::clear_tls_solver_cache
- next_solver::interner::collect_ty_garbage
- next_solver::interner::is_clause_at_ty
- next_solver::interner::is_ty_self
- next_solver::interner::predicates_of
- next_solver::interner::tls_cache::borrow_assume_valid
- next_solver::interner::tls_cache::clear_tls_solver_cache
- next_solver::interner::tls_cache::reinit_cache
- next_solver::interner::tls_db::attach_db
- next_solver::interner::tls_db::attach_db_allow_change
- next_solver::interner::tls_db::with_attached_db
- next_solver::interner::with_attached_db
- next_solver::mk_param
- next_solver::normalize::deeply_normalize
- next_solver::normalize::deeply_normalize_for_diagnostics
- next_solver::normalize::deeply_normalize_with_skipped_universes
- next_solver::normalize::deeply_normalize_with_skipped_universes_and_ambiguous_coroutine_goals
- next_solver::predicate::stable_cmp_existential_predicate
- next_solver::references_non_lt_error
- next_solver::references_only_ty_error
- next_solver::ty::references_non_lt_error
- next_solver::ty::references_only_ty_error
- next_solver::util::apply_args_to_binder
- next_solver::util::clauses_as_obligations
- next_solver::util::explicit_item_bounds
- next_solver::util::explicit_item_self_bounds
- next_solver::util::sizedness_constraint_for_ty
- next_solver::util::sizedness_fast_path
- next_solver::util::upcast_choices
- opaques::opaque_types_defined_by
- opaques::rpit_hidden_types
- opaques::tait_defining_bodies
- opaques::tait_hidden_types
- primitive::float_ty_to_string
- primitive::int_ty_to_string
- primitive::uint_ty_to_string
- replace_errors_with_variables
- representability::params_in_repr
- representability::params_in_repr_ty
- representability::representability
- representability::representability_adt_ty
- representability::representability_cycle
- representability::representability_ty
- representability::variant_representability
- setup_tracing
- solver_errors::handle_trait_unimplemented
- specialization::specializes
- specialization::specializes_query
- specialization::specializes_query_cycle
- target_feature_is_safe_in_target
- traits::check_orphan_rules
- traits::implements_trait_unique
- traits::implements_trait_unique_with_args
- traits::implements_trait_unique_with_infcx
- traits::is_inherent_impl_coherent
- traits::structurally_normalize_ty
- traits::where_predicate_must_hold
- type_or_const_param_idx
- upvars::resolve_maybe_upvar
- upvars::upvars_mentioned
- upvars::upvars_mentioned_impl
- utils::all_super_traits
- utils::detect_variant_from_bytes
- utils::direct_super_traits
- utils::fn_traits
- utils::is_fn_unsafe_to_call
- utils::target_feature_is_safe_in_target
- variance::glb
- variance::variances_of
- variance::variances_of_cycle_fn
- variance::variances_of_cycle_initial
- variance::variances_of_query
Type Aliases
- autoderef::Autoderef
- autoderef::InferenceContextAutoderef
- diagnostics::expr::ExprId
- diagnostics::expr::LocalFieldId
- diagnostics::expr::PatId
- diagnostics::match_check::pat_analysis::DeconstructedPat
- diagnostics::match_check::pat_analysis::MatchArm
- diagnostics::match_check::pat_analysis::WitnessPat
- display::Result
- infer::MinCaptureList
- infer::RootVariableMinCaptureList
- infer::closure::analysis::InferredCaptureInformation
- infer::closure::analysis::expr_use_visitor::Result
- infer::coerce::CoerceResult
- infer::coerce::DynamicCoerceMany
- layout::Layout
- layout::TagEncoding
- layout::Variants
- lower::ImplTraitIdx
- lower::path::CallbackData
- method_resolution::probe::PickResult
- mir::BasicBlockId
- mir::LocalId
- mir::PlaceElem
- mir::eval::Result
- mir::lower::Result
- next_solver::AliasTermKind
- next_solver::AliasTy
- next_solver::AliasTyKind
- next_solver::Binder
- next_solver::BoundConst
- next_solver::BoundRegion
- next_solver::BoundRegionKind
- next_solver::BoundTy
- next_solver::BoundTyKind
- next_solver::Canonical
- next_solver::CanonicalQueryInput
- next_solver::CanonicalVarKind
- next_solver::CanonicalVarValues
- next_solver::ConstKind
- next_solver::EarlyBinder
- next_solver::ExternalConstraintsData
- next_solver::FnHeader
- next_solver::FnSig
- next_solver::FnSigKind
- next_solver::FxIndexMap
- next_solver::GenericArgKind
- next_solver::Goal
- next_solver::ImplTraitIdx
- next_solver::OpaqueTypeKey
- next_solver::PlaceholderConst
- next_solver::PlaceholderRegion
- next_solver::PlaceholderType
- next_solver::PolyFnSig
- next_solver::QueryResult
- next_solver::RegionConstraint
- next_solver::RegionKind
- next_solver::SimplifiedType
- next_solver::TermKind
- next_solver::TyKind
- next_solver::TypeError
- next_solver::TypingMode
- next_solver::UnevaluatedConst
- next_solver::Unnormalized
- next_solver::ValTreeKind
- next_solver::consts::BoundConst
- next_solver::consts::ConstKind
- next_solver::consts::PlaceholderConst
- next_solver::consts::UnevaluatedConst
- next_solver::consts::valtree::ValTreeKind
- next_solver::fulfill::PendingObligations
- next_solver::generic_arg::GenericArgKind
- next_solver::generic_arg::TermKind
- next_solver::infer::InferResult
- next_solver::infer::UnificationTable
- next_solver::infer::canonical::QueryOutlivesConstraint
- next_solver::infer::region_constraints::CombineMap
- next_solver::infer::region_constraints::VarInfos
- next_solver::infer::relate::RelateResult
- next_solver::infer::relate::solver_relating::RelateResult
- next_solver::infer::select::Selection
- next_solver::infer::select::SelectionResult
- next_solver::infer::traits::ObligationInspector
- next_solver::infer::traits::PredicateObligation
- next_solver::infer::traits::PredicateObligations
- next_solver::infer::traits::TraitObligation
- next_solver::inspect::CanonicalState
- next_solver::interner::BoundVariableKind
- next_solver::interner::PatternKind
- next_solver::opaques::ExternalConstraintsData
- next_solver::opaques::OpaqueTypeKey
- next_solver::opaques::PredefinedOpaque
- next_solver::predicate::AliasTerm
- next_solver::predicate::ArgOutlivesPredicate
- next_solver::predicate::BoundExistentialPredicate
- next_solver::predicate::ClauseKind
- next_solver::predicate::CoercePredicate
- next_solver::predicate::ExistentialPredicate
- next_solver::predicate::ExistentialProjection
- next_solver::predicate::ExistentialTraitRef
- next_solver::predicate::HostEffectPredicate
- next_solver::predicate::NormalizesTo
- next_solver::predicate::OutlivesPredicate
- next_solver::predicate::PolyCoercePredicate
- next_solver::predicate::PolyExistentialProjection
- next_solver::predicate::PolyExistentialTraitRef
- next_solver::predicate::PolyProjectionPredicate
- next_solver::predicate::PolyRegionOutlivesPredicate
- next_solver::predicate::PolySubtypePredicate
- next_solver::predicate::PolyTraitPredicate
- next_solver::predicate::PolyTraitRef
- next_solver::predicate::PolyTypeOutlivesPredicate
- next_solver::predicate::PredicateKind
- next_solver::predicate::ProjectionPredicate
- next_solver::predicate::RegionOutlivesPredicate
- next_solver::predicate::SubtypePredicate
- next_solver::predicate::TraitPredicate
- next_solver::predicate::TraitRef
- next_solver::predicate::TypeOutlivesPredicate
- next_solver::region::BoundRegion
- next_solver::region::BoundRegionKind
- next_solver::region::GenericArgOutlivesPredicate
- next_solver::region::PlaceholderRegion
- next_solver::region::RegionConstraint
- next_solver::region::RegionKind
- next_solver::solver::Goal
- next_solver::ty::AliasTermKind
- next_solver::ty::AliasTyKind
- next_solver::ty::BoundTy
- next_solver::ty::BoundTyKind
- next_solver::ty::FnHeader
- next_solver::ty::FnSigKind
- next_solver::ty::PlaceholderType
- next_solver::ty::SimplifiedType
- next_solver::ty::TyKind
Statics
Constants
- autoderef::AUTODEREF_RECURSION_LIMIT
- display::TYPE_HINT_TRUNCATION
- inhabitedness::BREAK_VISIBLY_UNINHABITED
- inhabitedness::CONTINUE_OPAQUELY_INHABITED
- mir::eval::EXECUTION_LIMIT
- mir::eval::HEAP_OFFSET
- mir::eval::STACK_OFFSET
- next_solver::interner::tls_cache::GLOBAL_CACHE
- next_solver::interner::tls_db::GLOBAL_DB
- target_feature::TARGET_FEATURE_IMPLICATIONS_RAW