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::opaque_types::ReverseMapper
- 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::ConstNotUsedTraitAlias
- session_diagnostics::FnMutError
- session_diagnostics::GenericDoesNotLiveLongEnough
- session_diagnostics::HigherRankedLifetimeError
- session_diagnostics::HigherRankedSubtypeError
- session_diagnostics::LifetimeOutliveErr
- 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::RegionRelationCheckResult
- region_infer::Trace
- region_infer::values::RegionElement
- 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::ClosureRegionRequirementsExt
- region_infer::opaque_types::InferCtxtExt
- region_infer::values::ToElementIndex
- type_check::NormalizeLocation
- universal_regions::InferCtxtExt
Macros
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
- renumber::renumber_regions_in_mir_constant
- 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_defined_on
Typedefs
- 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_AddSubdiagnostic_FOR_FnMutReturnTypeErr
- session_diagnostics::_DERIVE_rustc_errors_AddSubdiagnostic_FOR_HigherRankedErrorCause
- session_diagnostics::_DERIVE_rustc_errors_AddSubdiagnostic_FOR_LifetimeReturnCategoryErr
- session_diagnostics::_DERIVE_rustc_errors_AddSubdiagnostic_FOR_RequireStaticErr
- session_diagnostics::_DERIVE_rustc_errors_AddSubdiagnostic_FOR_VarHereDenote
- session_diagnostics::_DERIVE_rustc_errors_DecorateLint_a_FOR_VarNeedNotMut
- session_diagnostics::_DERIVE_rustc_session_SessionDiagnostic_session_diagnostic_sess_G_FOR_ConstNotUsedTraitAlias
- session_diagnostics::_DERIVE_rustc_session_SessionDiagnostic_session_diagnostic_sess_G_FOR_FnMutError
- session_diagnostics::_DERIVE_rustc_session_SessionDiagnostic_session_diagnostic_sess_G_FOR_GenericDoesNotLiveLongEnough
- session_diagnostics::_DERIVE_rustc_session_SessionDiagnostic_session_diagnostic_sess_G_FOR_HigherRankedLifetimeError
- session_diagnostics::_DERIVE_rustc_session_SessionDiagnostic_session_diagnostic_sess_G_FOR_HigherRankedSubtypeError
- session_diagnostics::_DERIVE_rustc_session_SessionDiagnostic_session_diagnostic_sess_G_FOR_LifetimeOutliveErr
- session_diagnostics::_DERIVE_rustc_session_SessionDiagnostic_session_diagnostic_sess_G_FOR_MoveUnsized
- universal_regions::FIRST_GLOBAL_INDEX
- universal_regions::FR