---

yaml
---
r: 152585
b: refs/heads/try2
c: e018fc3
h: refs/heads/master
i:
  152583: 52fd3e4
v: v3

Author: Cameron Zwarich

[refs]

@@ -5,7 +5,7 @@ refs/heads/snap-stage3: 78a7676898d9f80ab540c6df5d4c9ce35bb50463
 refs/heads/try: 519addf6277dbafccbb4159db4b710c37eaa2ec5
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
-refs/heads/try2: 59309e0d9bf3eba0f4219062b451ff10cbdf0e2b
+refs/heads/try2: e018fc36d17685c31d6b31acf17a9a8f2f73f8d9
 refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/try2/src/librustc/middle/borrowck/check_loans.rs

@@ -208,8 +208,8 @@ impl<'a> CheckLoanCtxt<'a> {
                    loan.repr(self.tcx()));
 
             let mut ret = true;
-            for restr in loan.restrictions.iter() {
-                if *restr.loan_path == *loan_path {
+            for restr_path in loan.restricted_paths.iter() {
+                if **restr_path == *loan_path {
                     if !op(loan) {
                         ret = false;
                         break;
@@ -298,8 +298,8 @@ impl<'a> CheckLoanCtxt<'a> {
             return true;
         }
 
-        for restr in loan1.restrictions.iter() {
-            if restr.loan_path != loan2.loan_path { continue; }
+        for restr_path in loan1.restricted_paths.iter() {
+            if *restr_path != loan2.loan_path { continue; }
 
             let old_pronoun = if new_loan.loan_path == old_loan.loan_path {
                 "it".to_string()

branches/try2/src/librustc/middle/borrowck/gather_loans/mod.rs

@@ -268,7 +268,7 @@ impl<'a> GatherLoanCtxt<'a> {
                 return;
             }
 
-            restrictions::SafeIf(loan_path, restrictions) => {
+            restrictions::SafeIf(loan_path, restricted_paths) => {
                 let loan_scope = match loan_region {
                     ty::ReScope(id) => id,
                     ty::ReFree(ref fr) => fr.scope_id,
@@ -314,7 +314,7 @@ impl<'a> GatherLoanCtxt<'a> {
                     gen_scope: gen_scope,
                     kill_scope: kill_scope,
                     span: borrow_span,
-                    restrictions: restrictions,
+                    restricted_paths: restricted_paths,
                     cause: cause,
                 }
             }

branches/try2/src/librustc/middle/borrowck/gather_loans/restrictions.rs

@@ -23,7 +23,7 @@ use std::rc::Rc;
 
 pub enum RestrictionResult {
     Safe,
-    SafeIf(Rc<LoanPath>, Vec<Restriction>)
+    SafeIf(Rc<LoanPath>, Vec<Rc<LoanPath>>)
 }
 
 pub fn compute_restrictions(bccx: &BorrowckCtxt,
@@ -71,7 +71,7 @@ impl<'a> RestrictionsContext<'a> {
             mc::cat_upvar(ty::UpvarId {var_id: local_id, ..}, _) => {
                 // R-Variable
                 let lp = Rc::new(LpVar(local_id));
-                SafeIf(lp.clone(), vec!(Restriction { loan_path: lp }))
+                SafeIf(lp.clone(), vec!(lp))
             }
 
             mc::cat_downcast(cmt_base) => {
@@ -164,7 +164,7 @@ impl<'a> RestrictionsContext<'a> {
             Safe => Safe,
             SafeIf(base_lp, mut base_vec) => {
                 let lp = Rc::new(LpExtend(base_lp, mc, elem));
-                base_vec.push(Restriction { loan_path: lp.clone() });
+                base_vec.push(lp.clone());
                 SafeIf(lp, base_vec)
             }
         }

branches/try2/src/librustc/middle/borrowck/mod.rs

@@ -181,7 +181,7 @@ pub struct Loan {
     index: uint,
     loan_path: Rc<LoanPath>,
     kind: ty::BorrowKind,
-    restrictions: Vec<Restriction>,
+    restricted_paths: Vec<Rc<LoanPath>>,
     gen_scope: ast::NodeId,
     kill_scope: ast::NodeId,
     span: Span,
@@ -249,10 +249,6 @@ pub fn opt_loan_path(cmt: &mc::cmt) -> Option<Rc<LoanPath>> {
     }
 }
 
-pub struct Restriction {
-    loan_path: Rc<LoanPath>,
-}
-
 ///////////////////////////////////////////////////////////////////////////
 // Errors
 
@@ -777,13 +773,7 @@ impl Repr for Loan {
                  self.kind,
                  self.gen_scope,
                  self.kill_scope,
-                 self.restrictions.repr(tcx))).to_string()
-    }
-}
-
-impl Repr for Restriction {
-    fn repr(&self, tcx: &ty::ctxt) -> String {
-        (format!("Restriction({})", self.loan_path.repr(tcx))).to_string()
+                 self.restricted_paths.repr(tcx))).to_string()
     }
 }