Update from rust-lang