Aug 30 12:52:35.108 INFO checking kailua_check-1.1.0 against try#bc5a74802bb3ffc82f51ef04bca58d64220124c4 for pr-53699 Aug 30 12:52:35.108 INFO running: cargo +bc5a74802bb3ffc82f51ef04bca58d64220124c4-alt check --frozen --all --all-targets Aug 30 12:52:35.108 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-3/pr-53699/try#bc5a74802bb3ffc82f51ef04bca58d64220124c4:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53699/worker-3/try#bc5a74802bb3ffc82f51ef04bca58d64220124c4:/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=500" "-e" "CMD=cargo +bc5a74802bb3ffc82f51ef04bca58d64220124c4-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Aug 30 12:52:35.301 INFO blam! 946228c47f42635abe23e40f1c76b12bd5403cb0c0fe6a2d874a46c5e3b81cbd Aug 30 12:52:35.304 INFO running `"docker" "start" "-a" "946228c47f42635abe23e40f1c76b12bd5403cb0c0fe6a2d874a46c5e3b81cbd"` Aug 30 12:52:36.131 INFO kablam! Checking take_mut v0.1.3 Aug 30 12:52:36.133 INFO kablam! Checking kailua_syntax v1.1.0 Aug 30 12:52:36.133 INFO kablam! Checking kailua_test v1.0.4 Aug 30 12:52:41.723 INFO kablam! Checking kailua_types v1.1.0 Aug 30 12:52:47.573 INFO kablam! Checking kailua_check v1.1.0 (file:///source) Aug 30 12:52:49.251 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Aug 30 12:52:49.251 INFO kablam! --> src/options.rs:4:5 Aug 30 12:52:49.251 INFO kablam! | Aug 30 12:52:49.251 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 30 12:52:49.251 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 30 12:52:49.251 INFO kablam! | Aug 30 12:52:49.251 INFO kablam! = note: #[warn(deprecated)] on by default Aug 30 12:52:49.251 INFO kablam! Aug 30 12:52:49.831 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Aug 30 12:52:49.831 INFO kablam! --> src/options.rs:4:5 Aug 30 12:52:49.831 INFO kablam! | Aug 30 12:52:49.831 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 30 12:52:49.831 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 30 12:52:49.832 INFO kablam! | Aug 30 12:52:49.832 INFO kablam! = note: #[warn(deprecated)] on by default Aug 30 12:52:49.832 INFO kablam! Aug 30 12:52:52.756 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Aug 30 12:52:52.756 INFO kablam! --> src/options.rs:4:5 Aug 30 12:52:52.756 INFO kablam! | Aug 30 12:52:52.756 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 30 12:52:52.756 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 30 12:52:52.756 INFO kablam! | Aug 30 12:52:52.756 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 30 12:52:52.756 INFO kablam! Aug 30 12:52:52.893 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Aug 30 12:52:52.893 INFO kablam! --> src/options.rs:4:5 Aug 30 12:52:52.893 INFO kablam! | Aug 30 12:52:52.893 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 30 12:52:52.893 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 30 12:52:52.893 INFO kablam! | Aug 30 12:52:52.893 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 30 12:52:52.893 INFO kablam! Aug 30 12:52:53.627 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:53.627 INFO kablam! --> src/env.rs:974:17 Aug 30 12:52:53.628 INFO kablam! | Aug 30 12:52:53.628 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Aug 30 12:52:53.628 INFO kablam! | ----^^^ Aug 30 12:52:53.628 INFO kablam! | | Aug 30 12:52:53.628 INFO kablam! | help: remove this `mut` Aug 30 12:52:53.628 INFO kablam! | Aug 30 12:52:53.628 INFO kablam! = note: #[warn(unused_mut)] on by default Aug 30 12:52:53.628 INFO kablam! Aug 30 12:52:53.653 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:53.653 INFO kablam! --> src/env.rs:974:17 Aug 30 12:52:53.653 INFO kablam! | Aug 30 12:52:53.653 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Aug 30 12:52:53.653 INFO kablam! | ----^^^ Aug 30 12:52:53.653 INFO kablam! | | Aug 30 12:52:53.653 INFO kablam! | help: remove this `mut` Aug 30 12:52:53.653 INFO kablam! | Aug 30 12:52:53.653 INFO kablam! = note: #[warn(unused_mut)] on by default Aug 30 12:52:53.653 INFO kablam! Aug 30 12:52:53.657 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:53.657 INFO kablam! --> src/env.rs:1194:13 Aug 30 12:52:53.657 INFO kablam! | Aug 30 12:52:53.657 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Aug 30 12:52:53.658 INFO kablam! | ----^^^ Aug 30 12:52:53.658 INFO kablam! | | Aug 30 12:52:53.658 INFO kablam! | help: remove this `mut` Aug 30 12:52:53.658 INFO kablam! Aug 30 12:52:53.702 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:53.703 INFO kablam! --> src/env.rs:1194:13 Aug 30 12:52:53.703 INFO kablam! | Aug 30 12:52:53.703 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Aug 30 12:52:53.703 INFO kablam! | ----^^^ Aug 30 12:52:53.703 INFO kablam! | | Aug 30 12:52:53.703 INFO kablam! | help: remove this `mut` Aug 30 12:52:53.703 INFO kablam! Aug 30 12:52:54.036 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:54.036 INFO kablam! --> src/check.rs:1302:13 Aug 30 12:52:54.036 INFO kablam! | Aug 30 12:52:54.036 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Aug 30 12:52:54.036 INFO kablam! | ----^^^^^^^ Aug 30 12:52:54.036 INFO kablam! | | Aug 30 12:52:54.036 INFO kablam! | help: remove this `mut` Aug 30 12:52:54.036 INFO kablam! Aug 30 12:52:54.286 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:54.286 INFO kablam! --> src/check.rs:1302:13 Aug 30 12:52:54.286 INFO kablam! | Aug 30 12:52:54.286 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Aug 30 12:52:54.286 INFO kablam! | ----^^^^^^^ Aug 30 12:52:54.286 INFO kablam! | | Aug 30 12:52:54.286 INFO kablam! | help: remove this `mut` Aug 30 12:52:54.286 INFO kablam! Aug 30 12:52:54.336 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:54.336 INFO kablam! --> src/check.rs:2882:17 Aug 30 12:52:54.336 INFO kablam! | Aug 30 12:52:54.336 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Aug 30 12:52:54.336 INFO kablam! | ----^^^^^^^ Aug 30 12:52:54.337 INFO kablam! | | Aug 30 12:52:54.337 INFO kablam! | help: remove this `mut` Aug 30 12:52:54.337 INFO kablam! Aug 30 12:52:54.540 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:54.540 INFO kablam! --> src/check.rs:2882:17 Aug 30 12:52:54.540 INFO kablam! | Aug 30 12:52:54.540 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Aug 30 12:52:54.540 INFO kablam! | ----^^^^^^^ Aug 30 12:52:54.540 INFO kablam! | | Aug 30 12:52:54.540 INFO kablam! | help: remove this `mut` Aug 30 12:52:54.540 INFO kablam! Aug 30 12:52:56.829 INFO kablam! warning: unused import: `std::str` Aug 30 12:52:56.829 INFO kablam! --> src/bin/kailua-check.rs:8:5 Aug 30 12:52:56.829 INFO kablam! | Aug 30 12:52:56.829 INFO kablam! 8 | use std::str; Aug 30 12:52:56.829 INFO kablam! | ^^^^^^^^ Aug 30 12:52:56.829 INFO kablam! | Aug 30 12:52:56.829 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 30 12:52:56.829 INFO kablam! Aug 30 12:52:57.164 INFO kablam! warning: unused import: `std::str` Aug 30 12:52:57.164 INFO kablam! --> src/bin/kailua-check.rs:8:5 Aug 30 12:52:57.164 INFO kablam! | Aug 30 12:52:57.164 INFO kablam! 8 | use std::str; Aug 30 12:52:57.164 INFO kablam! | ^^^^^^^^ Aug 30 12:52:57.164 INFO kablam! | Aug 30 12:52:57.164 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 30 12:52:57.164 INFO kablam! Aug 30 12:52:57.911 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 21.86s Aug 30 12:52:57.922 INFO kablam! su: No module specific data is present Aug 30 12:52:58.393 INFO running `"docker" "rm" "-f" "946228c47f42635abe23e40f1c76b12bd5403cb0c0fe6a2d874a46c5e3b81cbd"` Aug 30 12:52:58.524 INFO blam! 946228c47f42635abe23e40f1c76b12bd5403cb0c0fe6a2d874a46c5e3b81cbd