Code

Remove restrictions from borrowck#14947

Code

Merged

bors merged 14 commits intorust-lang:masterrust-lang/rust:masterfrom

zwarich:check-loans-not-restrictionsCopy head branch name to clipboard

Jun 17, 2014

Commits

Commits on Jun 16, 2014

• Remove comments that no longer apply after the removal of `const`

  

  Cameron Zwarich

  committed
  2f77212

  Copy full SHA for 2f77212

• Remove a pointless check for intersection with RESTR_MUTATE

  Show description for 2d3f122
  

  Cameron Zwarich

  committed
  2d3f122

  Copy full SHA for 2d3f122

• Remove an unused closure parameter

  Show description for d2ca746
  

  Cameron Zwarich

  committed
  d2ca746

  Copy full SHA for d2ca746

• Make a new compatible_borrow_kinds helper function

  Show description for 6ca8dbf
  

  Cameron Zwarich

  committed
  6ca8dbf

  Copy full SHA for 6ca8dbf

• Remove the last actual usage of RestrictionSet

  Show description for 6849362
  

  Cameron Zwarich

  committed
  6849362

  Copy full SHA for 6849362

• Remove an unused bkcerr_code constructor parameter

  Show description for 9934759
  

  Cameron Zwarich

  committed
  9934759

  Copy full SHA for 9934759

• Remove RestrictionSet

  Show description for 59309e0
  

  Cameron Zwarich

  committed
  59309e0

  Copy full SHA for 59309e0

• Remove Restriction

  Show description for e018fc3
  

  Cameron Zwarich

  committed
  e018fc3

  Copy full SHA for e018fc3

• Add a new each_in_scope_loan_affecting_path helper function

  Show description for ba203c5
  

  Cameron Zwarich

  committed
  ba203c5

  Copy full SHA for ba203c5

• Call mark_variable_as_used_mut even after assignment errors

  Show description for 702ef1b
  

  Cameron Zwarich

  committed
  702ef1b

  Copy full SHA for 702ef1b

• Remove an unused return value

  Show description for 178c4fb
  

  Cameron Zwarich

  committed
  178c4fb

  Copy full SHA for 178c4fb

• Always check assigned loan paths to the top of the path

  Show description for 69f4839
  

  Cameron Zwarich

  committed
  69f4839

  Copy full SHA for 69f4839

• Switch to each_in_scope_loan_affecting_path

  Show description for a924d74
  

  Cameron Zwarich

  committed
  a924d74

  Copy full SHA for a924d74

• Rename check_for_assignment_to_restricted_or_frozen_location

  Show description for 480cd6f
  

  Cameron Zwarich

  committed
  480cd6f

  Copy full SHA for 480cd6f