[][src]Module test_generation::borrow_graph

Structs

BorrowGraph

The BorrowGraph stores information sufficient to determine whether the instruction of a bytecode instruction that interacts with references is memory safe.

Enums

EdgeType

The EdgeType is either weak or strong. A weak edge represents imprecise information on the path along which the borrow takes place. A strong edge is precise.