List of all items
Structs
- errors::AddLifetimeParamsSuggestion
- errors::AmbigousImpl
- errors::AmbigousReturn
- errors::AnnotationRequired
- errors::ImplNote
- errors::InferenceBadError
- errors::IntroducesStaticBecauseUnmetLifetimeReq
- errors::LifetimeMismatch
- errors::MismatchedStaticLifetime
- errors::NeedTypeInfoInGenerator
- errors::OpaqueHiddenTypeDiag
- 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::combine::ConstInferUnifier
- infer::combine::Generalization
- infer::combine::Generalizer
- infer::equate::Equate
- infer::error_reporting::ObligationCauseAsDiagArg
- infer::error_reporting::SameTypeModuloInfer
- infer::error_reporting::need_type_info::FindInferSourceVisitor
- infer::error_reporting::need_type_info::GeneratorKindAsDiagArg
- 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::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::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::Match
- 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::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
- traits::ChalkEnvironmentAndGoal
- traits::ChalkRustInterner
- traits::DerivedObligationCause
- traits::FulfillmentError
- traits::IfExpressionCause
- traits::ImplDerivedObligationCause
- traits::ImplSourceAutoImplData
- traits::ImplSourceBuiltinData
- traits::ImplSourceClosureData
- traits::ImplSourceConstDestructData
- traits::ImplSourceDiscriminantKindData
- traits::ImplSourceFnPointerData
- traits::ImplSourceGeneratorData
- traits::ImplSourceObjectData
- traits::ImplSourcePointeeData
- traits::ImplSourceTraitAliasData
- traits::ImplSourceTraitUpcastingData
- traits::ImplSourceUserDefinedData
- traits::InternedObligationCauseCode
- traits::MatchExpressionArmCause
- traits::MismatchedProjectionTypes
- traits::Normalized
- traits::Obligation
- traits::ObligationCause
- 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::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::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::LifetimeMismatchLabels
- errors::RegionOriginNote
- errors::SourceKindMultiSuggestion
- errors::SourceKindSubdiag
- errors::TraitSubdiag
- errors::note_and_explain::PrefixKind
- errors::note_and_explain::SuffixKind
- infer::DefiningAnchor
- infer::FixupError
- infer::IntVarValue
- infer::LateBoundRegionConversionTime
- infer::NllRegionVariableOrigin
- infer::RegionResolutionError
- infer::RegionVariableOrigin
- 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::InferSourceKind
- infer::error_reporting::need_type_info::TypeAnnotationNeeded
- infer::error_reporting::need_type_info::UnderspecifiedArgKind
- infer::lexical_region_resolve::RegionResolutionError
- infer::lexical_region_resolve::VarValue
- infer::nll_relate::NormalizationStrategy
- 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::CodegenObligationError
- 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::specialization_graph::Node
- traits::specialization_graph::OverlapMode
Traits
- infer::TyCtxtInferExt
- infer::at::ToTrace
- infer::canonical::canonicalizer::CanonicalizeMode
- infer::canonical::substitute::CanonicalExt
- infer::combine::ConstEquateRelation
- infer::error_reporting::ObligationCauseExt
- 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
Macros
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_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::lattice::super_lattice_tys
- infer::lexical_region_resolve::resolve
- infer::opaque_types::may_define_opaque_type
- 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_substs_with_placeholder
- infer::resolve::fully_resolve
- 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_predicates_with_span
- 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
Constants
- errors::_DERIVE_rustc_errors_AddSubdiagnostic_FOR_InferenceBadError
- errors::_DERIVE_rustc_errors_AddSubdiagnostic_FOR_SourceKindMultiSuggestion
- errors::_DERIVE_rustc_errors_AddSubdiagnostic_FOR_SourceKindSubdiag
- errors::_DERIVE_rustc_session_SessionDiagnostic_session_diagnostic_sess_G_FOR_AmbigousImpl
- errors::_DERIVE_rustc_session_SessionDiagnostic_session_diagnostic_sess_G_FOR_AmbigousReturn
- errors::_DERIVE_rustc_session_SessionDiagnostic_session_diagnostic_sess_G_FOR_AnnotationRequired
- errors::_DERIVE_rustc_session_SessionDiagnostic_session_diagnostic_sess_G_FOR_LifetimeMismatch
- errors::_DERIVE_rustc_session_SessionDiagnostic_session_diagnostic_sess_G_FOR_MismatchedStaticLifetime
- errors::_DERIVE_rustc_session_SessionDiagnostic_session_diagnostic_sess_G_FOR_NeedTypeInfoInGenerator
- errors::_DERIVE_rustc_session_SessionDiagnostic_session_diagnostic_sess_G_FOR_OpaqueHiddenTypeDiag