Structs§
- Contains
Region 🔒 - Possible
Borrower Map - Result of
PossibleBorrowerVisitor. - Possible
Borrower 🔒Visitor - Collects the possible borrowers of each local.
For example,
b = &a; c = &a;will makeband (transitively)cpossible borrowers ofa.
PossibleBorrowerVisitor.b = &a; c = &a; will make b and (transitively) c
possible borrowers of a.