Sep 02 01:32:05.512 INFO checking rust-mpfr-0.1.7 against try#952c7dbfa2628309f557b367929ffc17af20b332 for pr-53851
Sep 02 01:32:05.512 INFO running: cargo +952c7dbfa2628309f557b367929ffc17af20b332-alt check --frozen --all --all-targets
Sep 02 01:32:05.512 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-3/pr-53851/try#952c7dbfa2628309f557b367929ffc17af20b332:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53851/worker-3/try#952c7dbfa2628309f557b367929ffc17af20b332:/target:rw,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +952c7dbfa2628309f557b367929ffc17af20b332-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"`
Sep 02 01:32:05.674 INFO blam! 5708ca85ebfb31eda79335db0beaa768ccad4ba00b3cfd62bae022826cd0aead
Sep 02 01:32:05.675 INFO running `"docker" "start" "-a" "5708ca85ebfb31eda79335db0beaa768ccad4ba00b3cfd62bae022826cd0aead"`
Sep 02 01:32:06.489 INFO kablam!     Checking rust-gmp v0.3.2
Sep 02 01:32:07.424 INFO kablam!     Checking rust-mpfr v0.1.7 (file:///source)
Sep 02 01:32:08.417 INFO kablam! warning: unused arithmetic operation which must be used
Sep 02 01:32:08.417 INFO kablam!   --> src/test.rs:42:5
Sep 02 01:32:08.417 INFO kablam!    |
Sep 02 01:32:08.417 INFO kablam! 42 |     x / y;
Sep 02 01:32:08.417 INFO kablam!    |     ^^^^^
Sep 02 01:32:08.417 INFO kablam!    |
Sep 02 01:32:08.417 INFO kablam!    = note: #[warn(unused_must_use)] on by default
Sep 02 01:32:08.417 INFO kablam! 
Sep 02 01:32:08.443 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 1.97s
Sep 02 01:32:08.447 INFO kablam! su: No module specific data is present
Sep 02 01:32:08.835 INFO running `"docker" "rm" "-f" "5708ca85ebfb31eda79335db0beaa768ccad4ba00b3cfd62bae022826cd0aead"`
Sep 02 01:32:08.937 INFO blam! 5708ca85ebfb31eda79335db0beaa768ccad4ba00b3cfd62bae022826cd0aead