Module storage_
liveness
rustc_
mir_
dataflow
1.83.0-dev
Module storage_
liveness
Module Items
Structs
Type Aliases
In rustc_
mir_
dataflow::
impls
Modules
borrowed_locals
initialized
liveness
storage_liveness
Structs
DefinitelyInitializedPlaces
EverInitializedPlaces
LivenessTransferFunction
MaybeBorrowedLocals
MaybeInitializedPlaces
MaybeLiveLocals
MaybeRequiresStorage
MaybeStorageDead
MaybeStorageLive
MaybeTransitiveLiveLocals
MaybeUninitializedPlaces
Functions
borrowed_locals
rustc_mir_dataflow
::
impls
Module
storage_liveness
Copy item path
Settings
Help
Summary
source
Structs
§
Maybe
Requires
Storage
Dataflow analysis that determines whether each local requires storage at a given location; i.e. whether its storage can go away without being observed.
Maybe
Storage
Dead
Maybe
Storage
Live
Move
Visitor
🔒
Type Aliases
§
Borrowed
Locals
Results
🔒