Structs§
- Look for
break
expressions within any arbitrary expressions. We’ll do this to infer whether this is a case where the moved value would affect the exit of a loop, making it unsuitable for a.clone()
suggestion. - 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.
- Move
Site 🔒 - Detect whether one of the provided spans is a statement nested within the top-most visited expr
Enums§
- Which case a StorageDeadOrDrop is for.