Nov 04 21:52:22.117 INFO checking kailua_check-1.1.0 against master#2ad8c7b3502616aff142a4640cce911c6c2c5463 for pr-55655 Nov 04 21:52:22.119 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55655/worker-4/master#2ad8c7b3502616aff142a4640cce911c6c2c5463:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-4/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 21:52:22.588 INFO blam! c6b4325fac2616907d1f51ca0957ed3c47911378452c351cd20e9b28efdbb038 Nov 04 21:52:22.591 INFO running `"docker" "start" "-a" "c6b4325fac2616907d1f51ca0957ed3c47911378452c351cd20e9b28efdbb038"` Nov 04 21:52:23.551 INFO kablam! usermod: no changes Nov 04 21:52:23.643 INFO kablam! Checking kailua_types v1.1.0 Nov 04 21:52:28.405 INFO kablam! Checking kailua_check v1.1.0 (/source) Nov 04 21:52:31.714 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Nov 04 21:52:31.714 INFO kablam! --> src/options.rs:4:5 Nov 04 21:52:31.714 INFO kablam! | Nov 04 21:52:31.714 INFO kablam! 4 | use std::ascii::AsciiExt; Nov 04 21:52:31.714 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Nov 04 21:52:31.714 INFO kablam! | Nov 04 21:52:31.714 INFO kablam! = note: #[warn(deprecated)] on by default Nov 04 21:52:31.714 INFO kablam! Nov 04 21:52:31.831 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Nov 04 21:52:31.831 INFO kablam! --> src/options.rs:4:5 Nov 04 21:52:31.831 INFO kablam! | Nov 04 21:52:31.831 INFO kablam! 4 | use std::ascii::AsciiExt; Nov 04 21:52:31.831 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Nov 04 21:52:31.831 INFO kablam! | Nov 04 21:52:31.831 INFO kablam! = note: #[warn(deprecated)] on by default Nov 04 21:52:31.831 INFO kablam! Nov 04 21:52:33.728 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Nov 04 21:52:33.729 INFO kablam! --> src/options.rs:4:5 Nov 04 21:52:33.729 INFO kablam! | Nov 04 21:52:33.729 INFO kablam! 4 | use std::ascii::AsciiExt; Nov 04 21:52:33.729 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Nov 04 21:52:33.743 INFO kablam! | Nov 04 21:52:33.743 INFO kablam! = note: #[warn(unused_imports)] on by default Nov 04 21:52:33.743 INFO kablam! Nov 04 21:52:34.115 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Nov 04 21:52:34.115 INFO kablam! --> src/options.rs:4:5 Nov 04 21:52:34.115 INFO kablam! | Nov 04 21:52:34.115 INFO kablam! 4 | use std::ascii::AsciiExt; Nov 04 21:52:34.115 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Nov 04 21:52:34.116 INFO kablam! | Nov 04 21:52:34.116 INFO kablam! = note: #[warn(unused_imports)] on by default Nov 04 21:52:34.116 INFO kablam! Nov 04 21:52:34.364 INFO kablam! warning: variable does not need to be mutable Nov 04 21:52:34.364 INFO kablam! --> src/env.rs:974:17 Nov 04 21:52:34.364 INFO kablam! | Nov 04 21:52:34.364 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Nov 04 21:52:34.364 INFO kablam! | ----^^^ Nov 04 21:52:34.364 INFO kablam! | | Nov 04 21:52:34.364 INFO kablam! | help: remove this `mut` Nov 04 21:52:34.379 INFO kablam! | Nov 04 21:52:34.379 INFO kablam! = note: #[warn(unused_mut)] on by default Nov 04 21:52:34.379 INFO kablam! Nov 04 21:52:34.414 INFO kablam! warning: variable does not need to be mutable Nov 04 21:52:34.414 INFO kablam! --> src/env.rs:1194:13 Nov 04 21:52:34.414 INFO kablam! | Nov 04 21:52:34.415 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Nov 04 21:52:34.415 INFO kablam! | ----^^^ Nov 04 21:52:34.415 INFO kablam! | | Nov 04 21:52:34.415 INFO kablam! | help: remove this `mut` Nov 04 21:52:34.415 INFO kablam! Nov 04 21:52:34.787 INFO kablam! warning: variable does not need to be mutable Nov 04 21:52:34.787 INFO kablam! --> src/env.rs:974:17 Nov 04 21:52:34.787 INFO kablam! | Nov 04 21:52:34.787 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Nov 04 21:52:34.787 INFO kablam! | ----^^^ Nov 04 21:52:34.787 INFO kablam! | | Nov 04 21:52:34.787 INFO kablam! | help: remove this `mut` Nov 04 21:52:34.787 INFO kablam! | Nov 04 21:52:34.787 INFO kablam! = note: #[warn(unused_mut)] on by default Nov 04 21:52:34.787 INFO kablam! Nov 04 21:52:34.823 INFO kablam! warning: variable does not need to be mutable Nov 04 21:52:34.823 INFO kablam! --> src/env.rs:1194:13 Nov 04 21:52:34.823 INFO kablam! | Nov 04 21:52:34.823 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Nov 04 21:52:34.823 INFO kablam! | ----^^^ Nov 04 21:52:34.823 INFO kablam! | | Nov 04 21:52:34.823 INFO kablam! | help: remove this `mut` Nov 04 21:52:34.839 INFO kablam! Nov 04 21:52:34.884 INFO kablam! warning: variable does not need to be mutable Nov 04 21:52:34.884 INFO kablam! --> src/check.rs:1302:13 Nov 04 21:52:34.884 INFO kablam! | Nov 04 21:52:34.884 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Nov 04 21:52:34.884 INFO kablam! | ----^^^^^^^ Nov 04 21:52:34.884 INFO kablam! | | Nov 04 21:52:34.884 INFO kablam! | help: remove this `mut` Nov 04 21:52:34.884 INFO kablam! Nov 04 21:52:35.225 INFO kablam! warning: variable does not need to be mutable Nov 04 21:52:35.225 INFO kablam! --> src/check.rs:2882:17 Nov 04 21:52:35.225 INFO kablam! | Nov 04 21:52:35.225 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Nov 04 21:52:35.225 INFO kablam! | ----^^^^^^^ Nov 04 21:52:35.225 INFO kablam! | | Nov 04 21:52:35.225 INFO kablam! | help: remove this `mut` Nov 04 21:52:35.225 INFO kablam! Nov 04 21:52:35.262 INFO kablam! warning: variable does not need to be mutable Nov 04 21:52:35.262 INFO kablam! --> src/check.rs:1302:13 Nov 04 21:52:35.262 INFO kablam! | Nov 04 21:52:35.262 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Nov 04 21:52:35.262 INFO kablam! | ----^^^^^^^ Nov 04 21:52:35.262 INFO kablam! | | Nov 04 21:52:35.262 INFO kablam! | help: remove this `mut` Nov 04 21:52:35.262 INFO kablam! Nov 04 21:52:35.615 INFO kablam! warning: variable does not need to be mutable Nov 04 21:52:35.615 INFO kablam! --> src/check.rs:2882:17 Nov 04 21:52:35.615 INFO kablam! | Nov 04 21:52:35.615 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Nov 04 21:52:35.615 INFO kablam! | ----^^^^^^^ Nov 04 21:52:35.615 INFO kablam! | | Nov 04 21:52:35.615 INFO kablam! | help: remove this `mut` Nov 04 21:52:35.615 INFO kablam! Nov 04 21:52:39.477 INFO kablam! warning: unused import: `std::str` Nov 04 21:52:39.477 INFO kablam! --> src/bin/kailua-check.rs:8:5 Nov 04 21:52:39.477 INFO kablam! | Nov 04 21:52:39.477 INFO kablam! 8 | use std::str; Nov 04 21:52:39.477 INFO kablam! | ^^^^^^^^ Nov 04 21:52:39.477 INFO kablam! | Nov 04 21:52:39.478 INFO kablam! = note: #[warn(unused_imports)] on by default Nov 04 21:52:39.478 INFO kablam! Nov 04 21:52:39.712 INFO kablam! warning: unused import: `std::str` Nov 04 21:52:39.712 INFO kablam! --> src/bin/kailua-check.rs:8:5 Nov 04 21:52:39.712 INFO kablam! | Nov 04 21:52:39.712 INFO kablam! 8 | use std::str; Nov 04 21:52:39.712 INFO kablam! | ^^^^^^^^ Nov 04 21:52:39.712 INFO kablam! | Nov 04 21:52:39.712 INFO kablam! = note: #[warn(unused_imports)] on by default Nov 04 21:52:39.712 INFO kablam! Nov 04 21:52:40.183 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 16.61s Nov 04 21:52:40.186 INFO kablam! su: No module specific data is present Nov 04 21:52:40.695 INFO running `"docker" "rm" "-f" "c6b4325fac2616907d1f51ca0957ed3c47911378452c351cd20e9b28efdbb038"` Nov 04 21:52:40.999 INFO blam! c6b4325fac2616907d1f51ca0957ed3c47911378452c351cd20e9b28efdbb038