Updates from rust-lang