Updates for rustc as of 2014/12/06