Sep 20 01:15:02.785 INFO checking kailua_check-1.1.0 against try#135b4cd023a753409d01e43b0f23d22a899feeeb for pr-54352 Sep 20 01:15:02.785 INFO running: cargo +135b4cd023a753409d01e43b0f23d22a899feeeb-alt check --frozen --all --all-targets Sep 20 01:15:02.785 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-7/pr-54352/try#135b4cd023a753409d01e43b0f23d22a899feeeb:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54352/worker-7/try#135b4cd023a753409d01e43b0f23d22a899feeeb:/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 +135b4cd023a753409d01e43b0f23d22a899feeeb-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"` Sep 20 01:15:03.004 INFO blam! 53ff61a3e20c5b7cf770ee17938a79b3ca59e5a78b03d97712816eee8243133b Sep 20 01:15:03.006 INFO running `"docker" "start" "-a" "53ff61a3e20c5b7cf770ee17938a79b3ca59e5a78b03d97712816eee8243133b"` Sep 20 01:15:03.845 INFO kablam! usermod: no changes Sep 20 01:15:03.977 INFO kablam! Checking parse-generics-shim v0.1.1 Sep 20 01:15:03.982 INFO kablam! Checking kailua_env v1.0.4 Sep 20 01:15:03.982 INFO kablam! Checking take_mut v0.1.3 Sep 20 01:15:04.627 INFO kablam! Checking kailua_diag v1.0.4 Sep 20 01:15:05.225 INFO kablam! Checking kailua_syntax v1.1.0 Sep 20 01:15:05.225 INFO kablam! Checking kailua_test v1.0.4 Sep 20 01:15:08.758 INFO kablam! Checking kailua_types v1.1.0 Sep 20 01:15:12.961 INFO kablam! Checking kailua_check v1.1.0 (/source) Sep 20 01:15:14.258 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Sep 20 01:15:14.258 INFO kablam! --> src/options.rs:4:5 Sep 20 01:15:14.258 INFO kablam! | Sep 20 01:15:14.258 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 20 01:15:14.258 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 20 01:15:14.258 INFO kablam! | Sep 20 01:15:14.258 INFO kablam! = note: #[warn(deprecated)] on by default Sep 20 01:15:14.258 INFO kablam! Sep 20 01:15:14.445 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Sep 20 01:15:14.445 INFO kablam! --> src/options.rs:4:5 Sep 20 01:15:14.445 INFO kablam! | Sep 20 01:15:14.445 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 20 01:15:14.445 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 20 01:15:14.445 INFO kablam! | Sep 20 01:15:14.446 INFO kablam! = note: #[warn(deprecated)] on by default Sep 20 01:15:14.446 INFO kablam! Sep 20 01:15:15.866 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Sep 20 01:15:15.866 INFO kablam! --> src/options.rs:4:5 Sep 20 01:15:15.866 INFO kablam! | Sep 20 01:15:15.866 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 20 01:15:15.866 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 20 01:15:15.866 INFO kablam! | Sep 20 01:15:15.866 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 20 01:15:15.866 INFO kablam! Sep 20 01:15:16.014 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Sep 20 01:15:16.014 INFO kablam! --> src/options.rs:4:5 Sep 20 01:15:16.014 INFO kablam! | Sep 20 01:15:16.014 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 20 01:15:16.014 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 20 01:15:16.014 INFO kablam! | Sep 20 01:15:16.014 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 20 01:15:16.014 INFO kablam! Sep 20 01:15:16.246 INFO kablam! warning: variable does not need to be mutable Sep 20 01:15:16.246 INFO kablam! --> src/env.rs:974:17 Sep 20 01:15:16.246 INFO kablam! | Sep 20 01:15:16.246 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Sep 20 01:15:16.246 INFO kablam! | ----^^^ Sep 20 01:15:16.246 INFO kablam! | | Sep 20 01:15:16.246 INFO kablam! | help: remove this `mut` Sep 20 01:15:16.246 INFO kablam! | Sep 20 01:15:16.246 INFO kablam! = note: #[warn(unused_mut)] on by default Sep 20 01:15:16.246 INFO kablam! Sep 20 01:15:16.264 INFO kablam! warning: variable does not need to be mutable Sep 20 01:15:16.264 INFO kablam! --> src/env.rs:1194:13 Sep 20 01:15:16.264 INFO kablam! | Sep 20 01:15:16.264 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Sep 20 01:15:16.264 INFO kablam! | ----^^^ Sep 20 01:15:16.264 INFO kablam! | | Sep 20 01:15:16.264 INFO kablam! | help: remove this `mut` Sep 20 01:15:16.265 INFO kablam! Sep 20 01:15:16.381 INFO kablam! warning: variable does not need to be mutable Sep 20 01:15:16.381 INFO kablam! --> src/env.rs:974:17 Sep 20 01:15:16.381 INFO kablam! | Sep 20 01:15:16.382 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Sep 20 01:15:16.382 INFO kablam! | ----^^^ Sep 20 01:15:16.382 INFO kablam! | | Sep 20 01:15:16.382 INFO kablam! | help: remove this `mut` Sep 20 01:15:16.382 INFO kablam! | Sep 20 01:15:16.382 INFO kablam! = note: #[warn(unused_mut)] on by default Sep 20 01:15:16.382 INFO kablam! Sep 20 01:15:16.396 INFO kablam! warning: variable does not need to be mutable Sep 20 01:15:16.396 INFO kablam! --> src/env.rs:1194:13 Sep 20 01:15:16.396 INFO kablam! | Sep 20 01:15:16.396 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Sep 20 01:15:16.396 INFO kablam! | ----^^^ Sep 20 01:15:16.396 INFO kablam! | | Sep 20 01:15:16.396 INFO kablam! | help: remove this `mut` Sep 20 01:15:16.396 INFO kablam! Sep 20 01:15:16.497 INFO kablam! warning: variable does not need to be mutable Sep 20 01:15:16.497 INFO kablam! --> src/check.rs:1302:13 Sep 20 01:15:16.497 INFO kablam! | Sep 20 01:15:16.497 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Sep 20 01:15:16.497 INFO kablam! | ----^^^^^^^ Sep 20 01:15:16.497 INFO kablam! | | Sep 20 01:15:16.497 INFO kablam! | help: remove this `mut` Sep 20 01:15:16.497 INFO kablam! Sep 20 01:15:16.549 INFO kablam! warning: variable does not need to be mutable Sep 20 01:15:16.549 INFO kablam! --> src/check.rs:1302:13 Sep 20 01:15:16.549 INFO kablam! | Sep 20 01:15:16.549 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Sep 20 01:15:16.549 INFO kablam! | ----^^^^^^^ Sep 20 01:15:16.549 INFO kablam! | | Sep 20 01:15:16.549 INFO kablam! | help: remove this `mut` Sep 20 01:15:16.549 INFO kablam! Sep 20 01:15:16.665 INFO kablam! warning: variable does not need to be mutable Sep 20 01:15:16.665 INFO kablam! --> src/check.rs:2882:17 Sep 20 01:15:16.665 INFO kablam! | Sep 20 01:15:16.665 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Sep 20 01:15:16.665 INFO kablam! | ----^^^^^^^ Sep 20 01:15:16.665 INFO kablam! | | Sep 20 01:15:16.665 INFO kablam! | help: remove this `mut` Sep 20 01:15:16.665 INFO kablam! Sep 20 01:15:16.694 INFO kablam! warning: variable does not need to be mutable Sep 20 01:15:16.694 INFO kablam! --> src/check.rs:2882:17 Sep 20 01:15:16.694 INFO kablam! | Sep 20 01:15:16.694 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Sep 20 01:15:16.694 INFO kablam! | ----^^^^^^^ Sep 20 01:15:16.694 INFO kablam! | | Sep 20 01:15:16.694 INFO kablam! | help: remove this `mut` Sep 20 01:15:16.694 INFO kablam! Sep 20 01:15:17.914 INFO kablam! warning: unused import: `std::str` Sep 20 01:15:17.914 INFO kablam! --> src/bin/kailua-check.rs:8:5 Sep 20 01:15:17.914 INFO kablam! | Sep 20 01:15:17.914 INFO kablam! 8 | use std::str; Sep 20 01:15:17.914 INFO kablam! | ^^^^^^^^ Sep 20 01:15:17.914 INFO kablam! | Sep 20 01:15:17.914 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 20 01:15:17.914 INFO kablam! Sep 20 01:15:18.176 INFO kablam! warning: unused import: `std::str` Sep 20 01:15:18.176 INFO kablam! --> src/bin/kailua-check.rs:8:5 Sep 20 01:15:18.176 INFO kablam! | Sep 20 01:15:18.176 INFO kablam! 8 | use std::str; Sep 20 01:15:18.176 INFO kablam! | ^^^^^^^^ Sep 20 01:15:18.176 INFO kablam! | Sep 20 01:15:18.176 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 20 01:15:18.176 INFO kablam! Sep 20 01:15:18.285 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 14.41s Sep 20 01:15:18.292 INFO kablam! su: No module specific data is present Sep 20 01:15:19.185 INFO running `"docker" "rm" "-f" "53ff61a3e20c5b7cf770ee17938a79b3ca59e5a78b03d97712816eee8243133b"` Sep 20 01:15:19.261 INFO blam! 53ff61a3e20c5b7cf770ee17938a79b3ca59e5a78b03d97712816eee8243133b