Aug 17 18:55:50.382 INFO checking kailua_check-1.1.0 against master#142bb27373126edf8367f526358b6c72ecf1d8df for pr-53426 Aug 17 18:55:50.382 INFO running: cargo +142bb27373126edf8367f526358b6c72ecf1d8df-alt check --frozen --all --all-targets Aug 17 18:55:50.382 INFO creating container for: cargo +142bb27373126edf8367f526358b6c72ecf1d8df-alt check --frozen --all --all-targets Aug 17 18:55:50.382 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53426/master#142bb27373126edf8367f526358b6c72ecf1d8df:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53426/worker-2/master#142bb27373126edf8367f526358b6c72ecf1d8df:/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 +142bb27373126edf8367f526358b6c72ecf1d8df-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"` Aug 17 18:55:50.648 INFO blam! 4935a7542e3cef0ba9a0ed38928f7192aedb6b0de712903859a191bf79ae4de2 Aug 17 18:55:50.650 INFO running `"docker" "start" "-a" "4935a7542e3cef0ba9a0ed38928f7192aedb6b0de712903859a191bf79ae4de2"` Aug 17 18:55:51.787 INFO kablam! Checking parse-generics-shim v0.1.1 Aug 17 18:55:51.788 INFO kablam! Checking kailua_env v1.0.4 Aug 17 18:55:51.788 INFO kablam! Checking atomic v0.3.4 Aug 17 18:55:51.789 INFO kablam! Checking take_mut v0.1.3 Aug 17 18:55:55.405 INFO kablam! Checking kailua_diag v1.0.4 Aug 17 18:55:57.131 INFO kablam! Checking kailua_syntax v1.1.0 Aug 17 18:55:57.132 INFO kablam! Checking kailua_test v1.0.4 Aug 17 18:56:07.954 INFO kablam! Checking kailua_types v1.1.0 Aug 17 18:56:18.958 INFO kablam! Checking kailua_check v1.1.0 (file:///source) Aug 17 18:56:21.454 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Aug 17 18:56:21.454 INFO kablam! --> src/options.rs:4:5 Aug 17 18:56:21.454 INFO kablam! | Aug 17 18:56:21.454 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 17 18:56:21.454 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 17 18:56:21.454 INFO kablam! | Aug 17 18:56:21.455 INFO kablam! = note: #[warn(deprecated)] on by default Aug 17 18:56:21.455 INFO kablam! Aug 17 18:56:22.314 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Aug 17 18:56:22.314 INFO kablam! --> src/options.rs:4:5 Aug 17 18:56:22.314 INFO kablam! | Aug 17 18:56:22.314 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 17 18:56:22.314 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 17 18:56:22.322 INFO kablam! | Aug 17 18:56:22.322 INFO kablam! = note: #[warn(deprecated)] on by default Aug 17 18:56:22.322 INFO kablam! Aug 17 18:56:28.149 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Aug 17 18:56:28.149 INFO kablam! --> src/options.rs:4:5 Aug 17 18:56:28.149 INFO kablam! | Aug 17 18:56:28.149 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 17 18:56:28.149 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 17 18:56:28.150 INFO kablam! | Aug 17 18:56:28.150 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 17 18:56:28.151 INFO kablam! Aug 17 18:56:29.819 INFO kablam! warning: variable does not need to be mutable Aug 17 18:56:29.819 INFO kablam! --> src/env.rs:974:17 Aug 17 18:56:29.819 INFO kablam! | Aug 17 18:56:29.819 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Aug 17 18:56:29.819 INFO kablam! | ----^^^ Aug 17 18:56:29.819 INFO kablam! | | Aug 17 18:56:29.819 INFO kablam! | help: remove this `mut` Aug 17 18:56:29.820 INFO kablam! | Aug 17 18:56:29.820 INFO kablam! = note: #[warn(unused_mut)] on by default Aug 17 18:56:29.820 INFO kablam! Aug 17 18:56:29.900 INFO kablam! warning: variable does not need to be mutable Aug 17 18:56:29.900 INFO kablam! --> src/env.rs:1194:13 Aug 17 18:56:29.900 INFO kablam! | Aug 17 18:56:29.901 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Aug 17 18:56:29.901 INFO kablam! | ----^^^ Aug 17 18:56:29.901 INFO kablam! | | Aug 17 18:56:29.901 INFO kablam! | help: remove this `mut` Aug 17 18:56:29.901 INFO kablam! Aug 17 18:56:30.307 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Aug 17 18:56:30.307 INFO kablam! --> src/options.rs:4:5 Aug 17 18:56:30.307 INFO kablam! | Aug 17 18:56:30.307 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 17 18:56:30.307 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 17 18:56:30.307 INFO kablam! | Aug 17 18:56:30.307 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 17 18:56:30.307 INFO kablam! Aug 17 18:56:31.031 INFO kablam! warning: variable does not need to be mutable Aug 17 18:56:31.031 INFO kablam! --> src/check.rs:1302:13 Aug 17 18:56:31.031 INFO kablam! | Aug 17 18:56:31.031 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Aug 17 18:56:31.031 INFO kablam! | ----^^^^^^^ Aug 17 18:56:31.031 INFO kablam! | | Aug 17 18:56:31.032 INFO kablam! | help: remove this `mut` Aug 17 18:56:31.032 INFO kablam! Aug 17 18:56:31.672 INFO kablam! warning: variable does not need to be mutable Aug 17 18:56:31.672 INFO kablam! --> src/check.rs:2882:17 Aug 17 18:56:31.672 INFO kablam! | Aug 17 18:56:31.672 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Aug 17 18:56:31.672 INFO kablam! | ----^^^^^^^ Aug 17 18:56:31.672 INFO kablam! | | Aug 17 18:56:31.672 INFO kablam! | help: remove this `mut` Aug 17 18:56:31.672 INFO kablam! Aug 17 18:56:32.040 INFO kablam! warning: variable does not need to be mutable Aug 17 18:56:32.040 INFO kablam! --> src/env.rs:974:17 Aug 17 18:56:32.040 INFO kablam! | Aug 17 18:56:32.040 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Aug 17 18:56:32.040 INFO kablam! | ----^^^ Aug 17 18:56:32.040 INFO kablam! | | Aug 17 18:56:32.040 INFO kablam! | help: remove this `mut` Aug 17 18:56:32.040 INFO kablam! | Aug 17 18:56:32.040 INFO kablam! = note: #[warn(unused_mut)] on by default Aug 17 18:56:32.041 INFO kablam! Aug 17 18:56:32.188 INFO kablam! warning: variable does not need to be mutable Aug 17 18:56:32.188 INFO kablam! --> src/env.rs:1194:13 Aug 17 18:56:32.188 INFO kablam! | Aug 17 18:56:32.188 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Aug 17 18:56:32.188 INFO kablam! | ----^^^ Aug 17 18:56:32.188 INFO kablam! | | Aug 17 18:56:32.188 INFO kablam! | help: remove this `mut` Aug 17 18:56:32.188 INFO kablam! Aug 17 18:56:33.242 INFO kablam! warning: variable does not need to be mutable Aug 17 18:56:33.242 INFO kablam! --> src/check.rs:1302:13 Aug 17 18:56:33.242 INFO kablam! | Aug 17 18:56:33.242 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Aug 17 18:56:33.242 INFO kablam! | ----^^^^^^^ Aug 17 18:56:33.242 INFO kablam! | | Aug 17 18:56:33.242 INFO kablam! | help: remove this `mut` Aug 17 18:56:33.242 INFO kablam! Aug 17 18:56:33.733 INFO kablam! warning: variable does not need to be mutable Aug 17 18:56:33.733 INFO kablam! --> src/check.rs:2882:17 Aug 17 18:56:33.733 INFO kablam! | Aug 17 18:56:33.733 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Aug 17 18:56:33.733 INFO kablam! | ----^^^^^^^ Aug 17 18:56:33.733 INFO kablam! | | Aug 17 18:56:33.733 INFO kablam! | help: remove this `mut` Aug 17 18:56:33.733 INFO kablam! Aug 17 18:56:38.283 INFO kablam! warning: unused import: `std::str` Aug 17 18:56:38.283 INFO kablam! --> src/bin/kailua-check.rs:8:5 Aug 17 18:56:38.283 INFO kablam! | Aug 17 18:56:38.283 INFO kablam! 8 | use std::str; Aug 17 18:56:38.283 INFO kablam! | ^^^^^^^^ Aug 17 18:56:38.283 INFO kablam! | Aug 17 18:56:38.283 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 17 18:56:38.283 INFO kablam! Aug 17 18:56:38.680 INFO kablam! warning: unused import: `std::str` Aug 17 18:56:38.680 INFO kablam! --> src/bin/kailua-check.rs:8:5 Aug 17 18:56:38.680 INFO kablam! | Aug 17 18:56:38.680 INFO kablam! 8 | use std::str; Aug 17 18:56:38.680 INFO kablam! | ^^^^^^^^ Aug 17 18:56:38.680 INFO kablam! | Aug 17 18:56:38.681 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 17 18:56:38.681 INFO kablam! Aug 17 18:56:39.159 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 47.58s Aug 17 18:56:39.183 INFO kablam! su: No module specific data is present Aug 17 18:56:39.699 INFO running `"docker" "rm" "-f" "4935a7542e3cef0ba9a0ed38928f7192aedb6b0de712903859a191bf79ae4de2"` Aug 17 18:56:39.878 INFO blam! 4935a7542e3cef0ba9a0ed38928f7192aedb6b0de712903859a191bf79ae4de2