The Borrow Checker

Data structures used for tracking moves. Please see the extensive comments in the section "Moves and initialization" and in doc.rs.

Record of a loan that was issued.

Computes the LoanPath (if any) for a cmt. Note that this logic is somewhat duplicated in the method compute() found in gather_loans::restrictions, which allows it to share common loan path pieces as it traverses the CMT.