Uploading files for Rust issue 11862