Fixed for rustc 0.12.0-pre (1fb838d99 2014-09-21)