List of all items

Structs

• borrow_check::MirBorrowckCtxt
• borrow_check::RootPlace
• borrow_check::Upvar
• borrow_check::borrow_set::BorrowData
• borrow_check::borrow_set::BorrowSet
• borrow_check::borrow_set::GatherBorrows
• borrow_check::constraint_generation::ConstraintGeneration
• borrow_check::constraints::ConstraintSccIndex
• borrow_check::constraints::OutlivesConstraint
• borrow_check::constraints::OutlivesConstraintIndex
• borrow_check::constraints::OutlivesConstraintSet
• borrow_check::constraints::graph::ConstraintGraph
• borrow_check::constraints::graph::Edges
• borrow_check::constraints::graph::Normal
• borrow_check::constraints::graph::RegionGraph
• borrow_check::constraints::graph::Reverse
• borrow_check::constraints::graph::Successors
• borrow_check::diagnostics::IncludingDowncast
• borrow_check::diagnostics::conflict_errors::MoveSite
• borrow_check::diagnostics::find_use::DefUseVisitor
• borrow_check::diagnostics::find_use::UseFinder
• borrow_check::diagnostics::outlives_suggestion::OutlivesSuggestionBuilder
• borrow_check::diagnostics::region_errors::ErrorConstraintInfo
• borrow_check::diagnostics::region_name::RegionName
• borrow_check::facts::FactWriter
• borrow_check::facts::RustcFacts
• borrow_check::invalidation::InvalidationGenerator
• borrow_check::location::LocationIndex
• borrow_check::location::LocationTable
• borrow_check::member_constraints::MemberConstraintSet
• borrow_check::member_constraints::NllMemberConstraint
• borrow_check::member_constraints::NllMemberConstraintIndex
• borrow_check::nll::NllOutput
• borrow_check::prefixes::Prefixes
• borrow_check::region_infer::AppliedMemberConstraint
• borrow_check::region_infer::RegionDefinition
• borrow_check::region_infer::RegionInferenceContext
• borrow_check::region_infer::TypeTest
• borrow_check::region_infer::graphviz::RawConstraints
• borrow_check::region_infer::graphviz::SccConstraints
• borrow_check::region_infer::reverse_sccs::ReverseSccGraph
• borrow_check::region_infer::values::LivenessValues
• borrow_check::region_infer::values::PlaceholderIndex
• borrow_check::region_infer::values::PlaceholderIndices
• borrow_check::region_infer::values::PointIndex
• borrow_check::region_infer::values::RegionValueElements
• borrow_check::region_infer::values::RegionValues
• borrow_check::renumber::NLLVisitor
• borrow_check::type_check::BorrowCheckContext
• borrow_check::type_check::MirTypeckRegionConstraints
• borrow_check::type_check::MirTypeckResults
• borrow_check::type_check::ObligationAccumulator
• borrow_check::type_check::TypeChecker
• borrow_check::type_check::TypeVerifier
• borrow_check::type_check::constraint_conversion::ConstraintConversion
• borrow_check::type_check::free_region_relations::CreateResult
• borrow_check::type_check::free_region_relations::UniversalRegionRelations
• borrow_check::type_check::free_region_relations::UniversalRegionRelationsBuilder
• borrow_check::type_check::liveness::local_use_map::Appearance
• borrow_check::type_check::liveness::local_use_map::AppearanceIndex
• borrow_check::type_check::liveness::local_use_map::LocalUseMap
• borrow_check::type_check::liveness::local_use_map::LocalUseMapBuild
• borrow_check::type_check::liveness::polonius::UseFactsExtractor
• borrow_check::type_check::liveness::trace::DropData
• borrow_check::type_check::liveness::trace::LivenessContext
• borrow_check::type_check::liveness::trace::LivenessResults
• borrow_check::type_check::relate_tys::NllTypeRelatingDelegate
• borrow_check::universal_regions::UniversalRegionIndices
• borrow_check::universal_regions::UniversalRegions
• borrow_check::universal_regions::UniversalRegionsBuilder
• borrow_check::used_muts::GatherUsedMutsVisitor
• const_eval::CompileTimeInterpreter
• const_eval::ConstEvalErr
• const_eval::MemoryExtra
• const_eval::error::ConstEvalErr
• const_eval::machine::CompileTimeInterpreter
• const_eval::machine::MemoryExtra
• dataflow::Backward
• dataflow::Engine
• dataflow::Forward
• dataflow::MoveDataParamEnv
• dataflow::Results
• dataflow::ResultsCursor
• dataflow::fmt::DebugDiffWithAdapter
• dataflow::fmt::DebugWithAdapter
• dataflow::framework::EffectIndex
• dataflow::framework::GenKillSet
• dataflow::framework::SwitchIntTarget
• dataflow::framework::cursor::CursorPosition
• dataflow::framework::cursor::ResultsCursor
• dataflow::framework::direction::Backward
• dataflow::framework::direction::Forward
• dataflow::framework::direction::SwitchIntEdgeEffectApplier
• dataflow::framework::engine::Engine
• dataflow::framework::engine::Results
• dataflow::framework::engine::RustcMirAttrs
• dataflow::framework::fmt::DebugDiffWithAdapter
• dataflow::framework::fmt::DebugWithAdapter
• dataflow::framework::graphviz::BlockFormatter
• dataflow::framework::graphviz::CfgEdge
• dataflow::framework::graphviz::Formatter
• dataflow::framework::graphviz::StateDiffCollector
• dataflow::framework::lattice::Dual
• dataflow::framework::visitor::BorrowckAnalyses
• dataflow::impls::Borrows
• dataflow::impls::DefinitelyInitializedPlaces
• dataflow::impls::EverInitializedPlaces
• dataflow::impls::MaybeBorrowedLocals
• dataflow::impls::MaybeInitializedLocals
• dataflow::impls::MaybeInitializedPlaces
• dataflow::impls::MaybeLiveLocals
• dataflow::impls::MaybeRequiresStorage
• dataflow::impls::MaybeStorageLive
• dataflow::impls::MaybeUninitializedPlaces
• dataflow::impls::borrowed_locals::AnyBorrow
• dataflow::impls::borrowed_locals::MaybeBorrowedLocals
• dataflow::impls::borrowed_locals::MutBorrow
• dataflow::impls::borrowed_locals::TransferFunction
• dataflow::impls::borrows::BorrowIndex
• dataflow::impls::borrows::Borrows
• dataflow::impls::borrows::StackEntry
• dataflow::impls::init_locals::MaybeInitializedLocals
• dataflow::impls::init_locals::TransferFunction
• dataflow::impls::liveness::MaybeLiveLocals
• dataflow::impls::liveness::TransferFunction
• dataflow::impls::storage_liveness::MaybeRequiresStorage
• dataflow::impls::storage_liveness::MaybeStorageLive
• dataflow::impls::storage_liveness::MoveVisitor
• dataflow::lattice::Dual
• dataflow::move_paths::IllegalMoveOrigin
• dataflow::move_paths::Init
• dataflow::move_paths::InitIndex
• dataflow::move_paths::LocationMap
• dataflow::move_paths::MoveData
• dataflow::move_paths::MoveOut
• dataflow::move_paths::MoveOutIndex
• dataflow::move_paths::MovePath
• dataflow::move_paths::MovePathIndex
• dataflow::move_paths::MovePathLinearIter
• dataflow::move_paths::MovePathLookup
• dataflow::move_paths::abs_domain::AbstractOperand
• dataflow::move_paths::abs_domain::AbstractType
• dataflow::move_paths::builder::Gatherer
• dataflow::move_paths::builder::MoveDataBuilder
• interpret::AllocDecodingSession
• interpret::AllocDecodingState
• interpret::AllocId
• interpret::Allocation
• interpret::ConstAlloc
• interpret::Frame
• interpret::FrameInfo
• interpret::GlobalId
• interpret::ImmTy
• interpret::InitMask
• interpret::InterpCx
• interpret::InterpErrorInfo
• interpret::LitToConstInput
• interpret::LocalState
• interpret::MPlaceTy
• interpret::MemPlace
• interpret::Memory
• interpret::OpTy
• interpret::PlaceTy
• interpret::Pointer
• interpret::RefTracking
• interpret::Relocations
• interpret::UninitBytesAccess
• interpret::eval_context::Frame
• interpret::eval_context::FrameInfo
• interpret::eval_context::InterpCx
• interpret::eval_context::LocalState
• interpret::eval_context::SpanGuard
• interpret::intern::InternVisitor
• interpret::intern::IsStaticOrFn
• interpret::intrinsics::type_name::AbsolutePathPrinter
• interpret::memory::Memory
• interpret::operand::ImmTy
• interpret::operand::OpTy
• interpret::place::MPlaceTy
• interpret::place::MemPlace
• interpret::place::PlaceTy
• interpret::validity::RefTracking
• interpret::validity::ValidityVisitor
• monomorphize::collector::InliningMap
• monomorphize::collector::MirNeighborCollector
• monomorphize::collector::RootCollector
• monomorphize::partitioning::PartitioningCx
• monomorphize::partitioning::PostInliningPartitioning
• monomorphize::partitioning::PreInliningPartitioning
• monomorphize::partitioning::default::DefaultPartitioning
• monomorphize::polymorphize::HasUsedGenericParams
• monomorphize::polymorphize::MarkUsedGenericParams
• shim::CloneShimBuilder
• shim::DropShimElaborator
• transform::MirSource
• transform::add_moves_for_packed_drops::AddMovesForPackedDrops
• transform::add_retag::AddRetag
• transform::check_const_item_mutation::CheckConstItemMutation
• transform::check_const_item_mutation::ConstMutationChecker
• transform::check_consts::ConstCx
• transform::check_consts::ops::CellBorrow
• transform::check_consts::ops::FloatingPointOp
• transform::check_consts::ops::FnCallIndirect
• transform::check_consts::ops::FnCallNonConst
• transform::check_consts::ops::FnCallUnstable
• transform::check_consts::ops::FnPtrCast
• transform::check_consts::ops::Generator
• transform::check_consts::ops::HeapAllocation
• transform::check_consts::ops::InlineAsm
• transform::check_consts::ops::LiveDrop
• transform::check_consts::ops::MutBorrow
• transform::check_consts::ops::MutDeref
• transform::check_consts::ops::Panic
• transform::check_consts::ops::RawPtrComparison
• transform::check_consts::ops::RawPtrDeref
• transform::check_consts::ops::RawPtrToIntCast
• transform::check_consts::ops::StaticAccess
• transform::check_consts::ops::ThreadLocalAccess
• transform::check_consts::ops::Transmute
• transform::check_consts::ops::UnionAccess
• transform::check_consts::ops::UnsizingCast
• transform::check_consts::ops::ty::FnPtr
• transform::check_consts::ops::ty::ImplTrait
• transform::check_consts::ops::ty::MutRef
• transform::check_consts::ops::ty::TraitBound
• transform::check_consts::ops::ty::TraitBoundNotConst
• transform::check_consts::post_drop_elaboration::CheckLiveDrops
• transform::check_consts::qualifs::CustomEq
• transform::check_consts::qualifs::HasMutInterior
• transform::check_consts::qualifs::NeedsDrop
• transform::check_consts::resolver::FlowSensitiveAnalysis
• transform::check_consts::resolver::TransferFunction
• transform::check_consts::validation::Qualifs
• transform::check_consts::validation::Validator
• transform::check_packed_ref::CheckPackedRef
• transform::check_packed_ref::PackedRefChecker
• transform::check_unsafety::UnsafetyChecker
• transform::check_unsafety::UnusedUnsafeVisitor
• transform::cleanup_post_borrowck::CleanupNonCodegenStatements
• transform::cleanup_post_borrowck::DeleteNonCodegenStatements
• transform::const_prop::CanConstProp
• transform::const_prop::ConstProp
• transform::const_prop::ConstPropMachine
• transform::const_prop::ConstPropagator
• transform::coverage::Error
• transform::coverage::InstrumentCoverage
• transform::coverage::Instrumentor
• transform::coverage::counters::BcbCounters
• transform::coverage::counters::CoverageCounters
• transform::coverage::debug::DebugCounter
• transform::coverage::debug::DebugCounters
• transform::coverage::debug::DebugOptions
• transform::coverage::debug::ExpressionFormat
• transform::coverage::debug::GraphvizData
• transform::coverage::debug::UsedExpressions
• transform::coverage::graph::BasicCoverageBlock
• transform::coverage::graph::BasicCoverageBlockData
• transform::coverage::graph::BcbBranch
• transform::coverage::graph::CoverageGraph
• transform::coverage::graph::ShortCircuitPreorder
• transform::coverage::graph::TraversalContext
• transform::coverage::graph::TraverseCoverageGraphWithLoops
• transform::coverage::query::CoverageVisitor
• transform::coverage::spans::CoverageSpan
• transform::coverage::spans::CoverageSpans
• transform::deaggregator::Deaggregator
• transform::dest_prop::BorrowCollector
• transform::dest_prop::CandidateAssignment
• transform::dest_prop::Conflicts
• transform::dest_prop::DestinationPropagation
• transform::dest_prop::FindAssignments
• transform::dest_prop::IndexCollector
• transform::dest_prop::Replacements
• transform::dest_prop::Replacer
• transform::dest_prop::UnifyLocal
• transform::dump_mir::Disambiguator
• transform::dump_mir::Marker
• transform::early_otherwise_branch::EarlyOtherwiseBranch
• transform::early_otherwise_branch::Helper
• transform::early_otherwise_branch::OptimizationInfo
• transform::early_otherwise_branch::OptimizationToApply
• transform::early_otherwise_branch::SwitchDiscriminantInfo
• transform::elaborate_drops::ElaborateDrops
• transform::elaborate_drops::ElaborateDropsCtxt
• transform::elaborate_drops::Elaborator
• transform::elaborate_drops::InitializationData
• transform::function_item_references::FunctionItemRefChecker
• transform::function_item_references::FunctionItemReferences
• transform::generator::DerefArgVisitor
• transform::generator::EnsureGeneratorFieldAssignmentsNeverAlias
• transform::generator::GeneratorSavedLocals
• transform::generator::LivenessInfo
• transform::generator::PinArgVisitor
• transform::generator::RenameLocalVisitor
• transform::generator::StateTransform
• transform::generator::StorageConflictVisitor
• transform::generator::SuspensionPoint
• transform::generator::TransformVisitor
• transform::inline::CallSite
• transform::inline::Inline
• transform::inline::Inliner
• transform::inline::Integrator
• transform::instcombine::InstCombine
• transform::instcombine::InstCombineVisitor
• transform::instcombine::MutatingUseVisitor
• transform::instcombine::OptimizationFinder
• transform::instcombine::OptimizationList
• transform::lower_intrinsics::LowerIntrinsics
• transform::match_branches::MatchBranchSimplification
• transform::multiple_return_terminators::MultipleReturnTerminators
• transform::no_landing_pads::NoLandingPads
• transform::nrvo::IsReturnPlaceRead
• transform::nrvo::RenameReturnPlace
• transform::nrvo::RenameToReturnPlace
• transform::promote_consts::Collector
• transform::promote_consts::PromoteTemps
• transform::promote_consts::Promoter
• transform::promote_consts::Unpromotable
• transform::promote_consts::Validator
• transform::remove_noop_landing_pads::RemoveNoopLandingPads
• transform::remove_unneeded_drops::RemoveUnneededDrops
• transform::remove_unneeded_drops::RemoveUnneededDropsOptimizationFinder
• transform::required_consts::RequiredConstsVisitor
• transform::rustc_peek::PeekCall
• transform::rustc_peek::SanityCheck
• transform::simplify::CfgSimplifier
• transform::simplify::LocalUpdater
• transform::simplify::SimplifyCfg
• transform::simplify::SimplifyLocals
• transform::simplify::UsedLocals
• transform::simplify_branches::SimplifyBranches
• transform::simplify_comparison_integral::OptimizationFinder
• transform::simplify_comparison_integral::OptimizationInfo
• transform::simplify_comparison_integral::SimplifyComparisonIntegral
• transform::simplify_try::ArmIdentityInfo
• transform::simplify_try::LocalUseCounter
• transform::simplify_try::SimplifyArmIdentity
• transform::simplify_try::SimplifyBranchSame
• transform::simplify_try::SimplifyBranchSameOptimization
• transform::simplify_try::SimplifyBranchSameOptimizationFinder
• transform::simplify_try::SwitchTargetAndValue
• transform::simplify_try::VarField
• transform::uninhabited_enum_branching::UninhabitedEnumBranching
• transform::unreachable_prop::UnreachablePropagation
• transform::validate::TypeChecker
• transform::validate::Validator
• util::collect_writes::FindLocalAssignmentVisitor
• util::elaborate_drops::DropCtxt
• util::generic_graphviz::GraphvizWriter
• util::patch::MirPatch
• util::pretty::ExtraComments
• util::spanview::SpanViewable
• util::storage::AlwaysLiveLocals
• util::storage::StorageAnnotationVisitor

Enums

• borrow_check::AccessDepth
• borrow_check::ArtificialField
• borrow_check::InitializationRequiringAction
• borrow_check::LocalMutationIsAllowed
• borrow_check::MutateMode
• borrow_check::Overlap
• borrow_check::ReadKind
• borrow_check::ReadOrWrite
• borrow_check::WriteKind
• borrow_check::borrow_set::LocalsStateAtExit
• borrow_check::borrow_set::TwoPhaseActivation
• borrow_check::def_use::DefUse
• borrow_check::diagnostics::BorrowedContentSource
• borrow_check::diagnostics::FnSelfUseKind
• borrow_check::diagnostics::UseSpans
• borrow_check::diagnostics::conflict_errors::AnnotatedBorrowFnSignature
• borrow_check::diagnostics::conflict_errors::StorageDeadOrDrop
• borrow_check::diagnostics::explain_borrow::BorrowExplanation
• borrow_check::diagnostics::explain_borrow::LaterUseKind
• borrow_check::diagnostics::find_use::DefUseResult
• borrow_check::diagnostics::move_errors::GroupedMoveError
• borrow_check::diagnostics::mutability_errors::AccessKind
• borrow_check::diagnostics::outlives_suggestion::SuggestedConstraint
• borrow_check::diagnostics::region_errors::RegionErrorKind
• borrow_check::diagnostics::region_name::RegionNameHighlight
• borrow_check::diagnostics::region_name::RegionNameSource
• borrow_check::location::RichLocation
• borrow_check::path_utils::Control
• borrow_check::places_conflict::PlaceConflictBias
• borrow_check::prefixes::PrefixSet
• borrow_check::region_infer::Cause
• borrow_check::region_infer::RegionRelationCheckResult
• borrow_check::region_infer::Trace
• borrow_check::region_infer::values::RegionElement
• borrow_check::type_check::FieldAccessError
• borrow_check::type_check::Locations
• borrow_check::universal_regions::DefiningTy
• borrow_check::universal_regions::RegionClassification
• const_eval::ConstEvalErrKind
• const_eval::error::ConstEvalErrKind
• dataflow::framework::Effect
• dataflow::framework::graphviz::Background
• dataflow::framework::graphviz::OutputStyle
• dataflow::framework::lattice::FlatSet
• dataflow::impls::liveness::DefUse
• dataflow::lattice::FlatSet
• dataflow::move_paths::IllegalMoveOriginKind
• dataflow::move_paths::InitKind
• dataflow::move_paths::InitLocation
• dataflow::move_paths::LookupResult
• dataflow::move_paths::MoveError
• interpret::AllocCheck
• interpret::CheckInAllocMsg
• interpret::ConstValue
• interpret::CtfeValidationMode
• interpret::ErrorHandled
• interpret::FnVal
• interpret::GlobalAlloc
• interpret::Immediate
• interpret::InternKind
• interpret::InterpError
• interpret::InvalidProgramInfo
• interpret::LitToConstError
• interpret::LocalValue
• interpret::MemPlaceMeta
• interpret::MemoryKind
• interpret::Operand
• interpret::Place
• interpret::ResourceExhaustionInfo
• interpret::Scalar
• interpret::ScalarMaybeUninit
• interpret::StackPopCleanup
• interpret::StackPopJump
• interpret::UndefinedBehaviorInfo
• interpret::UnsupportedOpInfo
• interpret::eval_context::LocalValue
• interpret::eval_context::StackPopCleanup
• interpret::intern::InternKind
• interpret::intern::InternMode
• interpret::machine::StackPopJump
• interpret::memory::AllocCheck
• interpret::memory::FnVal
• interpret::memory::MemoryKind
• interpret::operand::Immediate
• interpret::operand::Operand
• interpret::place::MemPlaceMeta
• interpret::place::Place
• interpret::validity::CtfeValidationMode
• interpret::validity::PathElem
• monomorphize::collector::MonoItemCollectionMode
• monomorphize::partitioning::MonoItemPlacement
• shim::Adjustment
• shim::CallKind
• transform::add_call_guards::AddCallGuards
• transform::check_consts::ops::DiagnosticImportance
• transform::check_consts::ops::Status
• transform::const_prop::ConstPropMode
• transform::coverage::spans::CoverageStatement
• transform::generator::Operation
• transform::promote_consts::Candidate
• transform::promote_consts::TempState
• transform::rustc_peek::PeekCallKind
• transform::simplify_try::StatementEquality
• transform::validate::EdgeKind
• util::PassWhere
• util::elaborate_drops::DropFlagMode
• util::elaborate_drops::DropFlagState
• util::elaborate_drops::DropStyle
• util::elaborate_drops::Unwind
• util::pretty::PassWhere

Traits

• borrow_check::constraints::graph::ConstraintGraphDirecton
• borrow_check::facts::AllFactsExt
• borrow_check::facts::FactCell
• borrow_check::facts::FactRow
• borrow_check::nll::ConstraintDescription
• borrow_check::nll::ToRegionVid
• borrow_check::place_ext::PlaceExt
• borrow_check::prefixes::IsPrefixOf
• borrow_check::region_infer::ClosureRegionRequirementsExt
• borrow_check::region_infer::values::ToElementIndex
• borrow_check::type_check::NormalizeLocation
• borrow_check::universal_regions::InferCtxtExt
• dataflow::Analysis
• dataflow::AnalysisDomain
• dataflow::GenKill
• dataflow::GenKillAnalysis
• dataflow::JoinSemiLattice
• dataflow::ResultsVisitor
• dataflow::fmt::DebugWithContext
• dataflow::framework::Analysis
• dataflow::framework::AnalysisDomain
• dataflow::framework::GenKill
• dataflow::framework::GenKillAnalysis
• dataflow::framework::SwitchIntEdgeEffects
• dataflow::framework::direction::Direction
• dataflow::framework::fmt::DebugWithContext
• dataflow::framework::lattice::JoinSemiLattice
• dataflow::framework::lattice::MeetSemiLattice
• dataflow::framework::visitor::ResultsVisitable
• dataflow::framework::visitor::ResultsVisitor
• dataflow::impls::borrowed_locals::BorrowAnalysisKind
• dataflow::lattice::JoinSemiLattice
• dataflow::lattice::MeetSemiLattice
• dataflow::move_paths::HasMoveData
• dataflow::move_paths::abs_domain::Lift
• interpret::AllocMap
• interpret::AllocationExtra
• interpret::Machine
• interpret::MachineStopType
• interpret::MayLeak
• interpret::MutValueVisitor
• interpret::PointerArithmetic
• interpret::ValueVisitor
• interpret::machine::AllocMap
• interpret::machine::Machine
• interpret::machine::MayLeak
• interpret::visitor::MutValueVisitor
• interpret::visitor::Value
• interpret::visitor::ValueVisitor
• monomorphize::partitioning::Partitioner
• transform::MirPass
• transform::check_consts::ops::NonConstOp
• transform::check_consts::qualifs::Qualif
• transform::rustc_peek::RustcPeekAt
• util::collect_writes::FindAssignments
• util::elaborate_drops::DropElaborator

Macros

• compile_time_machine
• interpret::compile_time_machine

Functions

• borrow_check::constraint_generation::generate_constraints
• borrow_check::constraint_generation::record_killed_borrows_for_local
• borrow_check::def_use::categorize
• borrow_check::diagnostics::find_use::find
• borrow_check::diagnostics::mutability_errors::annotate_struct_field
• borrow_check::diagnostics::mutability_errors::is_closure_or_generator
• borrow_check::diagnostics::mutability_errors::mut_borrow_of_mutable_ref
• borrow_check::diagnostics::mutability_errors::suggest_ampmut
• borrow_check::diagnostics::mutability_errors::suggest_ampmut_self
• borrow_check::diagnostics::mutability_errors::suggest_ref_mut
• borrow_check::do_mir_borrowck
• borrow_check::facts::write_row
• borrow_check::invalidation::generate_invalidates
• borrow_check::member_constraints::append_list
• borrow_check::mir_borrowck
• borrow_check::nll::compute_regions
• borrow_check::nll::dump_annotation
• borrow_check::nll::dump_mir_results
• borrow_check::nll::for_each_region_constraint
• borrow_check::nll::populate_polonius_move_facts
• borrow_check::nll::replace_regions_in_mir
• borrow_check::path_utils::allow_two_phase_borrow
• borrow_check::path_utils::borrow_of_local_data
• borrow_check::path_utils::each_borrow_involving_path
• borrow_check::path_utils::is_active
• borrow_check::path_utils::is_upvar_field_projection
• borrow_check::places_conflict::borrow_conflicts_with_place
• borrow_check::places_conflict::place_base_conflict
• borrow_check::places_conflict::place_components_conflict
• borrow_check::places_conflict::place_projection_conflict
• borrow_check::places_conflict::places_conflict
• borrow_check::provide
• borrow_check::region_infer::values::location_set_str
• borrow_check::region_infer::values::region_value_str
• borrow_check::renumber::renumber_mir
• borrow_check::renumber::renumber_regions
• borrow_check::type_check::free_region_relations::create
• borrow_check::type_check::liveness::compute_live_locals
• borrow_check::type_check::liveness::generate
• borrow_check::type_check::liveness::polonius::add_drop_of_var_derefs_origin
• borrow_check::type_check::liveness::polonius::populate_access_facts
• borrow_check::type_check::liveness::regions_that_outlive_free_regions
• borrow_check::type_check::liveness::trace::trace
• borrow_check::type_check::mirbug
• borrow_check::type_check::relate_tys::relate_types
• borrow_check::type_check::translate_outlives_facts
• borrow_check::type_check::type_check
• borrow_check::type_check::type_check_internal
• borrow_check::universal_regions::for_each_late_bound_region_defined_on
• const_eval::const_caller_location
• const_eval::deref_const
• const_eval::destructure_const
• const_eval::eval_queries::eval_body_using_ecx
• const_eval::eval_queries::eval_to_allocation_raw_provider
• const_eval::eval_queries::eval_to_const_value_raw_provider
• const_eval::eval_queries::mk_eval_cx
• const_eval::eval_queries::note_on_undefined_behavior_error
• const_eval::eval_queries::op_to_const
• const_eval::eval_queries::turn_into_const_value
• const_eval::eval_to_allocation_raw_provider
• const_eval::eval_to_const_value_raw_provider
• const_eval::fn_queries::is_const_fn
• const_eval::fn_queries::is_const_fn_raw
• const_eval::fn_queries::is_const_impl_raw
• const_eval::fn_queries::is_min_const_fn
• const_eval::fn_queries::is_parent_const_impl_raw
• const_eval::fn_queries::is_promotable_const_fn
• const_eval::fn_queries::is_unstable_const_fn
• const_eval::fn_queries::provide
• const_eval::is_const_fn
• const_eval::is_min_const_fn
• const_eval::is_parent_const_impl_raw
• const_eval::is_unstable_const_fn
• const_eval::note_on_undefined_behavior_error
• const_eval::provide
• dataflow::drop_flag_effects::drop_flag_effects_for_function_entry
• dataflow::drop_flag_effects::drop_flag_effects_for_location
• dataflow::drop_flag_effects::for_location_inits
• dataflow::drop_flag_effects::move_path_children_matching
• dataflow::drop_flag_effects::on_all_children_bits
• dataflow::drop_flag_effects::on_all_drop_children_bits
• dataflow::drop_flag_effects::on_all_inactive_variants
• dataflow::drop_flag_effects::on_lookup_result_bits
• dataflow::drop_flag_effects::place_contents_drop_state_cannot_differ
• dataflow::framework::direction::opt_clone_from_or_clone
• dataflow::framework::engine::write_graphviz_results
• dataflow::framework::graphviz::dataflow_successors
• dataflow::framework::graphviz::diff_pretty
• dataflow::framework::visitor::visit_results
• dataflow::has_rustc_mir_with
• dataflow::impls::borrows::precompute_borrows_out_of_scope
• dataflow::impls::switch_on_enum_discriminant
• dataflow::move_paths::builder::gather_moves
• dataflow::visit_results
• interpret::eval_context::from_known_layout
• interpret::eval_context::mir_assign_valid_types
• interpret::get_slice_bytes
• interpret::intern::intern_const_alloc_recursive
• interpret::intern::intern_shallow
• interpret::intern_const_alloc_recursive
• interpret::intrinsics::eval_nullary_intrinsic
• interpret::intrinsics::numeric_intrinsic
• interpret::intrinsics::type_name::alloc_type_name
• interpret::read_target_uint
• interpret::specialized_encode_alloc_id
• interpret::step::binop_left_homogeneous
• interpret::step::binop_right_homogeneous
• interpret::struct_error
• interpret::uabs
• interpret::util::ensure_monomorphic_enough
• interpret::validity::wrapping_range_contains
• interpret::validity::wrapping_range_format
• interpret::validity::write_path
• interpret::write_target_uint
• monomorphize::collector::check_recursion_limit
• monomorphize::collector::check_type_length_limit
• monomorphize::collector::collect_const_value
• monomorphize::collector::collect_crate_mono_items
• monomorphize::collector::collect_items_rec
• monomorphize::collector::collect_miri
• monomorphize::collector::collect_neighbours
• monomorphize::collector::collect_roots
• monomorphize::collector::create_fn_mono_item
• monomorphize::collector::create_mono_items_for_default_impls
• monomorphize::collector::create_mono_items_for_vtable_methods
• monomorphize::collector::find_vtable_types_for_unsizing
• monomorphize::collector::item_requires_monomorphization
• monomorphize::collector::record_accesses
• monomorphize::collector::should_codegen_locally
• monomorphize::collector::shrunk_instance_name
• monomorphize::collector::visit_drop_use
• monomorphize::collector::visit_fn_use
• monomorphize::collector::visit_instance_use
• monomorphize::custom_coerce_unsize_info
• monomorphize::partitioning::assert_symbols_are_distinct
• monomorphize::partitioning::collect_and_partition_mono_items
• monomorphize::partitioning::debug_dump
• monomorphize::partitioning::default::characteristic_def_id_of_mono_item
• monomorphize::partitioning::default::compute_codegen_unit_name
• monomorphize::partitioning::default::default_visibility
• monomorphize::partitioning::default::fallback_cgu_name
• monomorphize::partitioning::default::mono_item_linkage_and_visibility
• monomorphize::partitioning::default::mono_item_visibility
• monomorphize::partitioning::get_partitioner
• monomorphize::partitioning::merging::merge_codegen_units
• monomorphize::partitioning::merging::numbered_codegen_unit_name
• monomorphize::partitioning::partition
• monomorphize::partitioning::provide
• monomorphize::polymorphize::emit_unused_generic_params_error
• monomorphize::polymorphize::mark_used_by_default_parameters
• monomorphize::polymorphize::mark_used_by_predicates
• monomorphize::polymorphize::provide
• monomorphize::polymorphize::unused_generic_params
• provide
• shim::build_adt_ctor
• shim::build_call_shim
• shim::build_clone_shim
• shim::build_drop_shim
• shim::local_decls_for_sig
• shim::make_shim
• shim::new_body
• shim::provide
• transform::add_moves_for_packed_drops::add_move_for_packed_drop
• transform::add_moves_for_packed_drops::add_moves_for_packed_drops
• transform::add_moves_for_packed_drops::add_moves_for_packed_drops_patch
• transform::add_retag::is_stable
• transform::add_retag::may_be_reference
• transform::check_consts::is_const_stable_const_fn
• transform::check_consts::is_lang_panic_fn
• transform::check_consts::ops::mcf_build_error
• transform::check_consts::ops::mcf_status_in_item
• transform::check_consts::post_drop_elaboration::check_live_drops
• transform::check_consts::post_drop_elaboration::checking_enabled
• transform::check_consts::qualifs::in_any_value_of_ty
• transform::check_consts::qualifs::in_operand
• transform::check_consts::qualifs::in_place
• transform::check_consts::qualifs::in_rvalue
• transform::check_consts::rustc_allow_const_fn_unstable
• transform::check_consts::validation::check_return_ty_is_sync
• transform::check_consts::validation::emit_unstable_in_stable_error
• transform::check_consts::validation::is_async_fn
• transform::check_consts::validation::is_int_bool_or_char
• transform::check_consts::validation::place_as_reborrow
• transform::check_unsafety::builtin_derive_def_id
• transform::check_unsafety::check_unsafety
• transform::check_unsafety::check_unused_unsafe
• transform::check_unsafety::is_enclosed
• transform::check_unsafety::provide
• transform::check_unsafety::report_unused_unsafe
• transform::check_unsafety::unsafe_derive_on_repr_packed
• transform::check_unsafety::unsafe_op_in_unsafe_fn_allowed
• transform::check_unsafety::unsafety_check_result
• transform::coverage::debug::bcb_to_string_sections
• transform::coverage::debug::bool_option_val
• transform::coverage::debug::counter_format_option_val
• transform::coverage::debug::debug_options
• transform::coverage::debug::dump_coverage_graphviz
• transform::coverage::debug::dump_coverage_spanview
• transform::coverage::debug::span_viewables
• transform::coverage::debug::term_type
• transform::coverage::graph::bcb_filtered_successors
• transform::coverage::graph::find_loop_backedges
• transform::coverage::hash
• transform::coverage::hash_mir_source
• transform::coverage::hir_body
• transform::coverage::inject_edge_counter_basic_block
• transform::coverage::inject_intermediate_expression
• transform::coverage::inject_statement
• transform::coverage::make_code_region
• transform::coverage::query::coverageinfo_from_mir
• transform::coverage::query::provide
• transform::coverage::spans::filtered_statement_span
• transform::coverage::spans::filtered_terminator_span
• transform::coverage::spans::function_source_span
• transform::coverage::spans::is_goto
• transform::default_name
• transform::dest_prop::ever_borrowed_locals
• transform::dest_prop::find_candidates
• transform::dest_prop::is_local_required
• transform::dest_prop::locals_used_as_array_index
• transform::dump_mir::emit_mir
• transform::dump_mir::on_mir_pass
• transform::early_otherwise_branch::is_switch
• transform::elaborate_drops::find_dead_unwinds
• transform::generator::can_return
• transform::generator::can_unwind
• transform::generator::compute_layout
• transform::generator::compute_storage_conflicts
• transform::generator::create_cases
• transform::generator::create_generator_drop_shim
• transform::generator::create_generator_resume_function
• transform::generator::elaborate_generator_drops
• transform::generator::insert_clean_drop
• transform::generator::insert_panic_block
• transform::generator::insert_switch
• transform::generator::insert_term_block
• transform::generator::locals_live_across_suspend_points
• transform::generator::make_generator_state_argument_indirect
• transform::generator::make_generator_state_argument_pinned
• transform::generator::replace_base
• transform::generator::replace_local
• transform::generator::sanitize_witness
• transform::inline::inline
• transform::inline::type_size_of
• transform::inner_optimized_mir
• transform::is_mir_available
• transform::lower_intrinsics::resolve_rust_intrinsic
• transform::mir_const
• transform::mir_const_qualif
• transform::mir_drops_elaborated_and_const_checked
• transform::mir_keys
• transform::mir_promoted
• transform::no_landing_pads::no_landing_pads
• transform::nrvo::as_local_assigned_to_return_place
• transform::nrvo::find_local_assigned_to_return_place
• transform::nrvo::local_eligible_for_nrvo
• transform::optimized_mir
• transform::optimized_mir_of_const_arg
• transform::promote_consts::args_required_const
• transform::promote_consts::collect_temps_and_candidates
• transform::promote_consts::promote_candidates
• transform::promote_consts::should_suggest_const_in_array_repeat_expressions_attribute
• transform::promote_consts::validate_candidates
• transform::promoted_mir
• transform::provide
• transform::remove_noop_landing_pads::remove_noop_landing_pads
• transform::run_optimization_passes
• transform::run_passes
• transform::run_post_borrowck_cleanup_passes
• transform::rustc_peek::sanity_check_via_rustc_peek
• transform::rustc_peek::value_assigned_to_local
• transform::simplify::make_local_map
• transform::simplify::remove_dead_blocks
• transform::simplify::remove_unused_definitions
• transform::simplify::simplify_cfg
• transform::simplify_comparison_integral::find_branch_value_info
• transform::simplify_try::get_arm_identity_info
• transform::simplify_try::match_get_variant_field
• transform::simplify_try::match_set_discr
• transform::simplify_try::match_set_variant_field
• transform::simplify_try::match_variant_field_place
• transform::simplify_try::optimization_applies
• transform::uninhabited_enum_branching::get_discriminant_local
• transform::uninhabited_enum_branching::get_switched_on_type
• transform::uninhabited_enum_branching::variant_discriminants
• transform::unreachable_prop::remove_successors
• transform::validate::equal_up_to_regions
• util::aggregate::expand_aggregate
• util::alignment::is_disaligned
• util::alignment::is_within_packed
• util::borrowck_errors::borrowed_data_escapes_closure
• util::dump_enabled
• util::dump_mir
• util::elaborate_drops::elaborate_drop
• util::find_self_call
• util::find_self_call::find_self_call
• util::graphviz::escape
• util::graphviz::graphviz_safe_def_name
• util::graphviz::node
• util::graphviz::write_edges
• util::graphviz::write_graph_label
• util::graphviz::write_mir_fn_graphviz
• util::graphviz::write_mir_graphviz
• util::graphviz::write_node
• util::graphviz::write_node_label
• util::graphviz_safe_def_name
• util::is_disaligned
• util::pretty::comment
• util::pretty::create_dump_file
• util::pretty::create_dump_file_with_basename
• util::pretty::display_allocation
• util::pretty::dump_enabled
• util::pretty::dump_file_basename
• util::pretty::dump_matched_mir_node
• util::pretty::dump_mir
• util::pretty::dump_mir_def_ids
• util::pretty::dump_path
• util::pretty::write_allocation_bytes
• util::pretty::write_allocation_endline
• util::pretty::write_allocation_newline
• util::pretty::write_allocations
• util::pretty::write_basic_block
• util::pretty::write_extra
• util::pretty::write_mir_fn
• util::pretty::write_mir_intro
• util::pretty::write_mir_pretty
• util::pretty::write_mir_sig
• util::pretty::write_scope_tree
• util::pretty::write_user_type_annotations
• util::spanview::block_span_viewable
• util::spanview::compute_block_span
• util::spanview::escape_attr
• util::spanview::escape_html
• util::spanview::fn_span
• util::spanview::hir_body
• util::spanview::make_html_snippet
• util::spanview::source_range_no_file
• util::spanview::statement_kind_name
• util::spanview::statement_span_viewable
• util::spanview::terminator_kind_name
• util::spanview::terminator_span_viewable
• util::spanview::tooltip
• util::spanview::trim_span
• util::spanview::trim_span_hi
• util::spanview::trim_span_lo
• util::spanview::write_coverage_gap
• util::spanview::write_document
• util::spanview::write_mir_fn_spanview
• util::spanview::write_next_viewable_with_overlaps
• util::spanview::write_span
• util::write_graphviz_node_label
• util::write_mir_graphviz
• util::write_mir_pretty

Typedefs

• borrow_check::constraints::graph::NormalConstraintGraph
• borrow_check::constraints::graph::ReverseConstraintGraph
• borrow_check::diagnostics::region_errors::RegionErrors
• borrow_check::facts::AllFacts
• borrow_check::nll::PoloniusOutput
• borrow_check::type_check::free_region_relations::NormalizedInputsAndOutput
• borrow_check::type_check::free_region_relations::RegionBoundPairs
• borrow_check::type_check::liveness::polonius::PathPointRelation
• borrow_check::type_check::liveness::polonius::VarPointRelation
• const_eval::machine::CompileTimeEvalContext
• dataflow::BorrowckFlowState
• dataflow::BorrowckResults
• dataflow::ResultsRefCursor
• dataflow::framework::cursor::ResultsRefCursor
• dataflow::framework::visitor::BorrowckFlowState
• dataflow::framework::visitor::BorrowckResults
• dataflow::impls::MaybeMutBorrowedLocals
• dataflow::impls::borrowed_locals::MaybeMutBorrowedLocals
• dataflow::impls::storage_liveness::BorrowedLocalsResults
• dataflow::move_paths::abs_domain::AbstractElem
• interpret::EvalToAllocationRawResult
• interpret::EvalToConstValueResult
• interpret::InterpResult
• monomorphize::partitioning::default::CguNameCache
• transform::check_consts::validation::IndirectlyMutableResults
• transform::check_consts::validation::QualifResults
• transform::coverage::graph::BcbSuccessors

Trait Aliases

• interpret::intern::CompileTimeMachine

Constants

• borrow_check::DEREF_PROJECTION
• borrow_check::region_infer::dump_mir::REGION_WIDTH
• borrow_check::universal_regions::FIRST_GLOBAL_INDEX
• borrow_check::universal_regions::FR
• transform::const_prop::MAX_ALLOC_LIMIT
• transform::coverage::debug::NESTED_INDENT
• transform::coverage::debug::RUSTC_COVERAGE_DEBUG_OPTIONS
• transform::coverage::graph::ID_SEPARATOR
• transform::dest_prop::MAX_BLOCKS
• transform::dest_prop::MAX_LOCALS
• transform::generator::POISONED
• transform::generator::RETURNED
• transform::generator::SELF_ARG
• transform::generator::UNRESUMED
• transform::inline::CALL_PENALTY
• transform::inline::INSTR_COST
• transform::inline::LANDINGPAD_PENALTY
• transform::inline::RESUME_PENALTY
• transform::inline::UNKNOWN_SIZE_COST
• util::pretty::ALIGN
• util::pretty::BYTES_PER_LINE
• util::pretty::INDENT
• util::spanview::ANNOTATION_LEFT_BRACKET
• util::spanview::ANNOTATION_RIGHT_BRACKET
• util::spanview::CARET
• util::spanview::FOOTER
• util::spanview::HEADER
• util::spanview::NEW_LINE_SPAN
• util::spanview::START_BODY
• util::spanview::STYLE_SECTION
• util::spanview::TOOLTIP_INDENT