Update to latest Rust HEAD