mozilla/rust — pull request #4914 by nikomatsakis (2013-02-13 04:13:38+00:00)
Title: Adjust borrow checker algorithm to address #4856 unsoundness,

and then adjust code to match. rs=unsound (will review post-landing)

rs=unsound