Nov 04 17:26:13.877 INFO checking smetamath-3.0.0 against master#2ad8c7b3502616aff142a4640cce911c6c2c5463 for pr-55655 Nov 04 17:26:13.877 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55655/worker-7/master#2ad8c7b3502616aff142a4640cce911c6c2c5463:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/pr-55655/master#2ad8c7b3502616aff142a4640cce911c6c2c5463:/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 +2ad8c7b3502616aff142a4640cce911c6c2c5463-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"` Nov 04 17:26:14.388 INFO blam! 59b8b45680ab74c24b84b81106874a5410adfb53c64eed006318b73fd5752992 Nov 04 17:26:14.390 INFO running `"docker" "start" "-a" "59b8b45680ab74c24b84b81106874a5410adfb53c64eed006318b73fd5752992"` Nov 04 17:26:16.870 INFO kablam! usermod: no changes Nov 04 17:26:17.039 INFO kablam! Checking libc v0.2.43 Nov 04 17:26:17.039 INFO kablam! Checking unicode-width v0.1.5 Nov 04 17:26:17.039 INFO kablam! Checking ansi_term v0.11.0 Nov 04 17:26:17.039 INFO kablam! Checking strsim v0.7.0 Nov 04 17:26:17.039 INFO kablam! Checking bitflags v1.0.4 Nov 04 17:26:17.039 INFO kablam! Checking cfg-if v0.1.6 Nov 04 17:26:17.071 INFO kablam! Checking vec_map v0.8.1 Nov 04 17:26:17.099 INFO kablam! Checking fnv v1.0.6 Nov 04 17:26:18.245 INFO kablam! Checking textwrap v0.10.0 Nov 04 17:26:21.550 INFO kablam! Checking atty v0.2.11 Nov 04 17:26:21.550 INFO kablam! Checking filetime v0.1.15 Nov 04 17:26:22.390 INFO kablam! Checking clap v2.32.0 Nov 04 17:26:27.379 INFO kablam! Checking smetamath v3.0.0 (/source) Nov 04 17:26:30.023 INFO kablam! warning: variable does not need to be mutable Nov 04 17:26:30.023 INFO kablam! --> src/database.rs:247:25 Nov 04 17:26:30.024 INFO kablam! | Nov 04 17:26:30.024 INFO kablam! 247 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); Nov 04 17:26:30.024 INFO kablam! | ----^^ Nov 04 17:26:30.025 INFO kablam! | | Nov 04 17:26:30.025 INFO kablam! | help: remove this `mut` Nov 04 17:26:30.025 INFO kablam! | Nov 04 17:26:30.026 INFO kablam! = note: #[warn(unused_mut)] on by default Nov 04 17:26:30.026 INFO kablam! Nov 04 17:26:30.026 INFO kablam! warning: variable does not need to be mutable Nov 04 17:26:30.026 INFO kablam! --> src/database.rs:247:25 Nov 04 17:26:30.027 INFO kablam! | Nov 04 17:26:30.027 INFO kablam! 247 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); Nov 04 17:26:30.027 INFO kablam! | ----^^ Nov 04 17:26:30.027 INFO kablam! | | Nov 04 17:26:30.028 INFO kablam! | help: remove this `mut` Nov 04 17:26:30.028 INFO kablam! Nov 04 17:26:30.028 INFO kablam! warning: variable does not need to be mutable Nov 04 17:26:30.028 INFO kablam! --> src/database.rs:268:25 Nov 04 17:26:30.029 INFO kablam! | Nov 04 17:26:30.029 INFO kablam! 268 | let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap()); Nov 04 17:26:30.029 INFO kablam! | ----^^ Nov 04 17:26:30.029 INFO kablam! | | Nov 04 17:26:30.030 INFO kablam! | help: remove this `mut` Nov 04 17:26:30.030 INFO kablam! Nov 04 17:26:30.030 INFO kablam! warning: variable does not need to be mutable Nov 04 17:26:30.030 INFO kablam! --> src/database.rs:291:25 Nov 04 17:26:30.031 INFO kablam! | Nov 04 17:26:30.031 INFO kablam! 291 | let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap()); Nov 04 17:26:30.031 INFO kablam! | ----^^^ Nov 04 17:26:30.031 INFO kablam! | | Nov 04 17:26:30.032 INFO kablam! | help: remove this `mut` Nov 04 17:26:30.032 INFO kablam! Nov 04 17:26:31.039 INFO kablam! warning: variable does not need to be mutable Nov 04 17:26:31.039 INFO kablam! --> src/database.rs:247:25 Nov 04 17:26:31.040 INFO kablam! | Nov 04 17:26:31.040 INFO kablam! 247 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); Nov 04 17:26:31.040 INFO kablam! | ----^^ Nov 04 17:26:31.040 INFO kablam! | | Nov 04 17:26:31.040 INFO kablam! | help: remove this `mut` Nov 04 17:26:31.040 INFO kablam! | Nov 04 17:26:31.041 INFO kablam! = note: #[warn(unused_mut)] on by default Nov 04 17:26:31.041 INFO kablam! Nov 04 17:26:31.041 INFO kablam! warning: variable does not need to be mutable Nov 04 17:26:31.041 INFO kablam! --> src/database.rs:247:25 Nov 04 17:26:31.041 INFO kablam! | Nov 04 17:26:31.041 INFO kablam! 247 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); Nov 04 17:26:31.041 INFO kablam! | ----^^ Nov 04 17:26:31.042 INFO kablam! | | Nov 04 17:26:31.042 INFO kablam! | help: remove this `mut` Nov 04 17:26:31.042 INFO kablam! Nov 04 17:26:31.042 INFO kablam! warning: variable does not need to be mutable Nov 04 17:26:31.042 INFO kablam! --> src/database.rs:268:25 Nov 04 17:26:31.042 INFO kablam! | Nov 04 17:26:31.042 INFO kablam! 268 | let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap()); Nov 04 17:26:31.043 INFO kablam! | ----^^ Nov 04 17:26:31.043 INFO kablam! | | Nov 04 17:26:31.043 INFO kablam! | help: remove this `mut` Nov 04 17:26:31.043 INFO kablam! Nov 04 17:26:31.043 INFO kablam! warning: variable does not need to be mutable Nov 04 17:26:31.043 INFO kablam! --> src/database.rs:291:25 Nov 04 17:26:31.044 INFO kablam! | Nov 04 17:26:31.044 INFO kablam! 291 | let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap()); Nov 04 17:26:31.044 INFO kablam! | ----^^^ Nov 04 17:26:31.044 INFO kablam! | | Nov 04 17:26:31.044 INFO kablam! | help: remove this `mut` Nov 04 17:26:31.044 INFO kablam! Nov 04 17:26:31.461 INFO kablam! Finished dev [optimized + debuginfo] target(s) in 14.55s Nov 04 17:26:31.467 INFO kablam! su: No module specific data is present Nov 04 17:26:32.478 INFO running `"docker" "rm" "-f" "59b8b45680ab74c24b84b81106874a5410adfb53c64eed006318b73fd5752992"` Nov 04 17:26:32.815 INFO blam! 59b8b45680ab74c24b84b81106874a5410adfb53c64eed006318b73fd5752992