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 makeb
and (transitively)c
possible borrowers ofa
.
Functionsยง
- rvalue_
locals ๐