Update for Rust 0.11-pre (as of 2014-05-09)