Update for rustc 6ef8392b3 2014-10-20 22:17:49 +0000