List of all items

Structs

• BorrowckInferCtxt
• MirBorrowckCtxt
• RootPlace
• TyCtxtConsts
• borrow_set::BorrowData
• borrow_set::BorrowSet
• borrow_set::GatherBorrows
• constraints::ConstraintSccIndex
• constraints::OutlivesConstraint
• constraints::OutlivesConstraintIndex
• constraints::OutlivesConstraintSet
• constraints::graph::ConstraintGraph
• constraints::graph::Edges
• constraints::graph::Normal
• constraints::graph::RegionGraph
• constraints::graph::Reverse
• constraints::graph::Successors
• consumers::BodyWithBorrowckFacts
• consumers::BorrowIndex
• consumers::Borrows
• consumers::LocationTable
• consumers::OutlivesConstraint
• consumers::RegionInferenceContext
• consumers::RustcFacts
• dataflow::BorrowIndex
• dataflow::BorrowckDomain
• dataflow::BorrowckResults
• dataflow::Borrows
• dataflow::OutOfScopePrecomputer
• dataflow::PoloniusOutOfScopePrecomputer
• diagnostics::CapturedMessageOpt
• diagnostics::DescribePlaceOpt
• diagnostics::IncludingTupleField
• diagnostics::bound_region_errors::AscribeUserTypeQuery
• diagnostics::bound_region_errors::NormalizeQuery
• diagnostics::bound_region_errors::PredicateQuery
• diagnostics::bound_region_errors::UniverseInfo
• diagnostics::conflict_errors::BreakFinder
• diagnostics::conflict_errors::ConditionVisitor
• diagnostics::conflict_errors::MoveSite
• diagnostics::conflict_errors::ReferencedStatementsVisitor
• diagnostics::find_all_local_uses::AllLocalUsesVisitor
• diagnostics::find_use::DefUseVisitor
• diagnostics::find_use::UseFinder
• diagnostics::move_errors::MoveError
• diagnostics::mutability_errors::BindingFinder
• diagnostics::outlives_suggestion::OutlivesSuggestionBuilder
• diagnostics::region_errors::ErrorConstraintInfo
• diagnostics::region_errors::RegionErrors
• diagnostics::region_name::RegionName
• diags::BorrowckDiags
• facts::FactWriter
• facts::PoloniusRegionVid
• facts::RustcFacts
• location::LocationIndex
• location::LocationTable
• member_constraints::MemberConstraintSet
• member_constraints::NllMemberConstraint
• member_constraints::NllMemberConstraintIndex
• nll::NllOutput
• polonius::loan_invalidations::LoanInvalidationsGenerator
• polonius::loan_kills::LoanKillsGenerator
• prefixes::Prefixes
• region_infer::AppliedMemberConstraint
• region_infer::BlameConstraint
• region_infer::RegionDefinition
• region_infer::RegionInferenceContext
• region_infer::RegionTracker
• region_infer::TypeTest
• region_infer::graphviz::RawConstraints
• region_infer::graphviz::SccConstraints
• region_infer::opaque_types::LazyOpaqueTyEnv
• region_infer::reverse_sccs::ReverseSccGraph
• region_infer::values::LiveLoans
• region_infer::values::LivenessValues
• region_infer::values::PlaceholderIndex
• region_infer::values::PlaceholderIndices
• region_infer::values::RegionValues
• renumber::RegionRenumberer
• session_diagnostics::FnMutError
• session_diagnostics::GenericDoesNotLiveLongEnough
• session_diagnostics::HigherRankedLifetimeError
• session_diagnostics::HigherRankedSubtypeError
• session_diagnostics::LifetimeMismatchOpaqueParam
• session_diagnostics::LifetimeOutliveErr
• session_diagnostics::MoveBorrow
• session_diagnostics::MoveUnsized
• session_diagnostics::NonGenericOpaqueTypeParam
• session_diagnostics::SimdIntrinsicArgConst
• session_diagnostics::VarNeedNotMut
• type_check::BorrowCheckContext
• type_check::InstantiateOpaqueType
• type_check::MirTypeckRegionConstraints
• type_check::MirTypeckResults
• type_check::TypeChecker
• type_check::TypeVerifier
• type_check::constraint_conversion::ConstraintConversion
• type_check::free_region_relations::CreateResult
• type_check::free_region_relations::UniversalRegionRelations
• type_check::free_region_relations::UniversalRegionRelationsBuilder
• type_check::liveness::LiveVariablesVisitor
• type_check::liveness::local_use_map::Appearance
• type_check::liveness::local_use_map::AppearanceIndex
• type_check::liveness::local_use_map::AppearancesIter
• type_check::liveness::local_use_map::LocalUseMap
• type_check::liveness::local_use_map::LocalUseMapBuild
• type_check::liveness::polonius::UseFactsExtractor
• type_check::liveness::trace::DropData
• type_check::liveness::trace::LivenessContext
• type_check::liveness::trace::LivenessResults
• type_check::relate_tys::NllTypeRelating
• universal_regions::UniversalRegionIndices
• universal_regions::UniversalRegions
• universal_regions::UniversalRegionsBuilder
• used_muts::GatherUsedMutsVisitor
• util::collect_writes::FindLocalAssignmentVisitor

Enums

• AccessDepth
• ArtificialField
• InitializationRequiringAction
• LocalMutationIsAllowed
• Overlap
• ReadKind
• ReadOrWrite
• WriteKind
• borrow_set::LocalsStateAtExit
• borrow_set::TwoPhaseActivation
• consumers::ConsumerOptions
• consumers::PlaceConflictBias
• consumers::RichLocation
• def_use::DefUse
• diagnostics::BorrowedContentSource
• diagnostics::CallKind
• diagnostics::UseSpans
• diagnostics::bound_region_errors::UniverseInfoInner
• diagnostics::conflict_errors::AnnotatedBorrowFnSignature
• diagnostics::conflict_errors::StorageDeadOrDrop
• diagnostics::explain_borrow::BorrowExplanation
• diagnostics::explain_borrow::LaterUseKind
• diagnostics::find_use::DefUseResult
• diagnostics::move_errors::GroupedMoveError
• diagnostics::move_errors::IllegalMoveOriginKind
• diagnostics::mutability_errors::AccessKind
• diagnostics::outlives_suggestion::SuggestedConstraint
• diagnostics::region_errors::RegionErrorKind
• diagnostics::region_name::RegionNameHighlight
• diagnostics::region_name::RegionNameSource
• diags::BufferedDiag
• location::RichLocation
• path_utils::Control
• places_conflict::PlaceConflictBias
• prefixes::PrefixSet
• region_infer::Cause
• region_infer::ExtraConstraintInfo
• region_infer::RegionRelationCheckResult
• region_infer::Trace
• region_infer::values::RegionElement
• renumber::RegionCtxt
• session_diagnostics::CaptureArgLabel
• session_diagnostics::CaptureReasonLabel
• session_diagnostics::CaptureReasonNote
• session_diagnostics::CaptureReasonSuggest
• session_diagnostics::CaptureVarCause
• session_diagnostics::CaptureVarKind
• session_diagnostics::CaptureVarPathUseCause
• session_diagnostics::FnMutReturnTypeErr
• session_diagnostics::HigherRankedErrorCause
• session_diagnostics::LifetimeReturnCategoryErr
• session_diagnostics::OnClosureNote
• session_diagnostics::RequireStaticErr
• session_diagnostics::TypeNoCopy
• session_diagnostics::VarHereDenote
• type_check::FieldAccessError
• type_check::Locations
• universal_regions::DefiningTy
• universal_regions::RegionClassification

Traits

• constraints::graph::ConstraintGraphDirection
• consumers::PlaceExt
• diagnostics::bound_region_errors::ToUniverseInfo
• diagnostics::bound_region_errors::TypeOpInfo
• facts::AllFactsExt
• facts::FactCell
• facts::FactRow
• nll::ConstraintDescription
• place_ext::PlaceExt
• prefixes::IsPrefixOf
• region_infer::opaque_types::InferCtxtExt
• region_infer::values::ToElementIndex
• type_check::NormalizeLocation
• universal_regions::InferCtxtExt
• util::collect_writes::FindAssignments

Macros

• type_check::span_mirbug
• type_check::span_mirbug_and_err

Functions

• borrowck_errors::borrowed_data_escapes_closure
• consumers::calculate_borrows_out_of_scope_at_location
• consumers::get_body_with_borrowck_facts
• consumers::places_conflict
• dataflow::calculate_borrows_out_of_scope_at_location
• def_use::categorize
• diagnostics::bound_region_errors::try_extract_error_from_fulfill_cx
• diagnostics::bound_region_errors::try_extract_error_from_region_constraints
• diagnostics::explain_borrow::suggest_rewrite_if_let
• diagnostics::find_all_local_uses::find
• diagnostics::find_use::find
• diagnostics::mutability_errors::get_mut_span_in_struct_field
• diagnostics::mutability_errors::is_closure_like
• diagnostics::mutability_errors::mut_borrow_of_mutable_ref
• diagnostics::mutability_errors::suggest_ampmut
• diagnostics::mutability_errors::suggest_ampmut_self
• diagnostics::mutability_errors::suggest_ref_mut
• do_mir_borrowck
• facts::write_row
• member_constraints::append_list
• mir_borrowck
• nll::compute_regions
• nll::dump_annotation
• nll::dump_nll_mir
• nll::for_each_region_constraint
• nll::replace_regions_in_mir
• path_utils::allow_two_phase_borrow
• path_utils::borrow_of_local_data
• path_utils::each_borrow_involving_path
• path_utils::is_active
• path_utils::is_upvar_field_projection
• places_conflict::borrow_conflicts_with_place
• places_conflict::place_components_conflict
• places_conflict::place_projection_conflict
• places_conflict::places_conflict
• polonius::emit_cfg_and_loan_kills_facts
• polonius::emit_facts
• polonius::emit_loan_invalidations_facts
• polonius::emit_move_facts
• polonius::emit_universal_region_facts
• polonius::loan_invalidations::emit_loan_invalidations
• polonius::loan_kills::emit_loan_kills
• provide
• region_infer::graphviz::render_outlives_constraint
• region_infer::graphviz::render_region_vid
• region_infer::graphviz::render_universe
• region_infer::opaque_types::check_opaque_type_parameter_valid
• region_infer::opaque_types::check_opaque_type_well_formed
• region_infer::sccs_info
• region_infer::values::pretty_print_points
• region_infer::values::pretty_print_region_elements
• renumber::renumber_mir
• type_check::free_region_relations::create
• type_check::freshen_single_trait_object_lifetime
• type_check::liveness::compute_relevant_live_locals
• type_check::liveness::generate
• type_check::liveness::local_use_map::appearances_iter
• type_check::liveness::polonius::add_drop_of_var_derefs_origin
• type_check::liveness::polonius::populate_access_facts
• type_check::liveness::record_regular_live_regions
• type_check::liveness::regions_that_outlive_free_regions
• type_check::liveness::trace::trace
• type_check::mirbug
• type_check::translate_outlives_facts
• type_check::type_check
• universal_regions::for_each_late_bound_region_in_item
• universal_regions::for_each_late_bound_region_in_recursive_scope

Type Aliases

• constraints::graph::NormalConstraintGraph
• constraints::graph::ReverseConstraintGraph
• consumers::PoloniusInput
• consumers::PoloniusOutput
• facts::AllFacts
• nll::PoloniusOutput
• region_infer::ConstraintSccs
• type_check::free_region_relations::NormalizedInputsAndOutput
• type_check::liveness::local_use_map::Appearances
• type_check::liveness::polonius::PathPointRelation
• type_check::liveness::polonius::VarPointRelation

Statics

• DEFAULT_LOCALE_RESOURCE

Constants

• region_infer::dump_mir::REGION_WIDTH
• universal_regions::FIRST_GLOBAL_INDEX
• universal_regions::FR