Sep 14 14:16:38.929 INFO checking kailua_check-1.1.0 against try#87b8e7411c4f1267d0cac0d63fa9c21c943e2ea0 for pr-53578-1 Sep 14 14:16:38.929 INFO running: cargo +87b8e7411c4f1267d0cac0d63fa9c21c943e2ea0-alt check --frozen --all --all-targets Sep 14 14:16:38.929 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53578-1/try#87b8e7411c4f1267d0cac0d63fa9c21c943e2ea0:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53578-1/worker-2/try#87b8e7411c4f1267d0cac0d63fa9c21c943e2ea0:/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 +87b8e7411c4f1267d0cac0d63fa9c21c943e2ea0-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 14 14:16:39.060 INFO blam! 16774c8e29151171b67f52959c3a6fa3c3af25d5f11440863b676904b76fd756 Sep 14 14:16:39.062 INFO running `"docker" "start" "-a" "16774c8e29151171b67f52959c3a6fa3c3af25d5f11440863b676904b76fd756"` Sep 14 14:16:39.967 INFO kablam! usermod: no changes Sep 14 14:16:40.074 INFO kablam! Checking kailua_env v1.0.4 Sep 14 14:16:40.075 INFO kablam! Checking atomic v0.3.4 Sep 14 14:16:40.075 INFO kablam! Checking take_mut v0.1.3 Sep 14 14:16:40.852 INFO kablam! Checking kailua_diag v1.0.4 Sep 14 14:16:41.447 INFO kablam! Checking kailua_syntax v1.1.0 Sep 14 14:16:41.447 INFO kablam! Checking kailua_test v1.0.4 Sep 14 14:16:44.711 INFO kablam! Checking kailua_types v1.1.0 Sep 14 14:16:49.107 INFO kablam! Checking kailua_check v1.1.0 (file:///source) Sep 14 14:16:50.320 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Sep 14 14:16:50.320 INFO kablam! --> src/options.rs:4:5 Sep 14 14:16:50.320 INFO kablam! | Sep 14 14:16:50.320 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 14 14:16:50.320 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 14 14:16:50.320 INFO kablam! | Sep 14 14:16:50.320 INFO kablam! = note: #[warn(deprecated)] on by default Sep 14 14:16:50.320 INFO kablam! Sep 14 14:16:50.660 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Sep 14 14:16:50.660 INFO kablam! --> src/options.rs:4:5 Sep 14 14:16:50.660 INFO kablam! | Sep 14 14:16:50.660 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 14 14:16:50.660 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 14 14:16:50.661 INFO kablam! | Sep 14 14:16:50.661 INFO kablam! = note: #[warn(deprecated)] on by default Sep 14 14:16:50.661 INFO kablam! Sep 14 14:16:52.443 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Sep 14 14:16:52.443 INFO kablam! --> src/options.rs:4:5 Sep 14 14:16:52.443 INFO kablam! | Sep 14 14:16:52.443 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 14 14:16:52.443 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 14 14:16:52.443 INFO kablam! | Sep 14 14:16:52.443 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 14 14:16:52.443 INFO kablam! Sep 14 14:16:52.595 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Sep 14 14:16:52.595 INFO kablam! --> src/options.rs:4:5 Sep 14 14:16:52.595 INFO kablam! | Sep 14 14:16:52.595 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 14 14:16:52.596 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 14 14:16:52.600 INFO kablam! | Sep 14 14:16:52.600 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 14 14:16:52.600 INFO kablam! Sep 14 14:16:52.859 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:52.859 INFO kablam! --> src/env.rs:974:17 Sep 14 14:16:52.859 INFO kablam! | Sep 14 14:16:52.859 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Sep 14 14:16:52.859 INFO kablam! | ----^^^ Sep 14 14:16:52.859 INFO kablam! | | Sep 14 14:16:52.859 INFO kablam! | help: remove this `mut` Sep 14 14:16:52.859 INFO kablam! | Sep 14 14:16:52.859 INFO kablam! = note: #[warn(unused_mut)] on by default Sep 14 14:16:52.859 INFO kablam! Sep 14 14:16:52.879 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:52.879 INFO kablam! --> src/env.rs:1194:13 Sep 14 14:16:52.879 INFO kablam! | Sep 14 14:16:52.879 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Sep 14 14:16:52.879 INFO kablam! | ----^^^ Sep 14 14:16:52.879 INFO kablam! | | Sep 14 14:16:52.879 INFO kablam! | help: remove this `mut` Sep 14 14:16:52.879 INFO kablam! Sep 14 14:16:53.039 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:53.039 INFO kablam! --> src/env.rs:974:17 Sep 14 14:16:53.039 INFO kablam! | Sep 14 14:16:53.039 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Sep 14 14:16:53.039 INFO kablam! | ----^^^ Sep 14 14:16:53.039 INFO kablam! | | Sep 14 14:16:53.039 INFO kablam! | help: remove this `mut` Sep 14 14:16:53.039 INFO kablam! | Sep 14 14:16:53.039 INFO kablam! = note: #[warn(unused_mut)] on by default Sep 14 14:16:53.039 INFO kablam! Sep 14 14:16:53.060 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:53.060 INFO kablam! --> src/env.rs:1194:13 Sep 14 14:16:53.060 INFO kablam! | Sep 14 14:16:53.060 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Sep 14 14:16:53.060 INFO kablam! | ----^^^ Sep 14 14:16:53.060 INFO kablam! | | Sep 14 14:16:53.060 INFO kablam! | help: remove this `mut` Sep 14 14:16:53.060 INFO kablam! Sep 14 14:16:53.134 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:53.134 INFO kablam! --> src/check.rs:1302:13 Sep 14 14:16:53.134 INFO kablam! | Sep 14 14:16:53.134 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Sep 14 14:16:53.134 INFO kablam! | ----^^^^^^^ Sep 14 14:16:53.134 INFO kablam! | | Sep 14 14:16:53.134 INFO kablam! | help: remove this `mut` Sep 14 14:16:53.134 INFO kablam! Sep 14 14:16:53.321 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:53.321 INFO kablam! --> src/check.rs:1302:13 Sep 14 14:16:53.321 INFO kablam! | Sep 14 14:16:53.321 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Sep 14 14:16:53.321 INFO kablam! | ----^^^^^^^ Sep 14 14:16:53.321 INFO kablam! | | Sep 14 14:16:53.321 INFO kablam! | help: remove this `mut` Sep 14 14:16:53.321 INFO kablam! Sep 14 14:16:53.327 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:53.327 INFO kablam! --> src/check.rs:2882:17 Sep 14 14:16:53.327 INFO kablam! | Sep 14 14:16:53.327 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Sep 14 14:16:53.327 INFO kablam! | ----^^^^^^^ Sep 14 14:16:53.327 INFO kablam! | | Sep 14 14:16:53.327 INFO kablam! | help: remove this `mut` Sep 14 14:16:53.327 INFO kablam! Sep 14 14:16:53.583 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:53.583 INFO kablam! --> src/check.rs:2882:17 Sep 14 14:16:53.583 INFO kablam! | Sep 14 14:16:53.583 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Sep 14 14:16:53.583 INFO kablam! | ----^^^^^^^ Sep 14 14:16:53.583 INFO kablam! | | Sep 14 14:16:53.583 INFO kablam! | help: remove this `mut` Sep 14 14:16:53.583 INFO kablam! Sep 14 14:16:56.499 INFO kablam! warning: unused import: `std::str` Sep 14 14:16:56.499 INFO kablam! --> src/bin/kailua-check.rs:8:5 Sep 14 14:16:56.499 INFO kablam! | Sep 14 14:16:56.499 INFO kablam! 8 | use std::str; Sep 14 14:16:56.499 INFO kablam! | ^^^^^^^^ Sep 14 14:16:56.499 INFO kablam! | Sep 14 14:16:56.499 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 14 14:16:56.499 INFO kablam! Sep 14 14:16:56.619 INFO kablam! warning: unused import: `std::str` Sep 14 14:16:56.619 INFO kablam! --> src/bin/kailua-check.rs:8:5 Sep 14 14:16:56.619 INFO kablam! | Sep 14 14:16:56.619 INFO kablam! 8 | use std::str; Sep 14 14:16:56.619 INFO kablam! | ^^^^^^^^ Sep 14 14:16:56.619 INFO kablam! | Sep 14 14:16:56.619 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 14 14:16:56.619 INFO kablam! Sep 14 14:16:57.171 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 17.19s Sep 14 14:16:57.191 INFO kablam! su: No module specific data is present Sep 14 14:16:58.244 INFO running `"docker" "rm" "-f" "16774c8e29151171b67f52959c3a6fa3c3af25d5f11440863b676904b76fd756"` Sep 14 14:16:58.568 INFO blam! 16774c8e29151171b67f52959c3a6fa3c3af25d5f11440863b676904b76fd756