Structs

Given a set of spans representing statements initializing the relevant binding, visit all the function expressions looking for branching code paths that do not initialize the binding.
MoveSite 🔒
Detect whether one of the provided spans is a statement nested within the top-most visited expr

Enums

Which case a StorageDeadOrDrop is for.