List of all items
Structs
- BodyWithBorrowckFacts
- MirBorrowckCtxt
- RootPlace
- TyCtxtConsts
- Upvar
- borrow_set::BorrowData
- borrow_set::BorrowSet
- borrow_set::GatherBorrows
- borrow_set::HasStorageDead
- 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::ExpressionFinder
- diagnostics::conflict_errors::FakeReadCauseFinder
- diagnostics::conflict_errors::LetVisitor
- diagnostics::conflict_errors::MoveSite
- diagnostics::conflict_errors::NestedStatementVisitor
- diagnostics::conflict_errors::ReferencedStatementsVisitor
- diagnostics::find_all_local_uses::AllLocalUsesVisitor
- diagnostics::find_use::DefUseVisitor
- diagnostics::find_use::UseFinder
- diagnostics::mutability_errors::V
- diagnostics::outlives_suggestion::OutlivesSuggestionBuilder
- diagnostics::region_errors::ErrorConstraintInfo
- diagnostics::region_errors::RegionErrors
- 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
- facts::write_facts_to_path
- type_check::span_mirbug
- type_check::span_mirbug_and_err
Functions
- borrowck_errors::borrowed_data_escapes_closure
- check_parent_of_field
- 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::conflict_errors::predecessor_locations
- 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::maybe_body_id_of_fn
- 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::push_location_range
- 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
- facts::AllFacts
- nll::PoloniusOutput
- type_check::free_region_relations::NormalizedInputsAndOutput
- type_check::liveness::polonius::PathPointRelation
- type_check::liveness::polonius::VarPointRelation
Opaque Types
- borrow_set::
- diagnostics::conflict_errors::
- diagnostics::region_errors::
- location::
- member_constraints::
- region_infer::
- region_infer::reverse_sccs::
- region_infer::values::
- type_check::free_region_relations::
- type_check::liveness::local_use_map::
- universal_regions::
Statics
- CALLSITE
- META
- borrow_set::CALLSITE
- borrow_set::META
- constraint_generation::CALLSITE
- constraint_generation::META
- constraints::CALLSITE
- constraints::META
- dataflow::CALLSITE
- dataflow::META
- diagnostics::CALLSITE
- diagnostics::META
- diagnostics::bound_region_errors::CALLSITE
- diagnostics::bound_region_errors::META
- diagnostics::conflict_errors::CALLSITE
- diagnostics::conflict_errors::META
- diagnostics::explain_borrow::CALLSITE
- diagnostics::explain_borrow::META
- diagnostics::move_errors::CALLSITE
- diagnostics::move_errors::META
- diagnostics::mutability_errors::CALLSITE
- diagnostics::mutability_errors::META
- diagnostics::outlives_suggestion::CALLSITE
- diagnostics::outlives_suggestion::META
- diagnostics::region_errors::CALLSITE
- diagnostics::region_errors::META
- diagnostics::region_name::CALLSITE
- diagnostics::region_name::META
- diagnostics::var_name::CALLSITE
- diagnostics::var_name::META
- invalidation::CALLSITE
- invalidation::META
- location::CALLSITE
- location::META
- member_constraints::CALLSITE
- member_constraints::META
- nll::CALLSITE
- nll::META
- path_utils::CALLSITE
- path_utils::META
- place_ext::CALLSITE
- place_ext::META
- places_conflict::CALLSITE
- places_conflict::META
- region_infer::CALLSITE
- region_infer::META
- region_infer::opaque_types::CALLSITE
- region_infer::opaque_types::META
- region_infer::values::CALLSITE
- region_infer::values::META
- renumber::CALLSITE
- renumber::META
- type_check::CALLSITE
- type_check::META
- type_check::canonical::CALLSITE
- type_check::canonical::META
- type_check::constraint_conversion::CALLSITE
- type_check::constraint_conversion::META
- type_check::free_region_relations::CALLSITE
- type_check::free_region_relations::META
- type_check::input_output::CALLSITE
- type_check::input_output::META
- type_check::liveness::CALLSITE
- type_check::liveness::META
- type_check::liveness::polonius::CALLSITE
- type_check::liveness::polonius::META
- type_check::liveness::trace::CALLSITE
- type_check::liveness::trace::META
- type_check::relate_tys::CALLSITE
- type_check::relate_tys::META
- universal_regions::CALLSITE
- universal_regions::META
- used_muts::CALLSITE
- used_muts::META
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