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::BorrowckFlowState
- 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
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::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