Nov 07 08:35:59.124 INFO checking smetamath-3.0.0 against master#24e66c28980442a48d9458f1a4f9b76cc722dc8a+rustflags=-Dduplicate_associated_type_bindings for pr-55687 Nov 07 08:35:59.126 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55687/worker-1/master#24e66c28980442a48d9458f1a4f9b76cc722dc8a+rustflags=-Dduplicate_associated_type_bindings:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-1/pr-55687/master#24e66c28980442a48d9458f1a4f9b76cc722dc8a+rustflags=-Dduplicate_associated_type_bindings:/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 +24e66c28980442a48d9458f1a4f9b76cc722dc8a-alt check --frozen --all --all-targets" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dduplicate_associated_type_bindings" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"` Nov 07 08:35:59.813 INFO blam! 28095d6d23d16aa70b0d668fd6b0de5ba85440385e66677f9968990fbcc26662 Nov 07 08:35:59.815 INFO running `"docker" "start" "-a" "28095d6d23d16aa70b0d668fd6b0de5ba85440385e66677f9968990fbcc26662"` Nov 07 08:36:01.587 INFO kablam! usermod: no changes Nov 07 08:36:01.716 INFO kablam! Checking libc v0.2.43 Nov 07 08:36:01.716 INFO kablam! Checking cfg-if v0.1.6 Nov 07 08:36:01.718 INFO kablam! Checking ansi_term v0.11.0 Nov 07 08:36:01.718 INFO kablam! Checking bitflags v1.0.4 Nov 07 08:36:01.718 INFO kablam! Checking vec_map v0.8.1 Nov 07 08:36:01.718 INFO kablam! Checking strsim v0.7.0 Nov 07 08:36:01.718 INFO kablam! Checking fnv v1.0.6 Nov 07 08:36:01.720 INFO kablam! Checking textwrap v0.10.0 Nov 07 08:36:06.170 INFO kablam! Checking atty v0.2.11 Nov 07 08:36:06.176 INFO kablam! Checking filetime v0.1.15 Nov 07 08:36:06.880 INFO kablam! Checking clap v2.32.0 Nov 07 08:36:11.954 INFO kablam! Checking smetamath v3.0.0 (/source) Nov 07 08:36:15.276 INFO kablam! warning: variable does not need to be mutable Nov 07 08:36:15.277 INFO kablam! --> src/database.rs:247:25 Nov 07 08:36:15.278 INFO kablam! | Nov 07 08:36:15.278 INFO kablam! 247 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); Nov 07 08:36:15.279 INFO kablam! | ----^^ Nov 07 08:36:15.280 INFO kablam! | | Nov 07 08:36:15.280 INFO kablam! | help: remove this `mut` Nov 07 08:36:15.281 INFO kablam! | Nov 07 08:36:15.282 INFO kablam! = note: #[warn(unused_mut)] on by default Nov 07 08:36:15.282 INFO kablam! Nov 07 08:36:15.283 INFO kablam! warning: variable does not need to be mutable Nov 07 08:36:15.283 INFO kablam! --> src/database.rs:247:25 Nov 07 08:36:15.284 INFO kablam! | Nov 07 08:36:15.285 INFO kablam! 247 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); Nov 07 08:36:15.285 INFO kablam! | ----^^ Nov 07 08:36:15.286 INFO kablam! | | Nov 07 08:36:15.286 INFO kablam! | help: remove this `mut` Nov 07 08:36:15.287 INFO kablam! Nov 07 08:36:15.290 INFO kablam! warning: variable does not need to be mutable Nov 07 08:36:15.290 INFO kablam! --> src/database.rs:268:25 Nov 07 08:36:15.291 INFO kablam! | Nov 07 08:36:15.291 INFO kablam! 268 | let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap()); Nov 07 08:36:15.292 INFO kablam! | ----^^ Nov 07 08:36:15.293 INFO kablam! | | Nov 07 08:36:15.293 INFO kablam! | help: remove this `mut` Nov 07 08:36:15.294 INFO kablam! Nov 07 08:36:15.300 INFO kablam! warning: variable does not need to be mutable Nov 07 08:36:15.301 INFO kablam! --> src/database.rs:291:25 Nov 07 08:36:15.301 INFO kablam! | Nov 07 08:36:15.301 INFO kablam! 291 | let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap()); Nov 07 08:36:15.301 INFO kablam! | ----^^^ Nov 07 08:36:15.301 INFO kablam! | | Nov 07 08:36:15.301 INFO kablam! | help: remove this `mut` Nov 07 08:36:15.302 INFO kablam! Nov 07 08:36:15.368 INFO kablam! warning: variable does not need to be mutable Nov 07 08:36:15.368 INFO kablam! --> src/database.rs:247:25 Nov 07 08:36:15.368 INFO kablam! | Nov 07 08:36:15.368 INFO kablam! 247 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); Nov 07 08:36:15.368 INFO kablam! | ----^^ Nov 07 08:36:15.376 INFO kablam! | | Nov 07 08:36:15.376 INFO kablam! | help: remove this `mut` Nov 07 08:36:15.376 INFO kablam! | Nov 07 08:36:15.376 INFO kablam! = note: #[warn(unused_mut)] on by default Nov 07 08:36:15.376 INFO kablam! Nov 07 08:36:15.376 INFO kablam! warning: variable does not need to be mutable Nov 07 08:36:15.376 INFO kablam! --> src/database.rs:247:25 Nov 07 08:36:15.376 INFO kablam! | Nov 07 08:36:15.376 INFO kablam! 247 | let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap()); Nov 07 08:36:15.376 INFO kablam! | ----^^ Nov 07 08:36:15.376 INFO kablam! | | Nov 07 08:36:15.376 INFO kablam! | help: remove this `mut` Nov 07 08:36:15.376 INFO kablam! Nov 07 08:36:15.376 INFO kablam! warning: variable does not need to be mutable Nov 07 08:36:15.376 INFO kablam! --> src/database.rs:268:25 Nov 07 08:36:15.376 INFO kablam! | Nov 07 08:36:15.376 INFO kablam! 268 | let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap()); Nov 07 08:36:15.376 INFO kablam! | ----^^ Nov 07 08:36:15.376 INFO kablam! | | Nov 07 08:36:15.376 INFO kablam! | help: remove this `mut` Nov 07 08:36:15.376 INFO kablam! Nov 07 08:36:15.376 INFO kablam! warning: variable does not need to be mutable Nov 07 08:36:15.376 INFO kablam! --> src/database.rs:291:25 Nov 07 08:36:15.376 INFO kablam! | Nov 07 08:36:15.376 INFO kablam! 291 | let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap()); Nov 07 08:36:15.377 INFO kablam! | ----^^^ Nov 07 08:36:15.377 INFO kablam! | | Nov 07 08:36:15.377 INFO kablam! | help: remove this `mut` Nov 07 08:36:15.377 INFO kablam! Nov 07 08:36:16.040 INFO kablam! Finished dev [optimized + debuginfo] target(s) in 14.41s Nov 07 08:36:16.049 INFO kablam! su: No module specific data is present Nov 07 08:36:18.067 INFO running `"docker" "rm" "-f" "28095d6d23d16aa70b0d668fd6b0de5ba85440385e66677f9968990fbcc26662"` Nov 07 08:36:18.386 INFO blam! 28095d6d23d16aa70b0d668fd6b0de5ba85440385e66677f9968990fbcc26662