Sep 01 16:09:41.610 INFO checking kailua_check-1.1.0 against master#1114ab684fbad001c4e580326d8eb4d8c4e917d3 for pr-53831 Sep 01 16:09:41.610 INFO running: cargo +1114ab684fbad001c4e580326d8eb4d8c4e917d3-alt check --frozen --all --all-targets Sep 01 16:09:41.611 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53831/master#1114ab684fbad001c4e580326d8eb4d8c4e917d3:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53831/worker-2/master#1114ab684fbad001c4e580326d8eb4d8c4e917d3:/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 +1114ab684fbad001c4e580326d8eb4d8c4e917d3-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 01 16:09:41.786 INFO blam! 5eef1ed3f1c9ef494b2fcd8625f9f70445a17cedf681a56c9ff6d8a8684ccfe1 Sep 01 16:09:41.788 INFO running `"docker" "start" "-a" "5eef1ed3f1c9ef494b2fcd8625f9f70445a17cedf681a56c9ff6d8a8684ccfe1"` Sep 01 16:09:42.412 INFO kablam! Checking take_mut v0.1.3 Sep 01 16:09:42.414 INFO kablam! Checking kailua_syntax v1.1.0 Sep 01 16:09:42.415 INFO kablam! Checking kailua_test v1.0.4 Sep 01 16:09:47.703 INFO kablam! Checking kailua_types v1.1.0 Sep 01 16:09:53.625 INFO kablam! Checking kailua_check v1.1.0 (file:///source) Sep 01 16:09:55.615 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Sep 01 16:09:55.615 INFO kablam! --> src/options.rs:4:5 Sep 01 16:09:55.615 INFO kablam! | Sep 01 16:09:55.615 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 01 16:09:55.615 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 01 16:09:55.615 INFO kablam! | Sep 01 16:09:55.615 INFO kablam! = note: #[warn(deprecated)] on by default Sep 01 16:09:55.615 INFO kablam! Sep 01 16:09:56.014 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Sep 01 16:09:56.014 INFO kablam! --> src/options.rs:4:5 Sep 01 16:09:56.014 INFO kablam! | Sep 01 16:09:56.014 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 01 16:09:56.014 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 01 16:09:56.014 INFO kablam! | Sep 01 16:09:56.014 INFO kablam! = note: #[warn(deprecated)] on by default Sep 01 16:09:56.014 INFO kablam! Sep 01 16:09:58.358 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Sep 01 16:09:58.358 INFO kablam! --> src/options.rs:4:5 Sep 01 16:09:58.358 INFO kablam! | Sep 01 16:09:58.358 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 01 16:09:58.358 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 01 16:09:58.358 INFO kablam! | Sep 01 16:09:58.358 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 01 16:09:58.358 INFO kablam! Sep 01 16:09:58.738 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Sep 01 16:09:58.738 INFO kablam! --> src/options.rs:4:5 Sep 01 16:09:58.738 INFO kablam! | Sep 01 16:09:58.738 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 01 16:09:58.738 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 01 16:09:58.739 INFO kablam! | Sep 01 16:09:58.739 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 01 16:09:58.739 INFO kablam! Sep 01 16:09:58.917 INFO kablam! warning: variable does not need to be mutable Sep 01 16:09:58.917 INFO kablam! --> src/env.rs:974:17 Sep 01 16:09:58.917 INFO kablam! | Sep 01 16:09:58.917 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Sep 01 16:09:58.917 INFO kablam! | ----^^^ Sep 01 16:09:58.917 INFO kablam! | | Sep 01 16:09:58.917 INFO kablam! | help: remove this `mut` Sep 01 16:09:58.917 INFO kablam! | Sep 01 16:09:58.917 INFO kablam! = note: #[warn(unused_mut)] on by default Sep 01 16:09:58.917 INFO kablam! Sep 01 16:09:58.940 INFO kablam! warning: variable does not need to be mutable Sep 01 16:09:58.940 INFO kablam! --> src/env.rs:1194:13 Sep 01 16:09:58.940 INFO kablam! | Sep 01 16:09:58.940 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Sep 01 16:09:58.940 INFO kablam! | ----^^^ Sep 01 16:09:58.940 INFO kablam! | | Sep 01 16:09:58.940 INFO kablam! | help: remove this `mut` Sep 01 16:09:58.940 INFO kablam! Sep 01 16:09:59.269 INFO kablam! warning: variable does not need to be mutable Sep 01 16:09:59.269 INFO kablam! --> src/env.rs:974:17 Sep 01 16:09:59.269 INFO kablam! | Sep 01 16:09:59.269 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Sep 01 16:09:59.269 INFO kablam! | ----^^^ Sep 01 16:09:59.269 INFO kablam! | | Sep 01 16:09:59.269 INFO kablam! | help: remove this `mut` Sep 01 16:09:59.269 INFO kablam! | Sep 01 16:09:59.269 INFO kablam! = note: #[warn(unused_mut)] on by default Sep 01 16:09:59.270 INFO kablam! Sep 01 16:09:59.293 INFO kablam! warning: variable does not need to be mutable Sep 01 16:09:59.293 INFO kablam! --> src/env.rs:1194:13 Sep 01 16:09:59.293 INFO kablam! | Sep 01 16:09:59.293 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Sep 01 16:09:59.293 INFO kablam! | ----^^^ Sep 01 16:09:59.293 INFO kablam! | | Sep 01 16:09:59.293 INFO kablam! | help: remove this `mut` Sep 01 16:09:59.293 INFO kablam! Sep 01 16:09:59.425 INFO kablam! warning: variable does not need to be mutable Sep 01 16:09:59.425 INFO kablam! --> src/check.rs:1302:13 Sep 01 16:09:59.425 INFO kablam! | Sep 01 16:09:59.425 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Sep 01 16:09:59.425 INFO kablam! | ----^^^^^^^ Sep 01 16:09:59.426 INFO kablam! | | Sep 01 16:09:59.426 INFO kablam! | help: remove this `mut` Sep 01 16:09:59.426 INFO kablam! Sep 01 16:09:59.720 INFO kablam! warning: variable does not need to be mutable Sep 01 16:09:59.720 INFO kablam! --> src/check.rs:2882:17 Sep 01 16:09:59.720 INFO kablam! | Sep 01 16:09:59.720 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Sep 01 16:09:59.721 INFO kablam! | ----^^^^^^^ Sep 01 16:09:59.721 INFO kablam! | | Sep 01 16:09:59.721 INFO kablam! | help: remove this `mut` Sep 01 16:09:59.721 INFO kablam! Sep 01 16:09:59.737 INFO kablam! warning: variable does not need to be mutable Sep 01 16:09:59.737 INFO kablam! --> src/check.rs:1302:13 Sep 01 16:09:59.737 INFO kablam! | Sep 01 16:09:59.737 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Sep 01 16:09:59.737 INFO kablam! | ----^^^^^^^ Sep 01 16:09:59.737 INFO kablam! | | Sep 01 16:09:59.738 INFO kablam! | help: remove this `mut` Sep 01 16:09:59.738 INFO kablam! Sep 01 16:09:59.979 INFO kablam! warning: variable does not need to be mutable Sep 01 16:09:59.980 INFO kablam! --> src/check.rs:2882:17 Sep 01 16:09:59.980 INFO kablam! | Sep 01 16:09:59.980 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Sep 01 16:09:59.980 INFO kablam! | ----^^^^^^^ Sep 01 16:09:59.980 INFO kablam! | | Sep 01 16:09:59.980 INFO kablam! | help: remove this `mut` Sep 01 16:09:59.980 INFO kablam! Sep 01 16:10:02.338 INFO kablam! warning: unused import: `std::str` Sep 01 16:10:02.338 INFO kablam! --> src/bin/kailua-check.rs:8:5 Sep 01 16:10:02.338 INFO kablam! | Sep 01 16:10:02.338 INFO kablam! 8 | use std::str; Sep 01 16:10:02.338 INFO kablam! | ^^^^^^^^ Sep 01 16:10:02.339 INFO kablam! | Sep 01 16:10:02.339 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 01 16:10:02.340 INFO kablam! Sep 01 16:10:02.622 INFO kablam! warning: unused import: `std::str` Sep 01 16:10:02.622 INFO kablam! --> src/bin/kailua-check.rs:8:5 Sep 01 16:10:02.622 INFO kablam! | Sep 01 16:10:02.622 INFO kablam! 8 | use std::str; Sep 01 16:10:02.622 INFO kablam! | ^^^^^^^^ Sep 01 16:10:02.622 INFO kablam! | Sep 01 16:10:02.622 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 01 16:10:02.622 INFO kablam! Sep 01 16:10:03.018 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 20.68s Sep 01 16:10:03.026 INFO kablam! su: No module specific data is present Sep 01 16:10:03.497 INFO running `"docker" "rm" "-f" "5eef1ed3f1c9ef494b2fcd8625f9f70445a17cedf681a56c9ff6d8a8684ccfe1"` Sep 01 16:10:03.581 INFO blam! 5eef1ed3f1c9ef494b2fcd8625f9f70445a17cedf681a56c9ff6d8a8684ccfe1