List of all items

Structs

• BodyWithBorrowckFacts
• MirBorrowckCtxt
• RootPlace
• TyCtxtConsts
• Upvar
• borrow_set::BorrowData
• borrow_set::BorrowSet
• borrow_set::GatherBorrows
• constraint_generation::ConstraintGeneration
• 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::LocationTable
• consumers::RustcFacts
• dataflow::BorrowIndex
• dataflow::BorrowckAnalyses
• dataflow::Borrows
• dataflow::OutOfScopePrecomputer
• dataflow::StackEntry
• 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::ConditionVisitor
• diagnostics::conflict_errors::MoveSite
• diagnostics::conflict_errors::ReferencedStatementsVisitor
• diagnostics::find_all_local_uses::AllLocalUsesVisitor
• diagnostics::find_use::DefUseVisitor
• diagnostics::find_use::UseFinder
• diagnostics::outlives_suggestion::OutlivesSuggestionBuilder
• diagnostics::region_errors::ErrorConstraintInfo
• diagnostics::region_name::RegionName
• error::BorrowckErrors
• facts::FactWriter
• facts::RustcFacts
• invalidation::InvalidationGenerator
• location::LocationIndex
• location::LocationTable
• member_constraints::MemberConstraintSet
• member_constraints::NllMemberConstraint
• member_constraints::NllMemberConstraintIndex
• nll::NllOutput
• prefixes::Prefixes
• region_infer::AppliedMemberConstraint
• region_infer::BlameConstraint
• region_infer::RegionDefinition
• region_infer::RegionInferenceContext
• region_infer::TypeTest
• region_infer::graphviz::RawConstraints
• region_infer::graphviz::SccConstraints
• region_infer::reverse_sccs::ReverseSccGraph
• region_infer::values::LivenessValues
• region_infer::values::PlaceholderIndex
• region_infer::values::PlaceholderIndices
• region_infer::values::PointIndex
• region_infer::values::RegionValueElements
• region_infer::values::RegionValues
• renumber::NllVisitor
• session_diagnostics::FnMutError
• session_diagnostics::GenericDoesNotLiveLongEnough
• session_diagnostics::HigherRankedLifetimeError
• session_diagnostics::HigherRankedSubtypeError
• session_diagnostics::LifetimeOutliveErr
• session_diagnostics::MoveBorrow
• session_diagnostics::MoveUnsized
• 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::local_use_map::Appearance
• type_check::liveness::local_use_map::AppearanceIndex
• 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::NllTypeRelatingDelegate
• universal_regions::UniversalRegionIndices
• universal_regions::UniversalRegions
• universal_regions::UniversalRegionsBuilder
• used_muts::GatherUsedMutsVisitor

Enums

• AccessDepth
• ArtificialField
• InitializationRequiringAction
• LocalMutationIsAllowed
• Overlap
• ReadKind
• ReadOrWrite
• WriteKind
• borrow_set::LocalsStateAtExit
• borrow_set::TwoPhaseActivation
• 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::mutability_errors::AccessKind
• diagnostics::outlives_suggestion::SuggestedConstraint
• diagnostics::region_errors::RegionErrorKind
• diagnostics::region_name::RegionNameHighlight
• diagnostics::region_name::RegionNameSource
• 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
• session_diagnostics::CaptureVarCause
• session_diagnostics::CaptureVarKind
• session_diagnostics::CaptureVarPathUseCause
• session_diagnostics::FnMutReturnTypeErr
• session_diagnostics::HigherRankedErrorCause
• session_diagnostics::LifetimeReturnCategoryErr
• session_diagnostics::RequireStaticErr
• session_diagnostics::VarHereDenote
• type_check::FieldAccessError
• type_check::Locations
• universal_regions::DefiningTy
• universal_regions::RegionClassification

Traits

• constraints::graph::ConstraintGraphDirecton
• diagnostics::bound_region_errors::ToUniverseInfo
• diagnostics::bound_region_errors::TypeOpInfo
• facts::AllFactsExt
• facts::FactCell
• facts::FactRow
• nll::ConstraintDescription
• nll::ToRegionVid
• place_ext::PlaceExt
• prefixes::IsPrefixOf
• region_infer::opaque_types::InferCtxtExt
• region_infer::values::ToElementIndex
• type_check::NormalizeLocation
• universal_regions::InferCtxtExt

Macros

• dataflow::impl_visitable
• type_check::span_mirbug
• type_check::span_mirbug_and_err

Functions

• borrowck_errors::borrowed_data_escapes_closure
• constraint_generation::generate_constraints
• constraint_generation::record_killed_borrows_for_local
• consumers::get_body_with_borrowck_facts
• def_use::categorize
• diagnostics::bound_region_errors::try_extract_error_from_fulfill_cx
• diagnostics::bound_region_errors::try_extract_error_from_region_constraints
• diagnostics::find_all_local_uses::find
• diagnostics::find_use::find
• diagnostics::mutability_errors::get_mut_span_in_struct_field
• diagnostics::mutability_errors::is_closure_or_generator
• 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
• invalidation::generate_invalidates
• member_constraints::append_list
• mir_borrowck
• nll::compute_regions
• nll::dump_annotation
• nll::dump_mir_results
• nll::for_each_region_constraint
• nll::populate_polonius_move_facts
• 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_base_conflict
• places_conflict::place_components_conflict
• places_conflict::place_projection_conflict
• places_conflict::places_conflict
• provide
• region_infer::opaque_types::check_opaque_type_parameter_valid
• region_infer::values::location_set_str
• region_infer::values::region_value_str
• renumber::renumber_mir
• renumber::renumber_regions
• type_check::free_region_relations::create
• type_check::liveness::compute_relevant_live_locals
• type_check::liveness::generate
• type_check::liveness::polonius::add_drop_of_var_derefs_origin
• type_check::liveness::polonius::populate_access_facts
• 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 Definitions

• constraints::graph::NormalConstraintGraph
• constraints::graph::ReverseConstraintGraph
• consumers::PoloniusInput
• consumers::PoloniusOutput
• dataflow::BorrowckFlowState
• dataflow::BorrowckResults
• diagnostics::region_errors::RegionErrors
• facts::AllFacts
• nll::PoloniusOutput
• type_check::free_region_relations::NormalizedInputsAndOutput
• type_check::liveness::polonius::PathPointRelation
• type_check::liveness::polonius::VarPointRelation

Constants

• region_infer::dump_mir::REGION_WIDTH
• session_diagnostics::_DERIVE_rustc_errors_AddToDiagnostic_FOR_CaptureVarCause
• session_diagnostics::_DERIVE_rustc_errors_AddToDiagnostic_FOR_CaptureVarKind
• session_diagnostics::_DERIVE_rustc_errors_AddToDiagnostic_FOR_CaptureVarPathUseCause
• session_diagnostics::_DERIVE_rustc_errors_AddToDiagnostic_FOR_FnMutReturnTypeErr
• session_diagnostics::_DERIVE_rustc_errors_AddToDiagnostic_FOR_HigherRankedErrorCause
• session_diagnostics::_DERIVE_rustc_errors_AddToDiagnostic_FOR_LifetimeReturnCategoryErr
• session_diagnostics::_DERIVE_rustc_errors_AddToDiagnostic_FOR_RequireStaticErr
• session_diagnostics::_DERIVE_rustc_errors_AddToDiagnostic_FOR_VarHereDenote
• session_diagnostics::_DERIVE_rustc_errors_DecorateLint_a_FOR_VarNeedNotMut
• session_diagnostics::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_FnMutError
• session_diagnostics::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_GenericDoesNotLiveLongEnough
• session_diagnostics::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_HigherRankedLifetimeError
• session_diagnostics::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_HigherRankedSubtypeError
• session_diagnostics::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_LifetimeOutliveErr
• session_diagnostics::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_MoveBorrow
• session_diagnostics::_DERIVE_rustc_errors_IntoDiagnostic_diagnostic_handler_sess_G_FOR_MoveUnsized
• universal_regions::FIRST_GLOBAL_INDEX
• universal_regions::FR