Code

Moves into borrowck#6784

Code

Merged

bors merged 5 commits intorust-lang:incomingrust-lang/rust:incomingfrom

nikomatsakis:moves-into-borrowcknikomatsakis/rust:moves-into-borrowckCopy head branch name to clipboard

May 29, 2013

Commits

Commits on May 29, 2013

• Move checking for moves and initialization of local variables and patterns into

  Show description for 5851d32
  nikomatsakis

  committed
  5851d32

  Copy full SHA for 5851d32

• Update docs on the formal basis of the borrow checker.

  nikomatsakis

  committed
  329f7a1

  Copy full SHA for 329f7a1

• Reconcile docs and code, adding examples and adding RESTR_CLAIM

  nikomatsakis

  committed
  bf1647c

  Copy full SHA for bf1647c

• Reconcile treatment of &mut with the docs

  nikomatsakis

  committed
  e35db1a

  Copy full SHA for e35db1a

• Update documentation for moves

  nikomatsakis

  committed
  f30b538

  Copy full SHA for f30b538