Implement stronger guarantees for mutable borrows#14739

Merged

bors merged 9 commits intorust-lang:masterfrom zwarich:mut-unique-path

Jun 14, 2014

+503-199

Commits on Jun 14, 2014

Make analyze_move_out_from use a loop rather than recursion
Cameron Zwarich
committed
Make check_for_move_of_borrowed_path take an &LoanPath rather than an &Rc<LoanPath>
Cameron Zwarich
committed
Make analyze_move_out_from more field-sensitive
Cameron Zwarich
committed
Make analyze_move_out_from take a BorrowKind
Cameron Zwarich
committed
Rename analyze_move_out_from to analyze_restrictions_on_use
Cameron Zwarich
committed
Fix all violations of stronger guarantees for mutable borrows
Cameron Zwarich
committed
Enforce stronger guarantees for mutable borrows
Cameron Zwarich
committed
Add new tests for uses of mutably borrowed paths
Cameron Zwarich
committed
Reorganize code in check_loans
Cameron Zwarich
committed