Aug 30 12:52:35.651 INFO checking kailua_check-1.1.0 against master#545f22340f72ee0efaf6463efb43a2840e3d35db for pr-53699 Aug 30 12:52:35.651 INFO running: cargo +545f22340f72ee0efaf6463efb43a2840e3d35db-alt check --frozen --all --all-targets Aug 30 12:52:35.651 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53699/master#545f22340f72ee0efaf6463efb43a2840e3d35db:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53699/worker-2/master#545f22340f72ee0efaf6463efb43a2840e3d35db:/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 +545f22340f72ee0efaf6463efb43a2840e3d35db-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.825 INFO blam! be7272190d812a1d0c7c349c96c43781f7514d9e82a4a3d20e9e3d0c45ab0186 Aug 30 12:52:35.827 INFO running `"docker" "start" "-a" "be7272190d812a1d0c7c349c96c43781f7514d9e82a4a3d20e9e3d0c45ab0186"` Aug 30 12:52:36.451 INFO kablam! Checking take_mut v0.1.3 Aug 30 12:52:36.454 INFO kablam! Checking kailua_syntax v1.1.0 Aug 30 12:52:36.455 INFO kablam! Checking kailua_test v1.0.4 Aug 30 12:52:42.616 INFO kablam! Checking kailua_types v1.1.0 Aug 30 12:52:48.882 INFO kablam! Checking kailua_check v1.1.0 (file:///source) Aug 30 12:52:51.411 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Aug 30 12:52:51.411 INFO kablam! --> src/options.rs:4:5 Aug 30 12:52:51.411 INFO kablam! | Aug 30 12:52:51.411 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 30 12:52:51.411 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 30 12:52:51.411 INFO kablam! | Aug 30 12:52:51.411 INFO kablam! = note: #[warn(deprecated)] on by default Aug 30 12:52:51.411 INFO kablam! Aug 30 12:52:51.439 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Aug 30 12:52:51.439 INFO kablam! --> src/options.rs:4:5 Aug 30 12:52:51.440 INFO kablam! | Aug 30 12:52:51.440 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 30 12:52:51.440 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 30 12:52:51.440 INFO kablam! | Aug 30 12:52:51.440 INFO kablam! = note: #[warn(deprecated)] on by default Aug 30 12:52:51.440 INFO kablam! Aug 30 12:52:54.412 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Aug 30 12:52:54.412 INFO kablam! --> src/options.rs:4:5 Aug 30 12:52:54.412 INFO kablam! | Aug 30 12:52:54.412 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 30 12:52:54.413 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 30 12:52:54.413 INFO kablam! | Aug 30 12:52:54.413 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 30 12:52:54.413 INFO kablam! Aug 30 12:52:54.793 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Aug 30 12:52:54.793 INFO kablam! --> src/options.rs:4:5 Aug 30 12:52:54.793 INFO kablam! | Aug 30 12:52:54.793 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 30 12:52:54.793 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 30 12:52:54.793 INFO kablam! | Aug 30 12:52:54.794 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 30 12:52:54.794 INFO kablam! Aug 30 12:52:55.079 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:55.079 INFO kablam! --> src/env.rs:974:17 Aug 30 12:52:55.079 INFO kablam! | Aug 30 12:52:55.079 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Aug 30 12:52:55.079 INFO kablam! | ----^^^ Aug 30 12:52:55.079 INFO kablam! | | Aug 30 12:52:55.079 INFO kablam! | help: remove this `mut` Aug 30 12:52:55.079 INFO kablam! | Aug 30 12:52:55.079 INFO kablam! = note: #[warn(unused_mut)] on by default Aug 30 12:52:55.079 INFO kablam! Aug 30 12:52:55.124 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:55.124 INFO kablam! --> src/env.rs:1194:13 Aug 30 12:52:55.124 INFO kablam! | Aug 30 12:52:55.125 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Aug 30 12:52:55.125 INFO kablam! | ----^^^ Aug 30 12:52:55.125 INFO kablam! | | Aug 30 12:52:55.125 INFO kablam! | help: remove this `mut` Aug 30 12:52:55.125 INFO kablam! Aug 30 12:52:55.537 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:55.537 INFO kablam! --> src/env.rs:974:17 Aug 30 12:52:55.537 INFO kablam! | Aug 30 12:52:55.537 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Aug 30 12:52:55.537 INFO kablam! | ----^^^ Aug 30 12:52:55.537 INFO kablam! | | Aug 30 12:52:55.537 INFO kablam! | help: remove this `mut` Aug 30 12:52:55.537 INFO kablam! | Aug 30 12:52:55.537 INFO kablam! = note: #[warn(unused_mut)] on by default Aug 30 12:52:55.537 INFO kablam! Aug 30 12:52:55.580 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:55.581 INFO kablam! --> src/env.rs:1194:13 Aug 30 12:52:55.581 INFO kablam! | Aug 30 12:52:55.581 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Aug 30 12:52:55.581 INFO kablam! | ----^^^ Aug 30 12:52:55.581 INFO kablam! | | Aug 30 12:52:55.581 INFO kablam! | help: remove this `mut` Aug 30 12:52:55.581 INFO kablam! Aug 30 12:52:55.686 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:55.686 INFO kablam! --> src/check.rs:1302:13 Aug 30 12:52:55.686 INFO kablam! | Aug 30 12:52:55.686 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Aug 30 12:52:55.686 INFO kablam! | ----^^^^^^^ Aug 30 12:52:55.687 INFO kablam! | | Aug 30 12:52:55.687 INFO kablam! | help: remove this `mut` Aug 30 12:52:55.687 INFO kablam! Aug 30 12:52:56.077 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:56.077 INFO kablam! --> src/check.rs:2882:17 Aug 30 12:52:56.077 INFO kablam! | Aug 30 12:52:56.077 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Aug 30 12:52:56.077 INFO kablam! | ----^^^^^^^ Aug 30 12:52:56.077 INFO kablam! | | Aug 30 12:52:56.077 INFO kablam! | help: remove this `mut` Aug 30 12:52:56.077 INFO kablam! Aug 30 12:52:56.140 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:56.140 INFO kablam! --> src/check.rs:1302:13 Aug 30 12:52:56.140 INFO kablam! | Aug 30 12:52:56.140 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Aug 30 12:52:56.140 INFO kablam! | ----^^^^^^^ Aug 30 12:52:56.140 INFO kablam! | | Aug 30 12:52:56.140 INFO kablam! | help: remove this `mut` Aug 30 12:52:56.140 INFO kablam! Aug 30 12:52:56.472 INFO kablam! warning: variable does not need to be mutable Aug 30 12:52:56.472 INFO kablam! --> src/check.rs:2882:17 Aug 30 12:52:56.472 INFO kablam! | Aug 30 12:52:56.472 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Aug 30 12:52:56.472 INFO kablam! | ----^^^^^^^ Aug 30 12:52:56.473 INFO kablam! | | Aug 30 12:52:56.473 INFO kablam! | help: remove this `mut` Aug 30 12:52:56.473 INFO kablam! Aug 30 12:52:59.194 INFO kablam! warning: unused import: `std::str` Aug 30 12:52:59.194 INFO kablam! --> src/bin/kailua-check.rs:8:5 Aug 30 12:52:59.194 INFO kablam! | Aug 30 12:52:59.194 INFO kablam! 8 | use std::str; Aug 30 12:52:59.195 INFO kablam! | ^^^^^^^^ Aug 30 12:52:59.195 INFO kablam! | Aug 30 12:52:59.195 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 30 12:52:59.195 INFO kablam! Aug 30 12:52:59.269 INFO kablam! warning: unused import: `std::str` Aug 30 12:52:59.269 INFO kablam! --> src/bin/kailua-check.rs:8:5 Aug 30 12:52:59.269 INFO kablam! | Aug 30 12:52:59.269 INFO kablam! 8 | use std::str; Aug 30 12:52:59.269 INFO kablam! | ^^^^^^^^ Aug 30 12:52:59.270 INFO kablam! | Aug 30 12:52:59.270 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 30 12:52:59.270 INFO kablam! Aug 30 12:52:59.479 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 23.15s Aug 30 12:52:59.487 INFO kablam! su: No module specific data is present Aug 30 12:52:59.882 INFO running `"docker" "rm" "-f" "be7272190d812a1d0c7c349c96c43781f7514d9e82a4a3d20e9e3d0c45ab0186"` Aug 30 12:52:59.983 INFO blam! be7272190d812a1d0c7c349c96c43781f7514d9e82a4a3d20e9e3d0c45ab0186