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::CombinedSnapshot
- 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::Canonical
- infer::canonical::CanonicalVarInfo
- infer::canonical::CanonicalVarValues
- infer::canonical::OriginalQueryValues
- infer::canonical::QueryRegionConstraints
- infer::canonical::QueryResponse
- infer::canonical::canonicalizer::CanonicalizeAllFreeRegions
- infer::canonical::canonicalizer::CanonicalizeAllFreeRegionsPreservingUniverses
- 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::equate::Equate
- 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::free_regions::FreeRegionMap
- infer::free_regions::RegionRelations
- infer::freshen::TypeFreshener
- infer::fudge::InferenceFudger
- infer::fudge::VariableLengths
- infer::generalize::CombineDelegate
- infer::generalize::Generalization
- infer::generalize::Generalizer
- infer::glb::Glb
- infer::lexical_region_resolve::LexicalRegionResolutions
- infer::lexical_region_resolve::LexicalResolver
- infer::lexical_region_resolve::RegionAndOrigin
- infer::lub::Lub
- infer::nll_relate::TypeRelating
- infer::nll_relate::UniversallyQuantified
- 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::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::resolve::FullTypeResolver
- infer::resolve::OpportunisticRegionResolver
- infer::resolve::OpportunisticVarResolver
- infer::resolve::UnresolvedTypeOrConstFinder
- 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
- 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::SelectionOutputTypeParameterMismatch
- 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::FixupError
- infer::IntVarValue
- infer::LateBoundRegionConversionTime
- infer::NllRegionVariableOrigin
- infer::RegionResolutionError
- infer::RegionVariableOrigin
- 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::type_variable::TypeVariableOriginKind
- infer::type_variable::TypeVariableValue
- infer::type_variable::UndoLog
- infer::undo_log::UndoLog
- traits::BuiltinImplSource
- traits::CodegenObligationError
- traits::DefiningAnchor
- 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::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::IsNormalizesToHack
- traits::solve::MaybeCause
- traits::solve::inspect::CacheHit
- 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
- infer::ObligationEmittingRelation
- infer::TyCtxtInferExt
- infer::at::ToTrace
- infer::canonical::CanonicalExt
- infer::canonical::canonicalizer::CanonicalizeMode
- infer::canonical::substitute::CanonicalExt
- infer::combine::ObligationEmittingRelation
- infer::error_reporting::ObligationCauseExt
- infer::generalize::GeneralizerDelegate
- infer::lattice::LatticeDir
- infer::nll_relate::TypeRelatingDelegate
- infer::nll_relate::VidValuePair
- infer::outlives::obligations::TypeOutlivesDelegate
- traits::TraitEngine
- traits::TraitEngineExt
- traits::engine::TraitEngine
- traits::engine::TraitEngineExt
- traits::util::Elaboratable
Macros
Functions
- infer::canonical::query_response::make_query_region_constraints
- infer::canonical::substitute::substitute_value
- infer::combine::effect_unification_error
- infer::combine::float_unification_error
- infer::combine::int_unification_error
- 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::fudge::const_vars_since_snapshot
- infer::fudge::vars_since_snapshot
- infer::generalize::generalize
- infer::lattice::super_lattice_tys
- infer::lexical_region_resolve::resolve
- infer::opaque_types::may_define_opaque_type
- 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::replace_param_and_infer_args_with_placeholder
- infer::resolve::fully_resolve
- 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::CanonicalQueryResponse
- 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::PolyTraitObligation
- 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::select::EvaluationCache
- traits::select::SelectionCache
- traits::solve::CanonicalInput
- traits::solve::CanonicalResponse
- traits::solve::QueryResult
- traits::solve::inspect::CanonicalState
Statics
Constants
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_ActualImplExplNotes
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_ConsiderAddingAwait
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_DoesNotOutliveStaticFromImpl
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_FnConsiderCasting
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_FnItemsAreDistinct
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_FnUniqTypes
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_FunctionPointerSuggestion
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_ImplicitStaticLifetimeSubdiag
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_InferenceBadError
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_RelationshipHelp
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_SourceKindMultiSuggestion
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_SourceKindSubdiag
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_SuggestAccessingField
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_SuggestBoxingForReturnImplTrait
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_SuggestRemoveSemiOrReturnBinding
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_SuggestTuplePatternOne
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_TypeErrorAdditionalDiags
- errors::_DERIVE_rustc_errors_AddToDiagnostic_FOR_WhereClauseSuggestions
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_AmbiguousImpl
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_AmbiguousReturn
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_AnnotationRequired
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_ButCallingIntroduces
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_ButNeedsToSatisfy
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_ExplicitLifetimeRequired
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_FulfillReqLifetime
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_LfBoundNotSatisfied
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_LifetimeMismatch
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_MismatchedStaticLifetime
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_ObligationCauseFailureCode
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_OpaqueCapturesLifetime
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_OpaqueHiddenTypeDiag
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_OutlivesBound
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_OutlivesContent
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_PlaceholderRelationLfNotSatisfied
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_RefLongerThanData
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_TraitImplDiff
- errors::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_TraitPlaceholderMismatch