Changes to version rustc 0.12.0-pre-nightly (f5ac41185 2014-08-05 19:06:23 +0000)