Sep 14 14:16:40.675 INFO checking kailua_check-1.1.0 against master#90d36fb5905bbe5004f5b465ea14b53d10dae260 for pr-53578-1 Sep 14 14:16:40.675 INFO running: cargo +90d36fb5905bbe5004f5b465ea14b53d10dae260-alt check --frozen --all --all-targets Sep 14 14:16:40.675 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-4/pr-53578-1/master#90d36fb5905bbe5004f5b465ea14b53d10dae260:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53578-1/worker-4/master#90d36fb5905bbe5004f5b465ea14b53d10dae260:/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 +90d36fb5905bbe5004f5b465ea14b53d10dae260-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 14 14:16:40.864 INFO blam! 7a70a76df649e2be33cf2bff4c653d9e21f0b412d6a66545495ff200bbf13336 Sep 14 14:16:40.879 INFO running `"docker" "start" "-a" "7a70a76df649e2be33cf2bff4c653d9e21f0b412d6a66545495ff200bbf13336"` Sep 14 14:16:41.723 INFO kablam! usermod: no changes Sep 14 14:16:41.843 INFO kablam! Checking vec_map v0.7.0 Sep 14 14:16:41.843 INFO kablam! Checking take_mut v0.1.3 Sep 14 14:16:41.843 INFO kablam! Checking kailua_syntax v1.1.0 Sep 14 14:16:41.843 INFO kablam! Checking kailua_test v1.0.4 Sep 14 14:16:45.404 INFO kablam! Checking kailua_types v1.1.0 Sep 14 14:16:50.188 INFO kablam! Checking kailua_check v1.1.0 (file:///source) Sep 14 14:16:51.603 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Sep 14 14:16:51.603 INFO kablam! --> src/options.rs:4:5 Sep 14 14:16:51.603 INFO kablam! | Sep 14 14:16:51.603 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 14 14:16:51.603 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 14 14:16:51.603 INFO kablam! | Sep 14 14:16:51.603 INFO kablam! = note: #[warn(deprecated)] on by default Sep 14 14:16:51.603 INFO kablam! Sep 14 14:16:51.810 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Sep 14 14:16:51.810 INFO kablam! --> src/options.rs:4:5 Sep 14 14:16:51.810 INFO kablam! | Sep 14 14:16:51.810 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 14 14:16:51.810 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 14 14:16:51.810 INFO kablam! | Sep 14 14:16:51.810 INFO kablam! = note: #[warn(deprecated)] on by default Sep 14 14:16:51.810 INFO kablam! Sep 14 14:16:53.282 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Sep 14 14:16:53.282 INFO kablam! --> src/options.rs:4:5 Sep 14 14:16:53.282 INFO kablam! | Sep 14 14:16:53.282 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 14 14:16:53.282 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 14 14:16:53.282 INFO kablam! | Sep 14 14:16:53.282 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 14 14:16:53.282 INFO kablam! Sep 14 14:16:53.603 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Sep 14 14:16:53.603 INFO kablam! --> src/options.rs:4:5 Sep 14 14:16:53.603 INFO kablam! | Sep 14 14:16:53.603 INFO kablam! 4 | use std::ascii::AsciiExt; Sep 14 14:16:53.603 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Sep 14 14:16:53.603 INFO kablam! | Sep 14 14:16:53.603 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 14 14:16:53.603 INFO kablam! Sep 14 14:16:53.775 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:53.775 INFO kablam! --> src/env.rs:974:17 Sep 14 14:16:53.775 INFO kablam! | Sep 14 14:16:53.775 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Sep 14 14:16:53.775 INFO kablam! | ----^^^ Sep 14 14:16:53.775 INFO kablam! | | Sep 14 14:16:53.775 INFO kablam! | help: remove this `mut` Sep 14 14:16:53.775 INFO kablam! | Sep 14 14:16:53.775 INFO kablam! = note: #[warn(unused_mut)] on by default Sep 14 14:16:53.775 INFO kablam! Sep 14 14:16:53.826 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:53.827 INFO kablam! --> src/env.rs:1194:13 Sep 14 14:16:53.827 INFO kablam! | Sep 14 14:16:53.827 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Sep 14 14:16:53.827 INFO kablam! | ----^^^ Sep 14 14:16:53.827 INFO kablam! | | Sep 14 14:16:53.827 INFO kablam! | help: remove this `mut` Sep 14 14:16:53.827 INFO kablam! Sep 14 14:16:53.994 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:53.995 INFO kablam! --> src/env.rs:974:17 Sep 14 14:16:53.995 INFO kablam! | Sep 14 14:16:53.995 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Sep 14 14:16:53.995 INFO kablam! | ----^^^ Sep 14 14:16:53.995 INFO kablam! | | Sep 14 14:16:53.995 INFO kablam! | help: remove this `mut` Sep 14 14:16:53.995 INFO kablam! | Sep 14 14:16:53.995 INFO kablam! = note: #[warn(unused_mut)] on by default Sep 14 14:16:53.995 INFO kablam! Sep 14 14:16:54.011 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:54.011 INFO kablam! --> src/env.rs:1194:13 Sep 14 14:16:54.011 INFO kablam! | Sep 14 14:16:54.011 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Sep 14 14:16:54.011 INFO kablam! | ----^^^ Sep 14 14:16:54.011 INFO kablam! | | Sep 14 14:16:54.011 INFO kablam! | help: remove this `mut` Sep 14 14:16:54.011 INFO kablam! Sep 14 14:16:54.158 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:54.158 INFO kablam! --> src/check.rs:1302:13 Sep 14 14:16:54.158 INFO kablam! | Sep 14 14:16:54.158 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Sep 14 14:16:54.158 INFO kablam! | ----^^^^^^^ Sep 14 14:16:54.158 INFO kablam! | | Sep 14 14:16:54.158 INFO kablam! | help: remove this `mut` Sep 14 14:16:54.158 INFO kablam! Sep 14 14:16:54.282 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:54.283 INFO kablam! --> src/check.rs:1302:13 Sep 14 14:16:54.283 INFO kablam! | Sep 14 14:16:54.283 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Sep 14 14:16:54.283 INFO kablam! | ----^^^^^^^ Sep 14 14:16:54.283 INFO kablam! | | Sep 14 14:16:54.283 INFO kablam! | help: remove this `mut` Sep 14 14:16:54.283 INFO kablam! Sep 14 14:16:54.452 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:54.452 INFO kablam! --> src/check.rs:2882:17 Sep 14 14:16:54.452 INFO kablam! | Sep 14 14:16:54.452 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Sep 14 14:16:54.453 INFO kablam! | ----^^^^^^^ Sep 14 14:16:54.453 INFO kablam! | | Sep 14 14:16:54.453 INFO kablam! | help: remove this `mut` Sep 14 14:16:54.453 INFO kablam! Sep 14 14:16:54.461 INFO kablam! warning: variable does not need to be mutable Sep 14 14:16:54.461 INFO kablam! --> src/check.rs:2882:17 Sep 14 14:16:54.461 INFO kablam! | Sep 14 14:16:54.461 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Sep 14 14:16:54.461 INFO kablam! | ----^^^^^^^ Sep 14 14:16:54.462 INFO kablam! | | Sep 14 14:16:54.462 INFO kablam! | help: remove this `mut` Sep 14 14:16:54.467 INFO kablam! Sep 14 14:16:56.559 INFO kablam! warning: unused import: `std::str` Sep 14 14:16:56.559 INFO kablam! --> src/bin/kailua-check.rs:8:5 Sep 14 14:16:56.559 INFO kablam! | Sep 14 14:16:56.559 INFO kablam! 8 | use std::str; Sep 14 14:16:56.559 INFO kablam! | ^^^^^^^^ Sep 14 14:16:56.559 INFO kablam! | Sep 14 14:16:56.559 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 14 14:16:56.559 INFO kablam! Sep 14 14:16:57.559 INFO kablam! warning: unused import: `std::str` Sep 14 14:16:57.559 INFO kablam! --> src/bin/kailua-check.rs:8:5 Sep 14 14:16:57.559 INFO kablam! | Sep 14 14:16:57.559 INFO kablam! 8 | use std::str; Sep 14 14:16:57.559 INFO kablam! | ^^^^^^^^ Sep 14 14:16:57.559 INFO kablam! | Sep 14 14:16:57.559 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 14 14:16:57.559 INFO kablam! Sep 14 14:16:57.725 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 15.98s Sep 14 14:16:57.734 INFO kablam! su: No module specific data is present Sep 14 14:16:58.624 INFO running `"docker" "rm" "-f" "7a70a76df649e2be33cf2bff4c653d9e21f0b412d6a66545495ff200bbf13336"` Sep 14 14:16:58.943 INFO blam! 7a70a76df649e2be33cf2bff4c653d9e21f0b412d6a66545495ff200bbf13336