List of all items
Structs
- error_reporting::TypeErrCtxt
- error_reporting::infer::ObligationCauseAsDiagArg
- error_reporting::infer::SameTypeModuloInfer
- error_reporting::infer::need_type_info::ClosureEraser
- error_reporting::infer::need_type_info::FindInferSourceVisitor
- error_reporting::infer::need_type_info::InferSource
- error_reporting::infer::need_type_info::InferenceDiagnosticsData
- error_reporting::infer::need_type_info::InferenceDiagnosticsParentData
- error_reporting::infer::need_type_info::InsertableGenericArgs
- error_reporting::infer::nice_region_error::HirTraitObjectVisitor
- error_reporting::infer::nice_region_error::NiceRegionError
- error_reporting::infer::nice_region_error::TraitObjectVisitor
- error_reporting::infer::nice_region_error::find_anon_type::FindNestedTypeVisitor
- error_reporting::infer::nice_region_error::find_anon_type::TyPathVisitor
- error_reporting::infer::nice_region_error::placeholder_error::Highlighted
- error_reporting::infer::nice_region_error::static_impl_trait::HirTraitObjectVisitor
- error_reporting::infer::nice_region_error::static_impl_trait::TraitObjectVisitor
- error_reporting::infer::nice_region_error::trait_impl_difference::TypeParamSpanVisitor
- error_reporting::infer::nice_region_error::util::AnonymousParamInfo
- error_reporting::infer::sub_relations::SubId
- error_reporting::infer::sub_relations::SubRelations
- error_reporting::traits::FindExprBySpan
- error_reporting::traits::ImplCandidate
- error_reporting::traits::UnsatisfiedConst
- error_reporting::traits::ambiguity::HasNumericInferVisitor
- error_reporting::traits::on_unimplemented::DisallowedPositionalArgument
- error_reporting::traits::on_unimplemented::IgnoredDiagnosticOption
- error_reporting::traits::on_unimplemented::InvalidFormatSpecifier
- error_reporting::traits::on_unimplemented::MalformedOnUnimplementedAttrLint
- error_reporting::traits::on_unimplemented::MissingOptionsForOnUnimplementedAttr
- error_reporting::traits::on_unimplemented::OnUnimplementedDirective
- error_reporting::traits::on_unimplemented::OnUnimplementedFormatString
- error_reporting::traits::on_unimplemented::OnUnimplementedNote
- error_reporting::traits::on_unimplemented::UnknownFormatParameterForOnUnimplementedAttr
- error_reporting::traits::on_unimplemented::WrappedParserError
- error_reporting::traits::suggestions::AwaitsVisitor
- error_reporting::traits::suggestions::CoroutineData
- error_reporting::traits::suggestions::FindTypeParam
- error_reporting::traits::suggestions::ReplaceImplTraitFolder
- error_reporting::traits::suggestions::ReplaceImplTraitVisitor
- error_reporting::traits::suggestions::ReturnsVisitor
- error_reporting::traits::suggestions::SelfVisitor
- errors::AddLifetimeParamsSuggestion
- errors::AddPreciseCapturingAndParams
- errors::AmbiguousImpl
- errors::AmbiguousReturn
- errors::AnnotationRequired
- errors::AsyncClosureNotFn
- errors::ButCallingIntroduces
- errors::ButNeedsToSatisfy
- errors::ClosureFnMutLabel
- errors::ClosureFnOnceLabel
- errors::ClosureKindMismatch
- errors::ConsiderBorrowingParamHelp
- errors::DumpVTableEntries
- errors::DynTraitConstraintSuggestion
- errors::EmptyOnClauseInOnUnimplemented
- errors::FnConsiderCasting
- errors::FnItemsAreDistinct
- errors::FnUniqTypes
- errors::FulfillReqLifetime
- errors::InferenceBadError
- errors::InherentProjectionNormalizationOverflow
- errors::IntroducesStaticBecauseUnmetLifetimeReq
- errors::InvalidOnClauseInOnUnimplemented
- errors::LfBoundNotSatisfied
- errors::LifetimeMismatch
- errors::MismatchedStaticLifetime
- errors::MoreTargeted
- errors::NegativePositiveConflict
- errors::NoValueInOnUnimplemented
- errors::OpaqueCapturesLifetime
- errors::OutlivesBound
- errors::OutlivesContent
- errors::RefLongerThanData
- errors::RelationshipHelp
- errors::ReqIntroducedLocations
- errors::SuggestTuplePatternMany
- errors::SuggestTuplePatternOne
- errors::TraitImplDiff
- errors::TraitPlaceholderMismatch
- errors::UnableToConstructConstantValue
- errors::note_and_explain::DescriptionCtx
- errors::note_and_explain::RegionExplanation
- infer::FixupError
- infer::InferCtxt
- infer::InferCtxtBuilder
- infer::InferCtxtInner
- infer::InferOk
- infer::RegionObligation
- infer::TypeFreshener
- infer::TypeTrace
- infer::at::At
- infer::canonical::CanonicalParamEnvCache
- infer::canonical::OriginalQueryValues
- infer::canonical::QueryRegionConstraints
- infer::canonical::QueryResponse
- infer::canonical::ir::AliasTerm
- infer::canonical::ir::AliasTy
- infer::canonical::ir::Binder
- infer::canonical::ir::BoundVar
- infer::canonical::ir::Canonical
- infer::canonical::ir::CanonicalQueryInput
- infer::canonical::ir::CanonicalVarInfo
- infer::canonical::ir::CanonicalVarValues
- infer::canonical::ir::ClosureArgs
- infer::canonical::ir::ClosureArgsParts
- infer::canonical::ir::CoercePredicate
- infer::canonical::ir::ConstVid
- infer::canonical::ir::CoroutineArgs
- infer::canonical::ir::CoroutineArgsParts
- infer::canonical::ir::CoroutineClosureArgs
- infer::canonical::ir::CoroutineClosureArgsParts
- infer::canonical::ir::CoroutineClosureSignature
- infer::canonical::ir::DebruijnIndex
- infer::canonical::ir::EarlyBinder
- infer::canonical::ir::EarlyBinderIter
- infer::canonical::ir::ExistentialProjection
- infer::canonical::ir::ExistentialTraitRef
- infer::canonical::ir::FloatVid
- infer::canonical::ir::FnHeader
- infer::canonical::ir::FnSig
- infer::canonical::ir::FnSigTys
- infer::canonical::ir::GenSig
- infer::canonical::ir::HostEffectPredicate
- infer::canonical::ir::IntVid
- infer::canonical::ir::IterIdentityCopied
- infer::canonical::ir::IterInstantiated
- infer::canonical::ir::IterInstantiatedCopied
- infer::canonical::ir::NormalizesTo
- infer::canonical::ir::OpaqueTypeKey
- infer::canonical::ir::OutlivesPredicate
- infer::canonical::ir::ProjectionPredicate
- infer::canonical::ir::RegionVid
- infer::canonical::ir::SubtypePredicate
- infer::canonical::ir::TraitPredicate
- infer::canonical::ir::TraitRef
- infer::canonical::ir::TyVid
- infer::canonical::ir::TypeAndMut
- infer::canonical::ir::TypeFlags
- infer::canonical::ir::UnevaluatedConst
- infer::canonical::ir::UniverseIndex
- infer::canonical::ir::ValidateBoundVars
- infer::canonical::ir::WithCachedTypeInfo
- infer::canonical::ir::data_structures::DelayedMap
- infer::canonical::ir::data_structures::DelayedSet
- infer::canonical::ir::data_structures::Lrc
- infer::canonical::ir::data_structures::SsoHashSet
- infer::canonical::ir::elaborate::ClauseWithSupertraitSpan
- infer::canonical::ir::elaborate::Elaborator
- infer::canonical::ir::elaborate::FilterToTraits
- infer::canonical::ir::error::ExpectedFound
- infer::canonical::ir::fast_reject::DeepRejectCtxt
- infer::canonical::ir::relate::solver_relating::SolverRelating
- infer::canonical::ir::search_graph::GlobalCache
- infer::canonical::ir::search_graph::SearchGraph
- infer::canonical::ir::search_graph::StackDepth
- infer::canonical::ir::solve::ExternalConstraintsData
- infer::canonical::ir::solve::Goal
- infer::canonical::ir::solve::NestedNormalizationGoals
- infer::canonical::ir::solve::NoSolution
- infer::canonical::ir::solve::PredefinedOpaquesData
- infer::canonical::ir::solve::QueryInput
- infer::canonical::ir::solve::Response
- infer::canonical::ir::solve::inspect::CanonicalGoalEvaluation
- infer::canonical::ir::solve::inspect::GoalEvaluation
- infer::canonical::ir::solve::inspect::Probe
- infer::canonical::ir::solve::inspect::State
- infer::outlives::env::OutlivesEnvironment
- infer::outlives::for_liveness::FreeRegionsVisitor
- infer::outlives::obligations::TypeOutlives
- infer::region_constraints::MemberConstraint
- infer::region_constraints::RegionConstraintCollector
- infer::region_constraints::RegionConstraintData
- infer::region_constraints::RegionConstraintStorage
- infer::region_constraints::RegionVariableInfo
- infer::region_constraints::Verify
- infer::region_constraints::VerifyIfEq
- infer::resolve::OpportunisticRegionResolver
- infer::resolve::OpportunisticVarResolver
- solve::EvalCtxt
- solve::ExternalConstraintsData
- solve::FulfillmentCtxt
- solve::Goal
- solve::NestedNormalizationGoals
- solve::NoSolution
- solve::PredefinedOpaquesData
- solve::QueryInput
- solve::Response
- solve::delegate::SolverDelegate
- solve::fulfill::BestObligation
- solve::fulfill::FulfillmentCtxt
- solve::fulfill::ObligationStorage
- solve::inspect::CanonicalGoalEvaluation
- solve::inspect::GoalEvaluation
- solve::inspect::InspectCandidate
- solve::inspect::InspectConfig
- solve::inspect::InspectGoal
- solve::inspect::Probe
- solve::inspect::State
- solve::inspect::analyse::InspectCandidate
- solve::inspect::analyse::InspectConfig
- solve::inspect::analyse::InspectGoal
- solve::inspect::analyse::NormalizesToTermHack
- solve::normalize::DeeplyNormalizeForDiagnosticsFolder
- solve::normalize::NormalizationFolder
- solve::select::Select
- traits::BoundVarReplacer
- traits::DerivedCause
- traits::FulfillmentContext
- traits::FulfillmentError
- traits::FutureCompatOverlapError
- traits::IfExpressionCause
- traits::ImplDerivedCause
- traits::ImplSourceUserDefinedData
- traits::InternedObligationCauseCode
- traits::MatchExpressionArmCause
- traits::MismatchedProjectionTypes
- traits::Normalized
- traits::Obligation
- traits::ObligationCause
- traits::ObligationCtxt
- traits::OldSolverError
- traits::OverlapError
- traits::OverlapResult
- traits::PendingPredicateObligation
- traits::PlaceholderReplacer
- traits::ProjectionCache
- traits::ProjectionCacheKey
- traits::ProjectionCacheStorage
- traits::SelectionContext
- traits::SignatureMismatchData
- traits::TraitAliasExpander
- traits::TraitAliasExpansionInfo
- traits::UncoveredTyParams
- traits::UnifyReceiverContext
- traits::auto_trait::AutoTraitFinder
- traits::auto_trait::AutoTraitInfo
- traits::auto_trait::RegionDeps
- traits::coherence::AmbiguityCausesVisitor
- traits::coherence::OverlapResult
- traits::coherence::UncoveredTyParams
- traits::dyn_compatibility::EraseEscapingBoundRegions
- traits::dyn_compatibility::IllegalSelfTypeVisitor
- traits::engine::ObligationCtxt
- traits::fulfill::FulfillProcessor
- traits::fulfill::FulfillmentContext
- traits::fulfill::OldSolverError
- traits::fulfill::PendingPredicateObligation
- traits::normalize::AssocTypeNormalizer
- traits::project::InProgress
- traits::project::Progress
- traits::query::CandidateStep
- traits::query::DropckConstraint
- traits::query::DropckOutlivesResult
- traits::query::MethodAutoderefBadTy
- traits::query::MethodAutoderefStepsResult
- traits::query::NoSolution
- traits::query::NormalizationResult
- traits::query::method_autoderef::CandidateStep
- traits::query::method_autoderef::MethodAutoderefBadTy
- traits::query::method_autoderef::MethodAutoderefStepsResult
- traits::query::normalize::MaxEscapingBoundVarVisitor
- traits::query::normalize::NormalizationResult
- traits::query::normalize::QueryNormalizer
- traits::query::type_op::AscribeUserType
- traits::query::type_op::DropckOutlives
- traits::query::type_op::Eq
- traits::query::type_op::ImpliedOutlivesBounds
- traits::query::type_op::Normalize
- traits::query::type_op::ProvePredicate
- traits::query::type_op::Subtype
- traits::query::type_op::TypeOpOutput
- traits::query::type_op::ascribe_user_type::AscribeUserType
- traits::query::type_op::custom::CustomTypeOp
- traits::query::type_op::normalize::Normalize
- traits::query::type_op::prove_predicate::ProvePredicate
- traits::select::EvaluatedCandidate
- traits::select::ProvisionalEvaluation
- traits::select::ProvisionalEvaluationCache
- traits::select::SelectionCandidateSet
- traits::select::SelectionContext
- traits::select::TraitObligationStack
- traits::select::TraitObligationStackList
- traits::select::_match::MatchAgainstFreshVars
- traits::solve::ExternalConstraints
- traits::solve::ExternalConstraintsData
- traits::solve::NestedNormalizationGoals
- traits::solve::NoSolution
- traits::solve::PredefinedOpaques
- traits::solve::PredefinedOpaquesData
- traits::solve::Response
- traits::solve::inspect::CanonicalGoalEvaluation
- traits::solve::inspect::GoalEvaluation
- traits::solve::inspect::Probe
- traits::solve::inspect::State
- traits::specialization_graph::Ancestors
- traits::specialization_graph::Children
- traits::specialization_graph::FutureCompatOverlapError
- traits::specialization_graph::Graph
- traits::specialization_graph::LeafDef
- traits::specialize::OverlapError
- traits::specialize::specialization_graph::Ancestors
- traits::specialize::specialization_graph::Children
- traits::specialize::specialization_graph::FutureCompatOverlapError
- traits::specialize::specialization_graph::Graph
- traits::specialize::specialization_graph::LeafDef
- traits::util::BoundVarReplacer
- traits::util::ClauseWithSupertraitSpan
- traits::util::Elaborator
- traits::util::FilterToTraits
- traits::util::PlaceholderReplacer
- traits::util::PredicateSet
- traits::util::TraitAliasExpander
- traits::util::TraitAliasExpansionInfo
- traits::wf::WfPredicates
Enums
- error_reporting::infer::FailureCode
- error_reporting::infer::TyCategory
- error_reporting::infer::need_type_info::InferSourceKind
- error_reporting::infer::need_type_info::TypeAnnotationNeeded
- error_reporting::infer::need_type_info::UnderspecifiedArgKind
- error_reporting::infer::suggest::SuggestAsRefKind
- error_reporting::traits::ArgKind
- error_reporting::traits::CandidateSimilarity
- error_reporting::traits::DefIdOrName
- error_reporting::traits::GetSafeTransmuteErrorAndReason
- error_reporting::traits::OverflowCause
- error_reporting::traits::ambiguity::CandidateSource
- error_reporting::traits::on_unimplemented::AppendConstMessage
- error_reporting::traits::overflow::OverflowCause
- error_reporting::traits::suggestions::CoroutineInteriorOrUpvar
- errors::ActualImplExpectedKind
- errors::ActualImplExpectedLifetimeKind
- errors::ActualImplExplNotes
- errors::AddPreciseCapturing
- errors::AdjustSignatureBorrow
- 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::SuggestRemoveSemiOrReturnBinding
- errors::TyOrSig
- errors::TypeErrorAdditionalDiags
- errors::WhereClauseSuggestions
- errors::note_and_explain::PrefixKind
- errors::note_and_explain::SuffixKind
- infer::BoundRegionConversionTime
- infer::DefineOpaqueTypes
- 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::canonical::ir::AliasRelationDirection
- infer::canonical::ir::AliasTermKind
- infer::canonical::ir::AliasTyKind
- infer::canonical::ir::BoundConstness
- infer::canonical::ir::CanonicalTyVarKind
- infer::canonical::ir::CanonicalVarKind
- infer::canonical::ir::ClauseKind
- infer::canonical::ir::ClosureKind
- infer::canonical::ir::ConstKind
- infer::canonical::ir::DynKind
- infer::canonical::ir::ExistentialPredicate
- infer::canonical::ir::FloatTy
- infer::canonical::ir::FloatVarValue
- infer::canonical::ir::GenericArgKind
- infer::canonical::ir::ImplPolarity
- infer::canonical::ir::InferConst
- infer::canonical::ir::InferTy
- infer::canonical::ir::IntTy
- infer::canonical::ir::IntVarValue
- infer::canonical::ir::PredicateKind
- infer::canonical::ir::PredicatePolarity
- infer::canonical::ir::RegionKind
- infer::canonical::ir::TermKind
- infer::canonical::ir::TyKind
- infer::canonical::ir::TypingMode
- infer::canonical::ir::UintTy
- infer::canonical::ir::Variance
- infer::canonical::ir::data_structures::SsoHashMap
- infer::canonical::ir::error::TypeError
- infer::canonical::ir::fast_reject::SimplifiedType
- infer::canonical::ir::fast_reject::TreatParams
- infer::canonical::ir::lang_items::TraitSolverLangItem
- infer::canonical::ir::outlives::Component
- infer::canonical::ir::relate::StructurallyRelateAliases
- infer::canonical::ir::relate::VarianceDiagInfo
- infer::canonical::ir::relate::solver_relating::StructurallyRelateAliases
- infer::canonical::ir::relate::solver_relating::VarianceDiagInfo
- infer::canonical::ir::search_graph::PathKind
- infer::canonical::ir::search_graph::UsageKind
- infer::canonical::ir::solve::BuiltinImplSource
- infer::canonical::ir::solve::CandidateSource
- infer::canonical::ir::solve::Certainty
- infer::canonical::ir::solve::GoalSource
- infer::canonical::ir::solve::MaybeCause
- infer::canonical::ir::solve::Reveal
- infer::canonical::ir::solve::inspect::CanonicalGoalEvaluationKind
- infer::canonical::ir::solve::inspect::ProbeKind
- infer::canonical::ir::solve::inspect::ProbeStep
- infer::region_constraints::Constraint
- infer::region_constraints::GenericKind
- infer::region_constraints::VerifyBound
- infer::relate::StructurallyRelateAliases
- infer::relate::VarianceDiagInfo
- solve::BuiltinImplSource
- solve::CandidateSource
- solve::Certainty
- solve::GenerateProofTree
- solve::GoalSource
- solve::HasChanged
- solve::MaybeCause
- solve::NextSolverError
- solve::Reveal
- solve::fulfill::ChildMode
- solve::fulfill::NextSolverError
- solve::inspect::CanonicalGoalEvaluationKind
- solve::inspect::ProbeKind
- solve::inspect::ProbeStep
- traits::BuiltinImplSource
- traits::CodegenObligationError
- traits::DynCompatibilityViolation
- traits::DynCompatibilityViolationSolution
- traits::EvaluationResult
- traits::FulfillmentErrorCode
- traits::FutureCompatOverlapErrorKind
- traits::ImplSource
- traits::InCrate
- traits::IntercrateAmbiguityCause
- traits::IsConstable
- traits::IsFirstInputType
- traits::MethodViolationCode
- traits::ObligationCauseCode
- traits::OrphanCheckErr
- traits::OrphanCheckMode
- traits::OverflowError
- traits::ProjectionCacheEntry
- traits::Reveal
- traits::ScrubbedTraitError
- traits::SelectionError
- traits::SkipLeakCheck
- traits::StatementAsExpression
- traits::TraitQueryMode
- traits::WellFormedLoc
- traits::auto_trait::AutoTraitResult
- traits::auto_trait::RegionTarget
- traits::coherence::Conflict
- traits::coherence::InCrate
- traits::coherence::IntersectionHasImpossibleObligations
- traits::coherence::IsFirstInputType
- traits::coherence::OrphanCheckErr
- traits::coherence::OrphanCheckMode
- traits::coherence::TrackAmbiguityCauses
- traits::dyn_compatibility::AllowSelfProjections
- traits::dyn_compatibility::DynCompatibilityViolation
- traits::effects::EvaluationFailure
- traits::misc::ConstParamTyImplementationError
- traits::misc::CopyImplementationError
- traits::misc::InfringingFieldsReason
- traits::outlives_bounds::OutlivesBound
- traits::project::ProjectAndUnifyResult
- traits::project::Projected
- traits::project::ProjectionCandidate
- traits::project::ProjectionCandidateSet
- traits::project::ProjectionError
- traits::project::Reveal
- traits::query::OutlivesBound
- traits::select::BuiltinImplConditions
- traits::select::DropVictim
- traits::select::EvaluationResult
- traits::select::IntercrateAmbiguityCause
- traits::select::OverflowError
- traits::select::ProjectionMatchesProjection
- traits::select::SelectionCandidate
- traits::solve::BuiltinImplSource
- traits::solve::Certainty
- traits::solve::GoalSource
- traits::solve::MaybeCause
- traits::solve::Reveal
- traits::solve::inspect::CanonicalGoalEvaluationKind
- traits::solve::inspect::ProbeKind
- traits::solve::inspect::ProbeStep
- traits::specialization_graph::FutureCompatOverlapErrorKind
- traits::specialization_graph::Node
- traits::specialization_graph::OverlapMode
- traits::specialize::specialization_graph::FutureCompatOverlapErrorKind
- traits::specialize::specialization_graph::Inserted
- traits::specialize::specialization_graph::Node
- traits::specialize::specialization_graph::OverlapMode
- traits::specialize::specialization_graph::PotentialSiblings
- traits::util::TupleArgumentsFlag
- traits::vtable::VtblSegment
- traits::wf::Elaborate
Traits
- error_reporting::InferCtxtErrorExt
- error_reporting::infer::ObligationCauseExt
- error_reporting::traits::suggestions::NextTypeParamName
- infer::InferCtxtBuilderExt
- infer::InferCtxtExt
- infer::PredicateEmittingRelation
- infer::TyCtxtInferExt
- infer::at::ToTrace
- infer::canonical::CanonicalExt
- infer::canonical::ir::CollectAndApply
- infer::canonical::ir::InferCtxtLike
- infer::canonical::ir::Interner
- infer::canonical::ir::RefDecodable
- infer::canonical::ir::TyDecoder
- infer::canonical::ir::TyEncoder
- infer::canonical::ir::Upcast
- infer::canonical::ir::UpcastFrom
- infer::canonical::ir::codec::RefDecodable
- infer::canonical::ir::codec::TyDecoder
- infer::canonical::ir::codec::TyEncoder
- infer::canonical::ir::elaborate::Elaboratable
- infer::canonical::ir::fold::FallibleTypeFolder
- infer::canonical::ir::fold::TypeFoldable
- infer::canonical::ir::fold::TypeFolder
- infer::canonical::ir::fold::TypeSuperFoldable
- infer::canonical::ir::inherent::Abi
- infer::canonical::ir::inherent::AdtDef
- infer::canonical::ir::inherent::BoundExistentialPredicates
- infer::canonical::ir::inherent::BoundVarLike
- infer::canonical::ir::inherent::Clause
- infer::canonical::ir::inherent::Const
- infer::canonical::ir::inherent::DefId
- infer::canonical::ir::inherent::ExprConst
- infer::canonical::ir::inherent::Features
- infer::canonical::ir::inherent::GenericArg
- infer::canonical::ir::inherent::GenericArgs
- infer::canonical::ir::inherent::GenericsOf
- infer::canonical::ir::inherent::IntoKind
- infer::canonical::ir::inherent::ParamEnv
- infer::canonical::ir::inherent::ParamLike
- infer::canonical::ir::inherent::PlaceholderLike
- infer::canonical::ir::inherent::Predicate
- infer::canonical::ir::inherent::Region
- infer::canonical::ir::inherent::Safety
- infer::canonical::ir::inherent::SliceLike
- infer::canonical::ir::inherent::Span
- infer::canonical::ir::inherent::Term
- infer::canonical::ir::inherent::Ty
- infer::canonical::ir::inherent::Tys
- infer::canonical::ir::ir_print::IrPrint
- infer::canonical::ir::lift::Lift
- infer::canonical::ir::relate::Relate
- infer::canonical::ir::relate::TypeRelation
- infer::canonical::ir::relate::combine::PredicateEmittingRelation
- infer::canonical::ir::relate::solver_relating::Relate
- infer::canonical::ir::relate::solver_relating::RelateExt
- infer::canonical::ir::relate::solver_relating::TypeRelation
- infer::canonical::ir::search_graph::Cx
- infer::canonical::ir::search_graph::Delegate
- infer::canonical::ir::visit::Flags
- infer::canonical::ir::visit::TypeSuperVisitable
- infer::canonical::ir::visit::TypeVisitable
- infer::canonical::ir::visit::TypeVisitableExt
- infer::canonical::ir::visit::TypeVisitor
- infer::outlives::obligations::TypeOutlivesDelegate
- infer::relate::PredicateEmittingRelation
- infer::relate::Relate
- infer::relate::TypeRelation
- regions::InferCtxtRegionExt
- solve::InferCtxtSelectExt
- solve::SolverDelegateEvalExt
- solve::inspect::ProofTreeInferCtxtExt
- solve::inspect::ProofTreeVisitor
- solve::inspect::analyse::ProofTreeInferCtxtExt
- solve::inspect::analyse::ProofTreeVisitor
- solve::select::InferCtxtSelectExt
- traits::FromSolverError
- traits::StructurallyNormalizeExt
- traits::TraitEngine
- traits::TraitEngineExt
- traits::engine::TraitEngineExt
- traits::normalize::NormalizeExt
- traits::outlives_bounds::InferCtxtExt
- traits::project::ProjectionCacheKeyExt
- traits::query::evaluate_obligation::InferCtxtExt
- traits::query::normalize::QueryNormalizeExt
- traits::query::type_op::QueryTypeOp
- traits::query::type_op::TypeOp
- traits::query::type_op::normalize::Normalizable
- traits::specialization_graph::GraphExt
- traits::specialize::specialization_graph::ChildrenExt
- traits::specialize::specialization_graph::GraphExt
- traits::structural_normalize::StructurallyNormalizeExt
- traits::util::Elaboratable
Derive Macros
Functions
- error_reporting::infer::escape_literal
- error_reporting::infer::need_type_info::closure_as_fn_str
- error_reporting::infer::need_type_info::fmt_printer
- error_reporting::infer::need_type_info::ty_to_string
- error_reporting::infer::nice_region_error::different_lifetimes::suggest_adding_lifetime_params
- error_reporting::infer::nice_region_error::find_anon_type::find_anon_type
- error_reporting::infer::nice_region_error::find_anon_type::find_component_for_bound_region
- error_reporting::infer::nice_region_error::find_param_with_region
- error_reporting::infer::nice_region_error::static_impl_trait::make_elided_region_spans_suggs
- error_reporting::infer::nice_region_error::static_impl_trait::suggest_new_region_bound
- error_reporting::infer::nice_region_error::suggest_adding_lifetime_params
- error_reporting::infer::nice_region_error::suggest_new_region_bound
- error_reporting::infer::nice_region_error::util::find_param_with_region
- error_reporting::infer::region::emit_msg_span
- error_reporting::infer::region::explain_free_region
- error_reporting::infer::region::label_msg_span
- error_reporting::infer::region::msg_span_from_named_region
- error_reporting::infer::region::note_and_explain_region
- error_reporting::infer::region::suggest_precise_capturing
- error_reporting::infer::region::unexpected_hidden_region_diagnostic
- error_reporting::traits::ambiguity::compute_applicable_impls_for_diagnostics
- error_reporting::traits::overflow::suggest_new_overflow_limit
- error_reporting::traits::report_dyn_incompatibility
- error_reporting::traits::suggest_new_overflow_limit
- error_reporting::traits::suggestions::get_deref_type_and_refs
- error_reporting::traits::suggestions::get_explanation_based_on_obligation
- error_reporting::traits::suggestions::hint_missing_borrow
- error_reporting::traits::suggestions::point_at_assoc_type_restriction
- error_reporting::traits::suggestions::predicate_constraint
- error_reporting::traits::suggestions::suggest_desugaring_async_fn_to_impl_future_in_trait
- error_reporting::traits::suggestions::suggest_restriction
- error_reporting::traits::to_pretty_impl_header
- infer::canonical::ir::data_structures::ensure_sufficient_stack
- infer::canonical::ir::debug_bound_var
- infer::canonical::ir::elaborate::elaborate
- infer::canonical::ir::elaborate::supertrait_def_ids
- infer::canonical::ir::elaborate::supertraits
- infer::canonical::ir::fast_reject::simplify_type
- infer::canonical::ir::fold::shift_region
- infer::canonical::ir::fold::shift_vars
- infer::canonical::ir::outlives::compute_alias_components_recursive
- infer::canonical::ir::outlives::push_outlives_components
- infer::canonical::ir::relate::combine::super_combine_consts
- infer::canonical::ir::relate::combine::super_combine_tys
- infer::canonical::ir::relate::relate_args_invariantly
- infer::canonical::ir::relate::relate_args_with_variances
- infer::canonical::ir::relate::solver_relating::relate_args_invariantly
- infer::canonical::ir::relate::solver_relating::relate_args_with_variances
- infer::canonical::ir::relate::solver_relating::structurally_relate_consts
- infer::canonical::ir::relate::solver_relating::structurally_relate_tys
- infer::canonical::ir::relate::structurally_relate_consts
- infer::canonical::ir::relate::structurally_relate_tys
- infer::canonical::query_response::make_query_region_constraints
- infer::outlives::explicit_outlives_bounds
- infer::outlives::test_type_match::extract_verify_if_eq
- infer::relate::relate_args_invariantly
- infer::relate::relate_args_with_variances
- infer::relate::structurally_relate_consts
- infer::relate::structurally_relate_tys
- infer::resolve::fully_resolve
- solve::deeply_normalize
- solve::deeply_normalize_with_skipped_universes
- solve::fulfill::derive_cause
- solve::fulfill::find_best_leaf_obligation
- solve::fulfill::fulfillment_error_for_no_solution
- solve::fulfill::fulfillment_error_for_overflow
- solve::fulfill::fulfillment_error_for_stalled
- solve::inspect::instantiate_canonical_state
- solve::normalize::deeply_normalize
- solve::normalize::deeply_normalize_for_diagnostics
- solve::normalize::deeply_normalize_with_skipped_universes
- solve::select::candidate_should_be_dropped_in_favor_of
- solve::select::to_selection
- traits::add_placeholder_note
- traits::coherence::add_placeholder_note
- traits::coherence::compute_intercrate_ambiguity_causes
- traits::coherence::equate_impl_headers
- traits::coherence::fresh_impl_header
- traits::coherence::fresh_impl_header_normalized
- traits::coherence::impl_intersection_has_impossible_obligation
- traits::coherence::impl_intersection_has_negative_obligation
- traits::coherence::orphan_check_trait_ref
- traits::coherence::overlap
- traits::coherence::overlapping_impls
- traits::coherence::plug_infer_with_placeholders
- traits::coherence::search_ambiguity_causes
- traits::coherence::suggest_increasing_recursion_limit
- traits::coherence::trait_ref_is_knowable
- traits::coherence::trait_ref_is_local_or_fundamental
- traits::coherence::try_prove_negated_where_clause
- traits::const_evaluatable::is_const_evaluatable
- traits::const_evaluatable::satisfied_from_param_env
- traits::do_normalize_predicates
- traits::dyn_compatibility::bounds_reference_self
- traits::dyn_compatibility::check_receiver_correct
- traits::dyn_compatibility::contains_illegal_impl_trait_in_trait
- traits::dyn_compatibility::contains_illegal_self_type_reference
- traits::dyn_compatibility::dyn_compatibility_violations
- traits::dyn_compatibility::dyn_compatibility_violations_for_assoc_item
- traits::dyn_compatibility::dyn_compatibility_violations_for_trait
- traits::dyn_compatibility::generics_require_sized_self
- traits::dyn_compatibility::get_sized_bounds
- traits::dyn_compatibility::hir_ty_lowering_dyn_compatibility_violations
- traits::dyn_compatibility::is_dyn_compatible
- traits::dyn_compatibility::is_vtable_safe_method
- traits::dyn_compatibility::object_ty_for_trait
- traits::dyn_compatibility::predicate_references_self
- traits::dyn_compatibility::predicates_reference_self
- traits::dyn_compatibility::provide
- traits::dyn_compatibility::receiver_for_self_ty
- traits::dyn_compatibility::receiver_is_dispatchable
- traits::dyn_compatibility::sized_trait_bound_spans
- traits::dyn_compatibility::super_predicates_have_non_lifetime_binders
- traits::dyn_compatibility::trait_has_sized_self
- traits::dyn_compatibility::virtual_call_violations_for_method
- traits::dyn_compatibility_violations_for_assoc_item
- traits::effects::evaluate_host_effect_from_bounds
- traits::effects::evaluate_host_effect_from_selection_candiate
- traits::effects::evaluate_host_effect_obligation
- traits::effects::match_candidate
- traits::elaborate
- traits::expand_trait_aliases
- traits::fulfill::args_infer_vars
- traits::fulfill::mk_pending
- traits::hir_ty_lowering_dyn_compatibility_violations
- traits::impl_item_is_final
- traits::impossible_predicates
- traits::instantiate_and_check_impossible_predicates
- traits::is_impossible_associated_item
- traits::is_vtable_safe_method
- traits::misc::all_fields_implement_trait
- traits::misc::type_allowed_to_implement_const_param_ty
- traits::misc::type_allowed_to_implement_copy
- traits::normalize::needs_normalization
- traits::normalize::normalize_with_depth
- traits::normalize::normalize_with_depth_to
- traits::normalize_param_env_or_error
- traits::orphan_check_trait_ref
- traits::outlives_bounds::implied_outlives_bounds
- traits::overlapping_impls
- traits::pred_known_to_hold_modulo_regions
- traits::predicates_for_generics
- traits::project::assemble_candidates_from_impls
- traits::project::assemble_candidates_from_object_ty
- traits::project::assemble_candidates_from_param_env
- traits::project::assemble_candidates_from_predicates
- traits::project::assemble_candidates_from_trait_def
- traits::project::assoc_ty_own_obligations
- traits::project::compute_inherent_assoc_ty_args
- traits::project::confirm_async_closure_candidate
- traits::project::confirm_async_fn_kind_helper_candidate
- traits::project::confirm_async_iterator_candidate
- traits::project::confirm_builtin_candidate
- traits::project::confirm_callable_candidate
- traits::project::confirm_candidate
- traits::project::confirm_closure_candidate
- traits::project::confirm_coroutine_candidate
- traits::project::confirm_fn_pointer_candidate
- traits::project::confirm_future_candidate
- traits::project::confirm_impl_candidate
- traits::project::confirm_iterator_candidate
- traits::project::confirm_param_env_candidate
- traits::project::confirm_select_candidate
- traits::project::normalize_inherent_projection
- traits::project::normalize_projection_ty
- traits::project::normalize_to_error
- traits::project::opt_normalize_projection_term
- traits::project::poly_project_and_unify_term
- traits::project::project
- traits::project::project_and_unify_term
- traits::provide
- traits::query::dropck_outlives::compute_dropck_outlives_inner
- traits::query::dropck_outlives::dtorck_constraint_for_ty_inner
- traits::query::dropck_outlives::trivial_dropck_outlives
- traits::query::type_op::ascribe_user_type::relate_mir_and_user_args
- traits::query::type_op::ascribe_user_type::relate_mir_and_user_ty
- traits::query::type_op::ascribe_user_type::type_op_ascribe_user_type_with_span
- traits::query::type_op::custom::scrape_region_constraints
- traits::query::type_op::implied_outlives_bounds::compute_implied_outlives_bounds_compat_inner
- traits::query::type_op::implied_outlives_bounds::compute_implied_outlives_bounds_inner
- traits::query::type_op::implied_outlives_bounds::implied_bounds_from_components
- traits::select::bind_coroutine_hidden_types_above
- traits::specialization_graph::ancestors
- traits::specialize::fulfill_implication
- traits::specialize::report_conflicting_impls
- traits::specialize::report_negative_positive_conflict
- traits::specialize::report_overlap_conflict
- traits::specialize::specialization_enabled_in
- traits::specialize::specialization_graph::ancestors
- traits::specialize::specialization_graph::assoc_def
- traits::specialize::specialization_graph::filtered_children
- traits::specialize::specialization_graph::iter_children
- traits::specialize::specialization_graph_provider
- traits::specialize::specializes
- traits::specialize::translate_args
- traits::specialize::translate_args_with_cause
- traits::supertraits
- traits::transitive_bounds_that_define_assoc_item
- traits::translate_args
- traits::translate_args_with_cause
- traits::type_known_to_meet_bound_modulo_regions
- traits::upcast_choices
- traits::util::anonymize_predicate
- traits::util::async_iterator_trait_ref_and_outputs
- traits::util::closure_trait_ref_and_return_type
- traits::util::coroutine_trait_ref_and_outputs
- traits::util::elaborate
- traits::util::expand_trait_aliases
- traits::util::future_trait_ref_and_outputs
- traits::util::impl_item_is_final
- traits::util::impl_subject_and_oblig
- traits::util::iterator_trait_ref_and_outputs
- traits::util::supertrait_def_ids
- traits::util::supertraits
- traits::util::transitive_bounds_that_define_assoc_item
- traits::util::upcast_choices
- traits::util::with_replaced_escaping_bound_vars
- traits::vtable::dump_vtable_entries
- traits::vtable::first_method_vtable_slot
- traits::vtable::has_own_existential_vtable_entries
- traits::vtable::maybe_iter
- traits::vtable::own_existential_vtable_entries
- traits::vtable::own_existential_vtable_entries_iter
- traits::vtable::prepare_vtable_segments
- traits::vtable::prepare_vtable_segments_inner
- traits::vtable::provide
- traits::vtable::supertrait_vtable_slot
- traits::vtable::trait_refs_are_compatible
- traits::vtable::vtable_entries
- traits::wf::clause_obligations
- traits::wf::extend_cause_with_original_assoc_item_obligation
- traits::wf::object_region_bounds
- traits::wf::obligations
- traits::wf::required_region_bounds
- traits::wf::trait_obligations
- traits::wf::unnormalized_obligations
- traits::with_replaced_escaping_bound_vars
Type Aliases
- infer::InferResult
- infer::canonical::Canonical
- infer::canonical::CanonicalQueryInput
- infer::canonical::CanonicalQueryResponse
- infer::canonical::CanonicalVarInfo
- infer::canonical::CanonicalVarInfos
- infer::canonical::CanonicalVarValues
- infer::canonical::QueryOutlivesConstraint
- infer::canonical::ir::data_structures::HashMap
- infer::canonical::ir::data_structures::HashSet
- infer::canonical::ir::data_structures::IndexMap
- infer::canonical::ir::data_structures::IndexSet
- infer::canonical::ir::relate::RelateResult
- infer::canonical::ir::relate::solver_relating::RelateResult
- infer::canonical::ir::solve::CanonicalInput
- infer::canonical::ir::solve::CanonicalResponse
- infer::canonical::ir::solve::QueryResult
- infer::canonical::ir::solve::inspect::CanonicalState
- infer::outlives::env::RegionBoundPairs
- infer::region_constraints::VarInfos
- infer::relate::RelateResult
- solve::CanonicalInput
- solve::CanonicalResponse
- solve::QueryResult
- solve::inspect::CanonicalState
- traits::EvaluationCache
- traits::NormalizedTerm
- traits::ObligationInspector
- traits::PolyTraitObligation
- traits::PredicateObligation
- traits::PredicateObligations
- traits::Selection
- traits::SelectionCache
- traits::SelectionResult
- traits::TraitObligation
- traits::effects::HostEffectObligation
- traits::fulfill::PendingPredicateObligations
- traits::outlives_bounds::Bounds
- traits::outlives_bounds::BoundsCompat
- traits::project::PolyProjectionObligation
- traits::project::ProjectionObligation
- traits::project::ProjectionTermObligation
- traits::query::CanonicalAliasGoal
- traits::query::CanonicalDropckOutlivesGoal
- traits::query::CanonicalImpliedOutlivesBoundsGoal
- 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::CandidateSource
- traits::solve::CanonicalInput
- traits::solve::CanonicalResponse
- traits::solve::Goal
- traits::solve::QueryInput
- traits::solve::QueryResult
- traits::solve::inspect::CanonicalState