List of all items

Structs

• infer::CombinedSnapshot
• infer::InferCtxt
• infer::InferCtxtBuilder
• infer::InferCtxtInner
• infer::InferOk
• infer::RegionObligation
• infer::ShallowResolver
• infer::TypeFreshener
• infer::TypeTrace
• infer::at::At
• infer::at::Trace
• infer::canonical::Canonical
• infer::canonical::CanonicalVarInfo
• infer::canonical::CanonicalVarValues
• infer::canonical::OriginalQueryValues
• infer::canonical::QueryRegionConstraints
• infer::canonical::QueryResponse
• infer::canonical::canonicalizer::CanonicalizeAllFreeRegions
• infer::canonical::canonicalizer::CanonicalizeFreeRegionsOtherThanStatic
• infer::canonical::canonicalizer::CanonicalizeQueryResponse
• infer::canonical::canonicalizer::CanonicalizeUserTypeAnnotation
• infer::canonical::canonicalizer::Canonicalizer
• infer::canonical::query_response::QueryTypeRelatingDelegate
• infer::combine::CombineFields
• infer::combine::ConstInferUnifier
• infer::combine::Generalization
• infer::combine::Generalizer
• infer::equate::Equate
• infer::error_reporting::need_type_info::FindHirNodeVisitor
• infer::error_reporting::need_type_info::InferenceDiagnosticsData
• infer::error_reporting::need_type_info::InferenceDiagnosticsParentData
• infer::error_reporting::nice_region_error::NiceRegionError
• infer::error_reporting::nice_region_error::find_anon_type::FindNestedTypeVisitor
• infer::error_reporting::nice_region_error::find_anon_type::TyPathVisitor
• infer::error_reporting::nice_region_error::static_impl_trait::HirTraitObjectVisitor
• infer::error_reporting::nice_region_error::static_impl_trait::TraitObjectVisitor
• infer::error_reporting::nice_region_error::trait_impl_difference::TypeParamSpanVisitor
• infer::error_reporting::nice_region_error::util::AnonymousParamInfo
• infer::free_regions::FreeRegionMap
• infer::free_regions::RegionRelations
• infer::freshen::TypeFreshener
• infer::fudge::InferenceFudger
• infer::fudge::VariableLengths
• infer::glb::Glb
• infer::lexical_region_resolve::LexicalRegionResolutions
• infer::lexical_region_resolve::LexicalResolver
• infer::lexical_region_resolve::RegionAndOrigin
• infer::lub::Lub
• infer::nll_relate::BoundRegionScope
• infer::nll_relate::ScopeInstantiator
• infer::nll_relate::TypeGeneralizer
• infer::nll_relate::TypeRelating
• infer::nll_relate::UniversallyQuantified
• infer::opaque_types::OpaqueTypeDecl
• infer::outlives::env::OutlivesEnvironment
• infer::outlives::obligations::TypeOutlives
• infer::outlives::verify::VerifyBoundCx
• infer::region_constraints::MemberConstraint
• infer::region_constraints::RegionConstraintCollector
• infer::region_constraints::RegionConstraintData
• infer::region_constraints::RegionConstraintStorage
• infer::region_constraints::RegionSnapshot
• infer::region_constraints::RegionVariableInfo
• infer::region_constraints::TwoRegions
• infer::region_constraints::Verify
• infer::region_constraints::leak_check::LeakCheck
• infer::region_constraints::leak_check::LeakCheckNode
• infer::region_constraints::leak_check::LeakCheckScc
• infer::region_constraints::leak_check::MiniGraph
• infer::region_constraints::leak_check::SccUniverse
• infer::resolve::FullTypeResolver
• infer::resolve::OpportunisticRegionResolver
• infer::resolve::OpportunisticVarResolver
• infer::resolve::UnresolvedTypeFinder
• infer::sub::Sub
• infer::type_variable::Delegate
• infer::type_variable::Instantiate
• infer::type_variable::TyVidEqKey
• infer::type_variable::TypeVariableData
• infer::type_variable::TypeVariableOrigin
• infer::type_variable::TypeVariableStorage
• infer::type_variable::TypeVariableTable
• infer::undo_log::InferCtxtUndoLogs
• infer::undo_log::Snapshot
• infer::unify_key::ConstVarValue
• infer::unify_key::ConstVariableOrigin
• infer::unify_key::RegionVidKey
• infer::unify_key::UnifiedRegion
• traits::ChalkEnvironmentAndGoal
• traits::ChalkRustInterner
• traits::DerivedObligationCause
• traits::FulfillmentError
• traits::IfExpressionCause
• traits::ImplSourceAutoImplData
• traits::ImplSourceBuiltinData
• traits::ImplSourceClosureData
• traits::ImplSourceConstDropData
• traits::ImplSourceDiscriminantKindData
• traits::ImplSourceFnPointerData
• traits::ImplSourceGeneratorData
• traits::ImplSourceObjectData
• traits::ImplSourcePointeeData
• traits::ImplSourceTraitAliasData
• traits::ImplSourceTraitUpcastingData
• traits::ImplSourceUserDefinedData
• traits::MatchExpressionArmCause
• traits::MismatchedProjectionTypes
• traits::Normalized
• traits::Obligation
• traits::ObligationCause
• traits::ObligationCauseData
• traits::ProjectionCache
• traits::ProjectionCacheKey
• traits::ProjectionCacheStorage
• traits::UnifyReceiverContext
• traits::project::MismatchedProjectionTypes
• traits::project::Normalized
• traits::project::ProjectionCache
• traits::project::ProjectionCacheKey
• traits::project::ProjectionCacheStorage
• traits::query::CandidateStep
• traits::query::DropckOutlivesResult
• traits::query::DtorckConstraint
• traits::query::MethodAutoderefBadTy
• traits::query::MethodAutoderefStepsResult
• traits::query::NoSolution
• traits::query::NormalizationResult
• traits::query::type_op::AscribeUserType
• traits::query::type_op::Eq
• traits::query::type_op::Normalize
• traits::query::type_op::ProvePredicate
• traits::query::type_op::Subtype
• traits::specialization_graph::Ancestors
• traits::specialization_graph::Children
• traits::specialization_graph::Graph
• traits::specialization_graph::LeafDef
• traits::util::Elaborator
• traits::util::FilterToTraits
• traits::util::PredicateSet

Enums

• infer::FixupError
• infer::IntVarValue
• infer::LateBoundRegionConversionTime
• infer::NllRegionVariableOrigin
• infer::RegionResolutionError
• infer::RegionVariableOrigin
• infer::RegionckMode
• infer::SubregionOrigin
• infer::TyOrConstInferVar
• infer::ValuePairs
• infer::canonical::CanonicalTyVarKind
• infer::canonical::CanonicalVarKind
• infer::canonical::Certainty
• infer::combine::RelationDir
• infer::error_reporting::FailureCode
• infer::error_reporting::TyCategory
• infer::error_reporting::TypeAnnotationNeeded
• infer::error_reporting::need_type_info::TypeAnnotationNeeded
• infer::error_reporting::need_type_info::UnderspecifiedArgKind
• infer::error_reporting::need_type_info::UseDiagnostic
• infer::lexical_region_resolve::RegionResolutionError
• infer::lexical_region_resolve::VarValue
• infer::nll_relate::NormalizationStrategy
• infer::outlives::components::Component
• infer::region_constraints::CombineMapType
• infer::region_constraints::Constraint
• infer::region_constraints::GenericKind
• infer::region_constraints::UndoLog
• infer::region_constraints::VerifyBound
• infer::type_variable::TypeVariableOriginKind
• infer::type_variable::TypeVariableValue
• infer::type_variable::UndoLog
• infer::undo_log::UndoLog
• infer::unify_key::ConstVariableOriginKind
• infer::unify_key::ConstVariableValue
• traits::EvaluationResult
• traits::FulfillmentErrorCode
• traits::ImplSource
• traits::MethodViolationCode
• traits::ObjectSafetyViolation
• traits::ObligationCauseCode
• traits::OverflowError
• traits::ProjectionCacheEntry
• traits::Reveal
• traits::SelectionError
• traits::StatementAsExpression
• traits::WellFormedLoc
• traits::project::ProjectionCacheEntry
• traits::project::Reveal
• traits::query::OutlivesBound
• traits::select::EvaluationResult
• traits::select::OverflowError
• traits::select::SelectionCandidate
• traits::specialization_graph::Node

Traits

• infer::TyCtxtInferExt
• infer::at::ToTrace
• infer::canonical::canonicalizer::CanonicalizeRegionMode
• infer::canonical::substitute::CanonicalExt
• infer::combine::ConstEquateRelation
• infer::combine::RelateResultCompare
• infer::error_reporting::ObligationCauseExt
• infer::lattice::LatticeDir
• infer::nll_relate::TypeRelatingDelegate
• infer::nll_relate::VidValuePair
• infer::outlives::obligations::TypeOutlivesDelegate
• infer::unify_key::ToType
• traits::TraitEngine
• traits::TraitEngineExt
• traits::engine::TraitEngine
• traits::engine::TraitEngineExt

Macros

• infer::undo_log::impl_from

Functions

• infer::canonical::query_response::make_query_region_constraints
• infer::canonical::substitute::substitute_value
• infer::combine::const_unification_error
• infer::combine::float_unification_error
• infer::combine::int_unification_error
• infer::error_reporting::emit_msg_span
• infer::error_reporting::explain_free_region
• infer::error_reporting::label_msg_span
• infer::error_reporting::msg_span_from_early_bound_and_free_regions
• infer::error_reporting::msg_span_from_free_region
• infer::error_reporting::need_type_info::closure_args
• infer::error_reporting::need_type_info::closure_return_type_suggestion
• infer::error_reporting::nice_region_error::find_anon_type::find_anon_type
• infer::error_reporting::nice_region_error::find_anon_type::find_component_for_bound_region
• infer::error_reporting::nice_region_error::static_impl_trait::suggest_new_region_bound
• infer::error_reporting::nice_region_error::suggest_new_region_bound
• infer::error_reporting::note_and_explain_region
• infer::error_reporting::unexpected_hidden_region_diagnostic
• infer::fudge::const_vars_since_snapshot
• infer::fudge::vars_since_snapshot
• infer::lattice::super_lattice_tys
• infer::lexical_region_resolve::resolve
• infer::outlives::components::compute_components
• infer::outlives::components::compute_components_recursive
• infer::outlives::components::push_outlives_components
• infer::outlives::explicit_outlives_bounds
• infer::resolve::fully_resolve
• infer::unify_key::replace_if_possible
• traits::error_reporting::report_object_safety_error
• traits::specialization_graph::ancestors
• traits::util::anonymize_predicate
• traits::util::elaborate_obligations
• traits::util::elaborate_predicates
• traits::util::elaborate_trait_ref
• traits::util::elaborate_trait_refs
• traits::util::predicate_obligation
• traits::util::supertraits
• traits::util::transitive_bounds
• traits::util::transitive_bounds_that_define_assoc_type

Typedefs

• infer::Bound
• infer::FixupResult
• infer::InferResult
• infer::UnificationTable
• infer::UnitResult
• infer::canonical::CanonicalVarInfos
• infer::canonical::Canonicalized
• infer::canonical::CanonicalizedQueryResponse
• infer::canonical::QueryOutlivesConstraint
• infer::lexical_region_resolve::RegionGraph
• infer::opaque_types::OpaqueTypeMap
• infer::outlives::env::RegionBoundPairs
• infer::region_constraints::CombineMap
• infer::region_constraints::VarInfos
• traits::CanonicalChalkEnvironmentAndGoal
• traits::EvaluationCache
• traits::NormalizedTy
• traits::PredicateObligation
• traits::PredicateObligations
• traits::Selection
• traits::SelectionCache
• traits::SelectionResult
• traits::TraitObligation
• traits::project::NormalizedTy
• traits::project::UndoLog
• traits::query::CanonicalPredicateGoal
• traits::query::CanonicalProjectionGoal
• traits::query::CanonicalTyGoal
• traits::query::CanonicalTypeOpAscribeUserTypeGoal
• traits::query::CanonicalTypeOpEqGoal
• traits::query::CanonicalTypeOpNormalizeGoal
• traits::query::CanonicalTypeOpProvePredicateGoal
• traits::query::CanonicalTypeOpSubtypeGoal
• traits::query::Fallible
• traits::select::EvaluationCache
• traits::select::SelectionCache
• traits::util::Supertraits