Sep 10 16:03:09.322 INFO checking kailua_check-1.1.0 against try#3a2610c2a16575649896925631bf8cec4f4b1961 for pr-54090 Sep 10 16:03:09.322 INFO running: cargo +3a2610c2a16575649896925631bf8cec4f4b1961-alt check --frozen --all --all-targets Sep 10 16:03:09.322 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-54090/try#3a2610c2a16575649896925631bf8cec4f4b1961:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54090/worker-2/try#3a2610c2a16575649896925631bf8cec4f4b1961:/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 +3a2610c2a16575649896925631bf8cec4f4b1961-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-m" "2G" "crater"` Sep 10 16:03:09.500 INFO blam! 0427143958f9eb0e6d317cf402f10a4b6054b8e8e12f2fb209e8e01a0c1824e7 Sep 10 16:03:09.502 INFO running `"docker" "start" "-a" "0427143958f9eb0e6d317cf402f10a4b6054b8e8e12f2fb209e8e01a0c1824e7"` Sep 10 16:03:10.281 INFO kablam! usermod: no changes Sep 10 16:03:10.424 INFO kablam! Checking kailua_syntax v1.1.0 Sep 10 16:03:13.958 INFO kablam! Checking kailua_types v1.1.0 Sep 10 16:03:18.162 INFO kablam! Checking kailua_check v1.1.0 (file:///source) Sep 10 16:03:20.090 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Sep 10 16:03:20.090 INFO kablam! --> src/options.rs:4:5 Sep 10 16:03:20.090 INFO kablam! | Sep 10 16:03:20.090 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 10 16:03:20.090 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 10 16:03:20.090 INFO kablam! | Sep 10 16:03:20.090 INFO kablam! = note: #[warn(deprecated)] on by default Sep 10 16:03:20.090 INFO kablam! Sep 10 16:03:20.158 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Sep 10 16:03:20.158 INFO kablam! --> src/options.rs:4:5 Sep 10 16:03:20.158 INFO kablam! | Sep 10 16:03:20.158 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 10 16:03:20.158 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 10 16:03:20.158 INFO kablam! | Sep 10 16:03:20.158 INFO kablam! = note: #[warn(deprecated)] on by default Sep 10 16:03:20.158 INFO kablam! Sep 10 16:03:22.149 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Sep 10 16:03:22.149 INFO kablam! --> src/options.rs:4:5 Sep 10 16:03:22.149 INFO kablam! | Sep 10 16:03:22.149 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 10 16:03:22.149 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 10 16:03:22.149 INFO kablam! | Sep 10 16:03:22.149 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 10 16:03:22.150 INFO kablam! Sep 10 16:03:22.202 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Sep 10 16:03:22.202 INFO kablam! --> src/options.rs:4:5 Sep 10 16:03:22.202 INFO kablam! | Sep 10 16:03:22.202 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 10 16:03:22.202 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 10 16:03:22.202 INFO kablam! | Sep 10 16:03:22.202 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 10 16:03:22.202 INFO kablam! Sep 10 16:03:22.621 INFO kablam! warning: variable does not need to be mutable Sep 10 16:03:22.621 INFO kablam! --> src/env.rs:974:17 Sep 10 16:03:22.621 INFO kablam! | Sep 10 16:03:22.621 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Sep 10 16:03:22.621 INFO kablam! | ----^^^ Sep 10 16:03:22.621 INFO kablam! | | Sep 10 16:03:22.621 INFO kablam! | help: remove this `mut` Sep 10 16:03:22.621 INFO kablam! | Sep 10 16:03:22.621 INFO kablam! = note: #[warn(unused_mut)] on by default Sep 10 16:03:22.621 INFO kablam! Sep 10 16:03:22.646 INFO kablam! warning: variable does not need to be mutable Sep 10 16:03:22.646 INFO kablam! --> src/env.rs:1194:13 Sep 10 16:03:22.646 INFO kablam! | Sep 10 16:03:22.646 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Sep 10 16:03:22.646 INFO kablam! | ----^^^ Sep 10 16:03:22.646 INFO kablam! | | Sep 10 16:03:22.646 INFO kablam! | help: remove this `mut` Sep 10 16:03:22.646 INFO kablam! Sep 10 16:03:22.886 INFO kablam! warning: variable does not need to be mutable Sep 10 16:03:22.886 INFO kablam! --> src/check.rs:1302:13 Sep 10 16:03:22.886 INFO kablam! | Sep 10 16:03:22.886 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Sep 10 16:03:22.886 INFO kablam! | ----^^^^^^^ Sep 10 16:03:22.886 INFO kablam! | | Sep 10 16:03:22.886 INFO kablam! | help: remove this `mut` Sep 10 16:03:22.886 INFO kablam! Sep 10 16:03:23.004 INFO kablam! warning: variable does not need to be mutable Sep 10 16:03:23.004 INFO kablam! --> src/env.rs:974:17 Sep 10 16:03:23.004 INFO kablam! | Sep 10 16:03:23.004 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Sep 10 16:03:23.004 INFO kablam! | ----^^^ Sep 10 16:03:23.004 INFO kablam! | | Sep 10 16:03:23.004 INFO kablam! | help: remove this `mut` Sep 10 16:03:23.004 INFO kablam! | Sep 10 16:03:23.004 INFO kablam! = note: #[warn(unused_mut)] on by default Sep 10 16:03:23.004 INFO kablam! Sep 10 16:03:23.064 INFO kablam! warning: variable does not need to be mutable Sep 10 16:03:23.064 INFO kablam! --> src/check.rs:2882:17 Sep 10 16:03:23.064 INFO kablam! | Sep 10 16:03:23.064 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Sep 10 16:03:23.064 INFO kablam! | ----^^^^^^^ Sep 10 16:03:23.064 INFO kablam! | | Sep 10 16:03:23.064 INFO kablam! | help: remove this `mut` Sep 10 16:03:23.064 INFO kablam! Sep 10 16:03:23.073 INFO kablam! warning: variable does not need to be mutable Sep 10 16:03:23.073 INFO kablam! --> src/env.rs:1194:13 Sep 10 16:03:23.073 INFO kablam! | Sep 10 16:03:23.073 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Sep 10 16:03:23.073 INFO kablam! | ----^^^ Sep 10 16:03:23.073 INFO kablam! | | Sep 10 16:03:23.073 INFO kablam! | help: remove this `mut` Sep 10 16:03:23.073 INFO kablam! Sep 10 16:03:23.422 INFO kablam! warning: variable does not need to be mutable Sep 10 16:03:23.422 INFO kablam! --> src/check.rs:1302:13 Sep 10 16:03:23.422 INFO kablam! | Sep 10 16:03:23.422 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Sep 10 16:03:23.422 INFO kablam! | ----^^^^^^^ Sep 10 16:03:23.422 INFO kablam! | | Sep 10 16:03:23.422 INFO kablam! | help: remove this `mut` Sep 10 16:03:23.422 INFO kablam! Sep 10 16:03:23.590 INFO kablam! warning: variable does not need to be mutable Sep 10 16:03:23.590 INFO kablam! --> src/check.rs:2882:17 Sep 10 16:03:23.590 INFO kablam! | Sep 10 16:03:23.590 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Sep 10 16:03:23.590 INFO kablam! | ----^^^^^^^ Sep 10 16:03:23.590 INFO kablam! | | Sep 10 16:03:23.590 INFO kablam! | help: remove this `mut` Sep 10 16:03:23.590 INFO kablam! Sep 10 16:03:25.326 INFO kablam! warning: unused import: `std::str` Sep 10 16:03:25.326 INFO kablam! --> src/bin/kailua-check.rs:8:5 Sep 10 16:03:25.326 INFO kablam! | Sep 10 16:03:25.326 INFO kablam! 8 | use std::str; Sep 10 16:03:25.326 INFO kablam! | ^^^^^^^^ Sep 10 16:03:25.326 INFO kablam! | Sep 10 16:03:25.326 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 10 16:03:25.326 INFO kablam! Sep 10 16:03:25.777 INFO kablam! warning: unused import: `std::str` Sep 10 16:03:25.777 INFO kablam! --> src/bin/kailua-check.rs:8:5 Sep 10 16:03:25.777 INFO kablam! | Sep 10 16:03:25.777 INFO kablam! 8 | use std::str; Sep 10 16:03:25.777 INFO kablam! | ^^^^^^^^ Sep 10 16:03:25.786 INFO kablam! | Sep 10 16:03:25.786 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 10 16:03:25.786 INFO kablam! Sep 10 16:03:26.067 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 15.75s Sep 10 16:03:26.086 INFO kablam! su: No module specific data is present Sep 10 16:03:27.110 INFO running `"docker" "rm" "-f" "0427143958f9eb0e6d317cf402f10a4b6054b8e8e12f2fb209e8e01a0c1824e7"` Sep 10 16:03:27.221 INFO blam! 0427143958f9eb0e6d317cf402f10a4b6054b8e8e12f2fb209e8e01a0c1824e7