Module move_stackless_bytecode::borrow_analysis
source · [−]Expand description
Data flow analysis computing borrow information for preparation of memory_instrumentation.
Structs
Borrow analysis processor.
Borrow annotation computed by the borrow analysis processor.
Functions
Format a borrow annotation.