Sep 17 22:25:55.372 INFO checking kailua_check-1.1.0 against try#cfeeefe83c83bceb55d60d7e2be173db7597ed50 for pr-54033 Sep 17 22:25:55.372 INFO running: cargo +cfeeefe83c83bceb55d60d7e2be173db7597ed50-alt check --frozen --all --all-targets Sep 17 22:25:55.372 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-4/pr-54033/try#cfeeefe83c83bceb55d60d7e2be173db7597ed50:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54033/worker-4/try#cfeeefe83c83bceb55d60d7e2be173db7597ed50:/target:rw,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "CMD=cargo +cfeeefe83c83bceb55d60d7e2be173db7597ed50-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"` Sep 17 22:25:55.787 INFO blam! 99b7783acc42c00112e8b8f3af998940d661a38b7bddfcd006c25cb7b00cd37c Sep 17 22:25:55.789 INFO running `"docker" "start" "-a" "99b7783acc42c00112e8b8f3af998940d661a38b7bddfcd006c25cb7b00cd37c"` Sep 17 22:25:57.371 INFO kablam! usermod: no changes Sep 17 22:25:57.679 INFO kablam! Checking kailua_env v1.0.4 Sep 17 22:25:57.679 INFO kablam! Checking parse-generics-shim v0.1.1 Sep 17 22:25:57.687 INFO kablam! Checking take_mut v0.1.3 Sep 17 22:25:57.687 INFO kablam! Checking atomic v0.3.4 Sep 17 22:25:59.607 INFO kablam! Checking kailua_diag v1.0.4 Sep 17 22:26:00.399 INFO kablam! Checking kailua_syntax v1.1.0 Sep 17 22:26:00.399 INFO kablam! Checking kailua_test v1.0.4 Sep 17 22:26:04.807 INFO kablam! Checking kailua_types v1.1.0 Sep 17 22:26:09.353 INFO kablam! Checking kailua_check v1.1.0 (/source) Sep 17 22:26:10.655 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Sep 17 22:26:10.655 INFO kablam! --> src/options.rs:4:5 Sep 17 22:26:10.655 INFO kablam! | Sep 17 22:26:10.655 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 17 22:26:10.655 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 17 22:26:10.655 INFO kablam! | Sep 17 22:26:10.655 INFO kablam! = note: #[warn(deprecated)] on by default Sep 17 22:26:10.655 INFO kablam! Sep 17 22:26:10.692 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Sep 17 22:26:10.695 INFO kablam! --> src/options.rs:4:5 Sep 17 22:26:10.695 INFO kablam! | Sep 17 22:26:10.695 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 17 22:26:10.695 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 17 22:26:10.695 INFO kablam! | Sep 17 22:26:10.695 INFO kablam! = note: #[warn(deprecated)] on by default Sep 17 22:26:10.695 INFO kablam! Sep 17 22:26:12.315 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Sep 17 22:26:12.315 INFO kablam! --> src/options.rs:4:5 Sep 17 22:26:12.315 INFO kablam! | Sep 17 22:26:12.315 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 17 22:26:12.315 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 17 22:26:12.315 INFO kablam! | Sep 17 22:26:12.315 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 17 22:26:12.315 INFO kablam! Sep 17 22:26:12.691 INFO kablam! warning: variable does not need to be mutable Sep 17 22:26:12.691 INFO kablam! --> src/env.rs:974:17 Sep 17 22:26:12.691 INFO kablam! | Sep 17 22:26:12.691 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Sep 17 22:26:12.691 INFO kablam! | ----^^^ Sep 17 22:26:12.691 INFO kablam! | | Sep 17 22:26:12.691 INFO kablam! | help: remove this `mut` Sep 17 22:26:12.691 INFO kablam! | Sep 17 22:26:12.691 INFO kablam! = note: #[warn(unused_mut)] on by default Sep 17 22:26:12.691 INFO kablam! Sep 17 22:26:12.711 INFO kablam! warning: variable does not need to be mutable Sep 17 22:26:12.711 INFO kablam! --> src/env.rs:1194:13 Sep 17 22:26:12.711 INFO kablam! | Sep 17 22:26:12.711 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Sep 17 22:26:12.711 INFO kablam! | ----^^^ Sep 17 22:26:12.711 INFO kablam! | | Sep 17 22:26:12.711 INFO kablam! | help: remove this `mut` Sep 17 22:26:12.711 INFO kablam! Sep 17 22:26:12.828 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Sep 17 22:26:12.828 INFO kablam! --> src/options.rs:4:5 Sep 17 22:26:12.828 INFO kablam! | Sep 17 22:26:12.828 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 17 22:26:12.828 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 17 22:26:12.828 INFO kablam! | Sep 17 22:26:12.828 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 17 22:26:12.828 INFO kablam! Sep 17 22:26:13.022 INFO kablam! warning: variable does not need to be mutable Sep 17 22:26:13.022 INFO kablam! --> src/check.rs:1302:13 Sep 17 22:26:13.022 INFO kablam! | Sep 17 22:26:13.022 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Sep 17 22:26:13.022 INFO kablam! | ----^^^^^^^ Sep 17 22:26:13.022 INFO kablam! | | Sep 17 22:26:13.022 INFO kablam! | help: remove this `mut` Sep 17 22:26:13.022 INFO kablam! Sep 17 22:26:13.191 INFO kablam! warning: variable does not need to be mutable Sep 17 22:26:13.191 INFO kablam! --> src/check.rs:2882:17 Sep 17 22:26:13.191 INFO kablam! | Sep 17 22:26:13.191 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Sep 17 22:26:13.191 INFO kablam! | ----^^^^^^^ Sep 17 22:26:13.191 INFO kablam! | | Sep 17 22:26:13.191 INFO kablam! | help: remove this `mut` Sep 17 22:26:13.191 INFO kablam! Sep 17 22:26:13.207 INFO kablam! warning: variable does not need to be mutable Sep 17 22:26:13.207 INFO kablam! --> src/env.rs:974:17 Sep 17 22:26:13.207 INFO kablam! | Sep 17 22:26:13.207 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Sep 17 22:26:13.207 INFO kablam! | ----^^^ Sep 17 22:26:13.207 INFO kablam! | | Sep 17 22:26:13.207 INFO kablam! | help: remove this `mut` Sep 17 22:26:13.207 INFO kablam! | Sep 17 22:26:13.207 INFO kablam! = note: #[warn(unused_mut)] on by default Sep 17 22:26:13.207 INFO kablam! Sep 17 22:26:13.227 INFO kablam! warning: variable does not need to be mutable Sep 17 22:26:13.227 INFO kablam! --> src/env.rs:1194:13 Sep 17 22:26:13.227 INFO kablam! | Sep 17 22:26:13.227 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Sep 17 22:26:13.227 INFO kablam! | ----^^^ Sep 17 22:26:13.227 INFO kablam! | | Sep 17 22:26:13.227 INFO kablam! | help: remove this `mut` Sep 17 22:26:13.227 INFO kablam! Sep 17 22:26:13.467 INFO kablam! warning: variable does not need to be mutable Sep 17 22:26:13.467 INFO kablam! --> src/check.rs:1302:13 Sep 17 22:26:13.467 INFO kablam! | Sep 17 22:26:13.467 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Sep 17 22:26:13.467 INFO kablam! | ----^^^^^^^ Sep 17 22:26:13.467 INFO kablam! | | Sep 17 22:26:13.467 INFO kablam! | help: remove this `mut` Sep 17 22:26:13.467 INFO kablam! Sep 17 22:26:13.614 INFO kablam! warning: variable does not need to be mutable Sep 17 22:26:13.615 INFO kablam! --> src/check.rs:2882:17 Sep 17 22:26:13.615 INFO kablam! | Sep 17 22:26:13.615 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Sep 17 22:26:13.615 INFO kablam! | ----^^^^^^^ Sep 17 22:26:13.615 INFO kablam! | | Sep 17 22:26:13.615 INFO kablam! | help: remove this `mut` Sep 17 22:26:13.615 INFO kablam! Sep 17 22:26:14.631 INFO kablam! warning: unused import: `std::str` Sep 17 22:26:14.631 INFO kablam! --> src/bin/kailua-check.rs:8:5 Sep 17 22:26:14.631 INFO kablam! | Sep 17 22:26:14.631 INFO kablam! 8 | use std::str; Sep 17 22:26:14.631 INFO kablam! | ^^^^^^^^ Sep 17 22:26:14.631 INFO kablam! | Sep 17 22:26:14.631 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 17 22:26:14.631 INFO kablam! Sep 17 22:26:14.688 INFO kablam! warning: unused import: `std::str` Sep 17 22:26:14.688 INFO kablam! --> src/bin/kailua-check.rs:8:5 Sep 17 22:26:14.688 INFO kablam! | Sep 17 22:26:14.688 INFO kablam! 8 | use std::str; Sep 17 22:26:14.688 INFO kablam! | ^^^^^^^^ Sep 17 22:26:14.688 INFO kablam! | Sep 17 22:26:14.688 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 17 22:26:14.688 INFO kablam! Sep 17 22:26:14.958 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 17.54s Sep 17 22:26:14.967 INFO kablam! su: No module specific data is present Sep 17 22:26:15.408 INFO running `"docker" "rm" "-f" "99b7783acc42c00112e8b8f3af998940d661a38b7bddfcd006c25cb7b00cd37c"` Sep 17 22:26:15.641 INFO blam! 99b7783acc42c00112e8b8f3af998940d661a38b7bddfcd006c25cb7b00cd37c