Oct 27 20:09:21.683 INFO checking kailua_check-1.1.0 against master#155510e377ae2a8d8ee0dad1a5f809c9062a5526 for pr-55192-2 Oct 27 20:09:21.683 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/target-dirs/pr-55192-2/worker-4/master#155510e377ae2a8d8ee0dad1a5f809c9062a5526:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/test-source/worker-4/pr-55192-2/master#155510e377ae2a8d8ee0dad1a5f809c9062a5526:/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 +155510e377ae2a8d8ee0dad1a5f809c9062a5526-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 20:09:21.907 INFO blam! fe15f8d5fbe1d41d49ba6e4d69ff703e22bef460975a06e9b7ba5b270280f5a7 Oct 27 20:09:21.909 INFO running `"docker" "start" "-a" "fe15f8d5fbe1d41d49ba6e4d69ff703e22bef460975a06e9b7ba5b270280f5a7"` Oct 27 20:09:22.618 INFO kablam! usermod: no changes Oct 27 20:09:22.767 INFO kablam! Checking kailua_env v1.0.4 Oct 27 20:09:22.767 INFO kablam! Checking parse-generics-shim v0.1.1 Oct 27 20:09:22.767 INFO kablam! Checking take_mut v0.1.3 Oct 27 20:09:24.523 INFO kablam! Checking kailua_diag v1.0.4 Oct 27 20:09:25.759 INFO kablam! Checking kailua_syntax v1.1.0 Oct 27 20:09:25.759 INFO kablam! Checking kailua_test v1.0.4 Oct 27 20:09:31.572 INFO kablam! Checking kailua_types v1.1.0 Oct 27 20:09:36.161 INFO kablam! Checking kailua_check v1.1.0 (/source) Oct 27 20:09:39.479 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Oct 27 20:09:39.481 INFO kablam! --> src/options.rs:4:5 Oct 27 20:09:39.481 INFO kablam! | Oct 27 20:09:39.481 INFO kablam! 4 | use std::ascii::AsciiExt; Oct 27 20:09:39.481 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Oct 27 20:09:39.481 INFO kablam! | Oct 27 20:09:39.481 INFO kablam! = note: #[warn(deprecated)] on by default Oct 27 20:09:39.481 INFO kablam! Oct 27 20:09:39.902 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Oct 27 20:09:39.902 INFO kablam! --> src/options.rs:4:5 Oct 27 20:09:39.902 INFO kablam! | Oct 27 20:09:39.902 INFO kablam! 4 | use std::ascii::AsciiExt; Oct 27 20:09:39.902 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Oct 27 20:09:39.903 INFO kablam! | Oct 27 20:09:39.903 INFO kablam! = note: #[warn(deprecated)] on by default Oct 27 20:09:39.903 INFO kablam! Oct 27 20:09:41.699 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Oct 27 20:09:41.700 INFO kablam! --> src/options.rs:4:5 Oct 27 20:09:41.701 INFO kablam! | Oct 27 20:09:41.702 INFO kablam! 4 | use std::ascii::AsciiExt; Oct 27 20:09:41.702 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Oct 27 20:09:41.703 INFO kablam! | Oct 27 20:09:41.704 INFO kablam! = note: #[warn(unused_imports)] on by default Oct 27 20:09:41.704 INFO kablam! Oct 27 20:09:42.046 INFO kablam! warning: variable does not need to be mutable Oct 27 20:09:42.047 INFO kablam! --> src/env.rs:974:17 Oct 27 20:09:42.048 INFO kablam! | Oct 27 20:09:42.048 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Oct 27 20:09:42.049 INFO kablam! | ----^^^ Oct 27 20:09:42.050 INFO kablam! | | Oct 27 20:09:42.050 INFO kablam! | help: remove this `mut` Oct 27 20:09:42.051 INFO kablam! | Oct 27 20:09:42.052 INFO kablam! = note: #[warn(unused_mut)] on by default Oct 27 20:09:42.052 INFO kablam! Oct 27 20:09:42.071 INFO kablam! warning: variable does not need to be mutable Oct 27 20:09:42.072 INFO kablam! --> src/env.rs:1194:13 Oct 27 20:09:42.073 INFO kablam! | Oct 27 20:09:42.073 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Oct 27 20:09:42.074 INFO kablam! | ----^^^ Oct 27 20:09:42.075 INFO kablam! | | Oct 27 20:09:42.075 INFO kablam! | help: remove this `mut` Oct 27 20:09:42.076 INFO kablam! Oct 27 20:09:42.384 INFO kablam! warning: variable does not need to be mutable Oct 27 20:09:42.385 INFO kablam! --> src/check.rs:1302:13 Oct 27 20:09:42.386 INFO kablam! | Oct 27 20:09:42.387 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Oct 27 20:09:42.387 INFO kablam! | ----^^^^^^^ Oct 27 20:09:42.388 INFO kablam! | | Oct 27 20:09:42.388 INFO kablam! | help: remove this `mut` Oct 27 20:09:42.389 INFO kablam! Oct 27 20:09:42.391 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Oct 27 20:09:42.391 INFO kablam! --> src/options.rs:4:5 Oct 27 20:09:42.392 INFO kablam! | Oct 27 20:09:42.393 INFO kablam! 4 | use std::ascii::AsciiExt; Oct 27 20:09:42.393 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Oct 27 20:09:42.394 INFO kablam! | Oct 27 20:09:42.394 INFO kablam! = note: #[warn(unused_imports)] on by default Oct 27 20:09:42.395 INFO kablam! Oct 27 20:09:42.607 INFO kablam! warning: variable does not need to be mutable Oct 27 20:09:42.608 INFO kablam! --> src/check.rs:2882:17 Oct 27 20:09:42.608 INFO kablam! | Oct 27 20:09:42.608 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Oct 27 20:09:42.608 INFO kablam! | ----^^^^^^^ Oct 27 20:09:42.608 INFO kablam! | | Oct 27 20:09:42.608 INFO kablam! | help: remove this `mut` Oct 27 20:09:42.608 INFO kablam! Oct 27 20:09:42.831 INFO kablam! warning: variable does not need to be mutable Oct 27 20:09:42.831 INFO kablam! --> src/env.rs:974:17 Oct 27 20:09:42.831 INFO kablam! | Oct 27 20:09:42.831 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Oct 27 20:09:42.831 INFO kablam! | ----^^^ Oct 27 20:09:42.831 INFO kablam! | | Oct 27 20:09:42.831 INFO kablam! | help: remove this `mut` Oct 27 20:09:42.831 INFO kablam! | Oct 27 20:09:42.831 INFO kablam! = note: #[warn(unused_mut)] on by default Oct 27 20:09:42.831 INFO kablam! Oct 27 20:09:42.871 INFO kablam! warning: variable does not need to be mutable Oct 27 20:09:42.871 INFO kablam! --> src/env.rs:1194:13 Oct 27 20:09:42.871 INFO kablam! | Oct 27 20:09:42.871 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Oct 27 20:09:42.871 INFO kablam! | ----^^^ Oct 27 20:09:42.871 INFO kablam! | | Oct 27 20:09:42.871 INFO kablam! | help: remove this `mut` Oct 27 20:09:42.871 INFO kablam! Oct 27 20:09:43.353 INFO kablam! warning: variable does not need to be mutable Oct 27 20:09:43.353 INFO kablam! --> src/check.rs:1302:13 Oct 27 20:09:43.353 INFO kablam! | Oct 27 20:09:43.353 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Oct 27 20:09:43.353 INFO kablam! | ----^^^^^^^ Oct 27 20:09:43.353 INFO kablam! | | Oct 27 20:09:43.353 INFO kablam! | help: remove this `mut` Oct 27 20:09:43.374 INFO kablam! Oct 27 20:09:44.043 INFO kablam! warning: variable does not need to be mutable Oct 27 20:09:44.043 INFO kablam! --> src/check.rs:2882:17 Oct 27 20:09:44.043 INFO kablam! | Oct 27 20:09:44.043 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Oct 27 20:09:44.043 INFO kablam! | ----^^^^^^^ Oct 27 20:09:44.043 INFO kablam! | | Oct 27 20:09:44.043 INFO kablam! | help: remove this `mut` Oct 27 20:09:44.043 INFO kablam! Oct 27 20:09:48.303 INFO kablam! warning: unused import: `std::str` Oct 27 20:09:48.303 INFO kablam! --> src/bin/kailua-check.rs:8:5 Oct 27 20:09:48.303 INFO kablam! | Oct 27 20:09:48.303 INFO kablam! 8 | use std::str; Oct 27 20:09:48.303 INFO kablam! | ^^^^^^^^ Oct 27 20:09:48.303 INFO kablam! | Oct 27 20:09:48.303 INFO kablam! = note: #[warn(unused_imports)] on by default Oct 27 20:09:48.303 INFO kablam! Oct 27 20:09:49.023 INFO kablam! warning: unused import: `std::str` Oct 27 20:09:49.023 INFO kablam! --> src/bin/kailua-check.rs:8:5 Oct 27 20:09:49.024 INFO kablam! | Oct 27 20:09:49.024 INFO kablam! 8 | use std::str; Oct 27 20:09:49.024 INFO kablam! | ^^^^^^^^ Oct 27 20:09:49.024 INFO kablam! | Oct 27 20:09:49.025 INFO kablam! = note: #[warn(unused_imports)] on by default Oct 27 20:09:49.025 INFO kablam! Oct 27 20:09:49.355 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 26.70s Oct 27 20:09:49.371 INFO kablam! su: No module specific data is present Oct 27 20:09:49.695 INFO running `"docker" "rm" "-f" "fe15f8d5fbe1d41d49ba6e4d69ff703e22bef460975a06e9b7ba5b270280f5a7"` Oct 27 20:09:49.851 INFO blam! fe15f8d5fbe1d41d49ba6e4d69ff703e22bef460975a06e9b7ba5b270280f5a7