List of all items

Structs

• errors::AddLifetimeParamsSuggestion
• errors::AmbiguousImpl
• errors::AmbiguousReturn
• errors::AnnotationRequired
• errors::ButCallingIntroduces
• errors::ButNeedsToSatisfy
• errors::ConsiderBorrowingParamHelp
• errors::DynTraitConstraintSuggestion
• errors::FnConsiderCasting
• errors::FnItemsAreDistinct
• errors::FnUniqTypes
• errors::FulfillReqLifetime
• errors::InferenceBadError
• errors::IntroducesStaticBecauseUnmetLifetimeReq
• errors::LfBoundNotSatisfied
• errors::LifetimeMismatch
• errors::MismatchedStaticLifetime
• errors::MoreTargeted
• errors::OpaqueCapturesLifetime
• errors::OpaqueHiddenTypeDiag
• errors::OutlivesBound
• errors::OutlivesContent
• errors::RefLongerThanData
• errors::RelationshipHelp
• errors::ReqIntroducedLocations
• errors::SuggestTuplePatternMany
• errors::SuggestTuplePatternOne
• errors::TraitImplDiff
• errors::TraitPlaceholderMismatch
• errors::note_and_explain::DescriptionCtx
• errors::note_and_explain::RegionExplanation
• infer::CombineFields
• infer::InferCtxt
• infer::InferCtxtBuilder
• infer::InferCtxtInner
• infer::InferOk
• infer::InferenceLiteralEraser
• infer::RegionObligation
• infer::ShallowResolver
• infer::TypeFreshener
• infer::TypeTrace
• infer::at::At
• infer::at::Trace
• infer::canonical::CanonicalParamEnvCache
• 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::error_reporting::ObligationCauseAsDiagArg
• infer::error_reporting::SameTypeModuloInfer
• infer::error_reporting::TypeErrCtxt
• infer::error_reporting::need_type_info::FindInferSourceVisitor
• infer::error_reporting::need_type_info::InferSource
• infer::error_reporting::need_type_info::InferenceDiagnosticsData
• infer::error_reporting::need_type_info::InferenceDiagnosticsParentData
• infer::error_reporting::need_type_info::InsertableGenericArgs
• infer::error_reporting::nice_region_error::HirTraitObjectVisitor
• infer::error_reporting::nice_region_error::NiceRegionError
• infer::error_reporting::nice_region_error::TraitObjectVisitor
• 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::placeholder_error::Highlighted
• 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::error_reporting::sub_relations::SubId
• infer::error_reporting::sub_relations::SubRelations
• infer::free_regions::FreeRegionMap
• infer::free_regions::RegionRelations
• infer::freshen::TypeFreshener
• infer::lexical_region_resolve::LexicalRegionResolutions
• infer::lexical_region_resolve::LexicalResolver
• infer::lexical_region_resolve::RegionAndOrigin
• infer::opaque_types::ConstrainOpaqueTypeRegionVisitor
• infer::opaque_types::OpaqueTypeDecl
• infer::opaque_types::OpaqueTypeStorage
• infer::opaque_types::OpaqueTypeTable
• infer::opaque_types::table::OpaqueTypeStorage
• infer::opaque_types::table::OpaqueTypeTable
• infer::outlives::env::OutlivesEnvironment
• infer::outlives::env::OutlivesEnvironmentBuilder
• infer::outlives::for_liveness::FreeRegionsVisitor
• infer::outlives::obligations::TypeOutlives
• infer::outlives::test_type_match::MatchAgainstHigherRankedOutlives
• 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::VerifyIfEq
• 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::relate::combine::CombineFields
• infer::relate::generalize::Generalization
• infer::relate::generalize::Generalizer
• infer::relate::glb::Glb
• infer::relate::lub::Lub
• infer::relate::type_relating::TypeRelating
• infer::resolve::EagerResolver
• infer::resolve::FullTypeResolver
• infer::resolve::OpportunisticRegionResolver
• infer::resolve::OpportunisticVarResolver
• infer::snapshot::CombinedSnapshot
• infer::snapshot::fudge::InferenceFudger
• infer::snapshot::fudge::VariableLengths
• infer::snapshot::undo_log::InferCtxtUndoLogs
• infer::snapshot::undo_log::Snapshot
• infer::type_variable::TyVidEqKey
• infer::type_variable::TypeVariableData
• infer::type_variable::TypeVariableOrigin
• infer::type_variable::TypeVariableStorage
• infer::type_variable::TypeVariableTable
• traits::DerivedObligationCause
• traits::FulfillmentError
• traits::IfExpressionCause
• traits::ImplDerivedObligationCause
• traits::ImplSourceUserDefinedData
• traits::InternedObligationCauseCode
• traits::MatchExpressionArmCause
• traits::MismatchedProjectionTypes
• traits::Normalized
• traits::Obligation
• traits::ObligationCause
• traits::ProjectionCache
• traits::ProjectionCacheKey
• traits::ProjectionCacheStorage
• traits::SignatureMismatchData
• traits::UnifyReceiverContext
• traits::project::MismatchedProjectionTypes
• traits::project::Normalized
• traits::project::ProjectionCache
• traits::project::ProjectionCacheKey
• traits::project::ProjectionCacheStorage
• traits::query::CandidateStep
• traits::query::DropckConstraint
• traits::query::DropckOutlivesResult
• 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::solve::CacheData
• traits::solve::EvaluationCache
• traits::solve::ExternalConstraints
• traits::solve::ExternalConstraintsData
• traits::solve::Goal
• traits::solve::PredefinedOpaques
• traits::solve::PredefinedOpaquesData
• traits::solve::QueryInput
• traits::solve::Response
• traits::solve::inspect::AddedGoalsEvaluation
• traits::solve::inspect::CanonicalGoalEvaluation
• traits::solve::inspect::GoalEvaluation
• traits::solve::inspect::GoalEvaluationStep
• traits::solve::inspect::Probe
• traits::solve::inspect::State
• 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

• errors::ActualImplExpectedKind
• errors::ActualImplExpectedLifetimeKind
• errors::ActualImplExplNotes
• errors::ConsiderAddingAwait
• errors::DoesNotOutliveStaticFromImpl
• errors::ExplicitLifetimeRequired
• errors::FunctionPointerSuggestion
• errors::ImplicitStaticLifetimeSubdiag
• errors::LifetimeMismatchLabels
• errors::ObligationCauseFailureCode
• errors::PlaceholderRelationLfNotSatisfied
• errors::RegionOriginNote
• errors::SourceKindMultiSuggestion
• errors::SourceKindSubdiag
• errors::SuggestAccessingField
• errors::SuggestBoxingForReturnImplTrait
• errors::SuggestRemoveSemiOrReturnBinding
• errors::TyOrSig
• errors::TypeErrorAdditionalDiags
• errors::WhereClauseSuggestions
• errors::note_and_explain::PrefixKind
• errors::note_and_explain::SuffixKind
• infer::BoundRegionConversionTime
• infer::FixupError
• infer::IntVarValue
• infer::NllRegionVariableOrigin
• infer::RegionResolutionError
• infer::RegionVariableOrigin
• infer::StructurallyRelateAliases
• infer::SubregionOrigin
• infer::TyOrConstInferVar
• infer::ValuePairs
• infer::at::DefineOpaqueTypes
• infer::canonical::CanonicalTyVarKind
• infer::canonical::CanonicalVarKind
• infer::canonical::Certainty
• infer::error_reporting::FailureCode
• infer::error_reporting::TyCategory
• infer::error_reporting::TypeAnnotationNeeded
• infer::error_reporting::need_type_info::InferSourceKind
• infer::error_reporting::need_type_info::TypeAnnotationNeeded
• infer::error_reporting::need_type_info::UnderspecifiedArgKind
• infer::error_reporting::suggest::SuggestAsRefKind
• infer::lexical_region_resolve::RegionResolutionError
• infer::lexical_region_resolve::VarValue
• infer::opaque_types::UseKind
• 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::relate::StructurallyRelateAliases
• infer::snapshot::undo_log::UndoLog
• infer::type_variable::TypeVariableOriginKind
• infer::type_variable::TypeVariableValue
• traits::BuiltinImplSource
• traits::CodegenObligationError
• traits::DefiningAnchor
• traits::EvaluationResult
• traits::FulfillmentErrorCode
• traits::ImplSource
• traits::IsConstable
• traits::MethodViolationCode
• traits::ObjectSafetyViolation
• traits::ObjectSafetyViolationSolution
• traits::ObligationCauseCode
• traits::OverflowError
• traits::ProjectionCacheEntry
• traits::Reveal
• traits::SelectionError
• traits::StatementAsExpression
• traits::WellFormedLoc
• traits::project::EvaluationResult
• traits::project::ProjectionCacheEntry
• traits::project::Reveal
• traits::query::OutlivesBound
• traits::select::EvaluationResult
• traits::select::OverflowError
• traits::select::SelectionCandidate
• traits::solve::CandidateSource
• traits::solve::Certainty
• traits::solve::GoalSource
• traits::solve::IsNormalizesToHack
• traits::solve::MaybeCause
• traits::solve::inspect::CanonicalGoalEvaluationKind
• traits::solve::inspect::GoalEvaluationKind
• traits::solve::inspect::ProbeKind
• traits::solve::inspect::ProbeStep
• traits::specialization_graph::Node
• traits::specialization_graph::OverlapMode
• traits::util::Filter

Traits

• infer::ObligationEmittingRelation
• infer::TyCtxtInferExt
• infer::at::ToTrace
• infer::canonical::CanonicalExt
• infer::canonical::canonicalizer::CanonicalizeMode
• infer::canonical::instantiate::CanonicalExt
• infer::error_reporting::ObligationCauseExt
• infer::outlives::obligations::TypeOutlivesDelegate
• infer::relate::combine::ObligationEmittingRelation
• infer::relate::lattice::LatticeDir
• traits::TraitEngine
• traits::TraitEngineExt
• traits::engine::TraitEngine
• traits::engine::TraitEngineExt
• traits::util::Elaboratable

Macros

• infer::snapshot::undo_log::impl_from

Functions

• infer::canonical::instantiate::instantiate_value
• infer::canonical::query_response::make_query_region_constraints
• infer::error_reporting::emit_msg_span
• infer::error_reporting::escape_literal
• infer::error_reporting::explain_free_region
• infer::error_reporting::label_msg_span
• infer::error_reporting::msg_span_from_named_region
• infer::error_reporting::need_type_info::closure_as_fn_str
• infer::error_reporting::need_type_info::fmt_printer
• infer::error_reporting::need_type_info::ty_to_string
• infer::error_reporting::nice_region_error::different_lifetimes::suggest_adding_lifetime_params
• 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::find_param_with_region
• infer::error_reporting::nice_region_error::static_impl_trait::suggest_new_region_bound
• infer::error_reporting::nice_region_error::suggest_adding_lifetime_params
• infer::error_reporting::nice_region_error::suggest_new_region_bound
• infer::error_reporting::nice_region_error::util::find_param_with_region
• infer::error_reporting::note_and_explain_region
• infer::error_reporting::unexpected_hidden_region_diagnostic
• infer::lexical_region_resolve::resolve
• infer::outlives::components::compute_alias_components_recursive
• infer::outlives::components::compute_components
• infer::outlives::components::compute_components_recursive
• infer::outlives::components::push_outlives_components
• infer::outlives::explicit_outlives_bounds
• infer::outlives::test_type_match::can_match_erased_ty
• infer::outlives::test_type_match::extract_verify_if_eq
• infer::relate::combine::float_unification_error
• infer::relate::combine::int_unification_error
• infer::relate::lattice::super_lattice_tys
• infer::replace_param_and_infer_args_with_placeholder
• infer::resolve::fully_resolve
• infer::snapshot::fudge::const_vars_since_snapshot
• infer::snapshot::fudge::vars_since_snapshot
• traits::error_reporting::report_object_safety_error
• traits::specialization_graph::ancestors
• traits::util::anonymize_predicate
• traits::util::elaborate
• traits::util::supertraits
• traits::util::transitive_bounds
• traits::util::transitive_bounds_that_define_assoc_item

Type Aliases

• infer::FixupResult
• infer::InferResult
• infer::UnificationTable
• infer::UnitResult
• infer::canonical::Canonical
• infer::canonical::CanonicalQueryResponse
• infer::canonical::CanonicalVarInfo
• infer::canonical::CanonicalVarInfos
• 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::EvaluationCache
• traits::NormalizedTy
• traits::ObligationInspector
• traits::PolyTraitObligation
• traits::PredicateObligation
• traits::PredicateObligations
• traits::Selection
• traits::SelectionCache
• traits::SelectionResult
• traits::TraitObligation
• traits::project::NormalizedTy
• traits::project::UndoLog
• traits::query::CanonicalAliasGoal
• traits::query::CanonicalPredicateGoal
• traits::query::CanonicalTyGoal
• traits::query::CanonicalTypeOpAscribeUserTypeGoal
• traits::query::CanonicalTypeOpEqGoal
• traits::query::CanonicalTypeOpNormalizeGoal
• traits::query::CanonicalTypeOpProvePredicateGoal
• traits::query::CanonicalTypeOpSubtypeGoal
• traits::select::EvaluationCache
• traits::select::SelectionCache
• traits::solve::CanonicalInput
• traits::solve::CanonicalResponse
• traits::solve::QueryResult
• traits::solve::inspect::CanonicalState

Statics

• DEFAULT_LOCALE_RESOURCE