Oct 27 15:34:31.352 INFO checking smetamath-3.0.0 against try#19f01b935b91481fd445b16b533d2f87661bf12e for pr-55192-2 Oct 27 15:34:31.353 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/pr-55192-2/worker-4/try#19f01b935b91481fd445b16b533d2f87661bf12e:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/pr-55192-2/try#19f01b935b91481fd445b16b533d2f87661bf12e:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +19f01b935b91481fd445b16b533d2f87661bf12e-alt check --frozen --all --all-targets" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Oct 27 15:34:31.839 INFO blam! 277a3357abda4269ea11fbd91f155afff0bdbf6e3ad1ec4280749eef2981d6a5 Oct 27 15:34:31.847 INFO running `"docker" "start" "-a" "277a3357abda4269ea11fbd91f155afff0bdbf6e3ad1ec4280749eef2981d6a5"` Oct 27 15:34:34.018 INFO kablam! usermod: no changes Oct 27 15:34:34.151 INFO kablam! Checking libc v0.2.43 Oct 27 15:34:34.159 INFO kablam! Checking unicode-width v0.1.5 Oct 27 15:34:34.159 INFO kablam! Checking cfg-if v0.1.6 Oct 27 15:34:34.159 INFO kablam! Checking vec_map v0.8.1 Oct 27 15:34:34.179 INFO kablam! Checking strsim v0.7.0 Oct 27 15:34:34.187 INFO kablam! Checking bitflags v1.0.4 Oct 27 15:34:34.187 INFO kablam! Checking ansi_term v0.11.0 Oct 27 15:34:34.187 INFO kablam! Checking fnv v1.0.6 Oct 27 15:34:35.207 INFO kablam! Checking textwrap v0.10.0 Oct 27 15:34:39.412 INFO kablam! Checking atty v0.2.11 Oct 27 15:34:39.413 INFO kablam! Checking filetime v0.1.15 Oct 27 15:34:40.339 INFO kablam! Checking clap v2.32.0 Oct 27 15:34:45.711 INFO kablam! Checking smetamath v3.0.0 (/source) Oct 27 15:34:49.303 INFO kablam! warning: variable does not need to be mutable Oct 27 15:34:49.303 INFO kablam! --> src/database.rs:247:25 Oct 27 15:34:49.303 INFO kablam! | Oct 27 15:34:49.304 INFO kablam! 247 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); Oct 27 15:34:49.304 INFO kablam! | ----^^ Oct 27 15:34:49.304 INFO kablam! | | Oct 27 15:34:49.305 INFO kablam! | help: remove this `mut` Oct 27 15:34:49.305 INFO kablam! | Oct 27 15:34:49.306 INFO kablam! = note: #[warn(unused_mut)] on by default Oct 27 15:34:49.306 INFO kablam! Oct 27 15:34:49.307 INFO kablam! warning: variable does not need to be mutable Oct 27 15:34:49.307 INFO kablam! --> src/database.rs:247:25 Oct 27 15:34:49.308 INFO kablam! | Oct 27 15:34:49.308 INFO kablam! 247 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); Oct 27 15:34:49.309 INFO kablam! | ----^^ Oct 27 15:34:49.310 INFO kablam! | | Oct 27 15:34:49.310 INFO kablam! | help: remove this `mut` Oct 27 15:34:49.310 INFO kablam! Oct 27 15:34:49.313 INFO kablam! warning: variable does not need to be mutable Oct 27 15:34:49.313 INFO kablam! --> src/database.rs:268:25 Oct 27 15:34:49.314 INFO kablam! | Oct 27 15:34:49.314 INFO kablam! 268 | let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap()); Oct 27 15:34:49.315 INFO kablam! | ----^^ Oct 27 15:34:49.316 INFO kablam! | | Oct 27 15:34:49.316 INFO kablam! | help: remove this `mut` Oct 27 15:34:49.316 INFO kablam! Oct 27 15:34:49.318 INFO kablam! warning: variable does not need to be mutable Oct 27 15:34:49.318 INFO kablam! --> src/database.rs:291:25 Oct 27 15:34:49.318 INFO kablam! | Oct 27 15:34:49.318 INFO kablam! 291 | let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap()); Oct 27 15:34:49.318 INFO kablam! | ----^^^ Oct 27 15:34:49.318 INFO kablam! | | Oct 27 15:34:49.318 INFO kablam! | help: remove this `mut` Oct 27 15:34:49.319 INFO kablam! Oct 27 15:34:49.575 INFO kablam! warning: variable does not need to be mutable Oct 27 15:34:49.576 INFO kablam! --> src/database.rs:247:25 Oct 27 15:34:49.576 INFO kablam! | Oct 27 15:34:49.577 INFO kablam! 247 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); Oct 27 15:34:49.577 INFO kablam! | ----^^ Oct 27 15:34:49.578 INFO kablam! | | Oct 27 15:34:49.578 INFO kablam! | help: remove this `mut` Oct 27 15:34:49.579 INFO kablam! | Oct 27 15:34:49.579 INFO kablam! = note: #[warn(unused_mut)] on by default Oct 27 15:34:49.580 INFO kablam! Oct 27 15:34:49.580 INFO kablam! warning: variable does not need to be mutable Oct 27 15:34:49.581 INFO kablam! --> src/database.rs:247:25 Oct 27 15:34:49.581 INFO kablam! | Oct 27 15:34:49.582 INFO kablam! 247 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); Oct 27 15:34:49.582 INFO kablam! | ----^^ Oct 27 15:34:49.582 INFO kablam! | | Oct 27 15:34:49.583 INFO kablam! | help: remove this `mut` Oct 27 15:34:49.583 INFO kablam! Oct 27 15:34:49.584 INFO kablam! warning: variable does not need to be mutable Oct 27 15:34:49.584 INFO kablam! --> src/database.rs:268:25 Oct 27 15:34:49.584 INFO kablam! | Oct 27 15:34:49.584 INFO kablam! 268 | let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap()); Oct 27 15:34:49.584 INFO kablam! | ----^^ Oct 27 15:34:49.584 INFO kablam! | | Oct 27 15:34:49.584 INFO kablam! | help: remove this `mut` Oct 27 15:34:49.584 INFO kablam! Oct 27 15:34:49.584 INFO kablam! warning: variable does not need to be mutable Oct 27 15:34:49.584 INFO kablam! --> src/database.rs:291:25 Oct 27 15:34:49.584 INFO kablam! | Oct 27 15:34:49.584 INFO kablam! 291 | let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap()); Oct 27 15:34:49.584 INFO kablam! | ----^^^ Oct 27 15:34:49.585 INFO kablam! | | Oct 27 15:34:49.585 INFO kablam! | help: remove this `mut` Oct 27 15:34:49.585 INFO kablam! Oct 27 15:34:50.196 INFO kablam! Finished dev [optimized + debuginfo] target(s) in 16.15s Oct 27 15:34:50.200 INFO kablam! su: No module specific data is present Oct 27 15:34:51.557 INFO running `"docker" "rm" "-f" "277a3357abda4269ea11fbd91f155afff0bdbf6e3ad1ec4280749eef2981d6a5"` Oct 27 15:34:51.879 INFO blam! 277a3357abda4269ea11fbd91f155afff0bdbf6e3ad1ec4280749eef2981d6a5