Module storage_liveness

Structs

• MaybeRequiresStorage
  Dataflow analysis that determines whether each local requires storage at a given location; i.e. whether its storage can go away without being observed.
• MaybeStorageDead
• MaybeStorageLive
• MoveVisitor 🔒

Type Aliases

• BorrowedLocalsResults 🔒