Follow rustc

rustc 0.12.0-pre (7375f4d84 2014-07-29 07:56:41 +0000)