Jul 12 06:02:03.602 INFO checking kailua_check-1.1.0 against try#d39a6f7eddafd45dcc60e99001b8cd08c2bd3255 for pr-52234 Jul 12 06:02:03.602 INFO running: cargo +d39a6f7eddafd45dcc60e99001b8cd08c2bd3255-alt check --frozen --all --all-targets Jul 12 06:02:03.602 INFO creating container for: cargo +d39a6f7eddafd45dcc60e99001b8cd08c2bd3255-alt check --frozen --all --all-targets Jul 12 06:02:03.603 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-3/pr-52234/try#d39a6f7eddafd45dcc60e99001b8cd08c2bd3255:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-52234/worker-3/try#d39a6f7eddafd45dcc60e99001b8cd08c2bd3255:/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 +d39a6f7eddafd45dcc60e99001b8cd08c2bd3255-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"` Jul 12 06:02:03.850 INFO blam! 8841248e2d4ffb736feb4996be8e1be79196cdb719699ef773eeee35cf6ee1dc Jul 12 06:02:03.853 INFO running `"docker" "start" "-a" "8841248e2d4ffb736feb4996be8e1be79196cdb719699ef773eeee35cf6ee1dc"` Jul 12 06:02:05.072 INFO kablam! Checking kailua_diag v1.0.4 Jul 12 06:02:06.830 INFO kablam! Checking kailua_syntax v1.1.0 Jul 12 06:02:06.833 INFO kablam! Checking kailua_test v1.0.4 Jul 12 06:02:17.534 INFO kablam! Checking kailua_types v1.1.0 Jul 12 06:02:28.299 INFO kablam! Checking kailua_check v1.1.0 (file:///source) Jul 12 06:02:30.819 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Jul 12 06:02:30.819 INFO kablam! --> src/options.rs:4:5 Jul 12 06:02:30.819 INFO kablam! | Jul 12 06:02:30.819 INFO kablam! 4 | use std::ascii::AsciiExt; Jul 12 06:02:30.820 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Jul 12 06:02:30.820 INFO kablam! | Jul 12 06:02:30.820 INFO kablam! = note: #[warn(deprecated)] on by default Jul 12 06:02:30.820 INFO kablam! Jul 12 06:02:31.399 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Jul 12 06:02:31.399 INFO kablam! --> src/options.rs:4:5 Jul 12 06:02:31.399 INFO kablam! | Jul 12 06:02:31.399 INFO kablam! 4 | use std::ascii::AsciiExt; Jul 12 06:02:31.399 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Jul 12 06:02:31.400 INFO kablam! | Jul 12 06:02:31.400 INFO kablam! = note: #[warn(deprecated)] on by default Jul 12 06:02:31.400 INFO kablam! Jul 12 06:02:36.795 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Jul 12 06:02:36.796 INFO kablam! --> src/options.rs:4:5 Jul 12 06:02:36.796 INFO kablam! | Jul 12 06:02:36.796 INFO kablam! 4 | use std::ascii::AsciiExt; Jul 12 06:02:36.796 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Jul 12 06:02:36.796 INFO kablam! | Jul 12 06:02:36.796 INFO kablam! = note: #[warn(unused_imports)] on by default Jul 12 06:02:36.796 INFO kablam! Jul 12 06:02:37.509 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Jul 12 06:02:37.509 INFO kablam! --> src/options.rs:4:5 Jul 12 06:02:37.509 INFO kablam! | Jul 12 06:02:37.510 INFO kablam! 4 | use std::ascii::AsciiExt; Jul 12 06:02:37.510 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Jul 12 06:02:37.510 INFO kablam! | Jul 12 06:02:37.510 INFO kablam! = note: #[warn(unused_imports)] on by default Jul 12 06:02:37.510 INFO kablam! Jul 12 06:02:38.662 INFO kablam! warning: variable does not need to be mutable Jul 12 06:02:38.662 INFO kablam! --> src/env.rs:974:17 Jul 12 06:02:38.662 INFO kablam! | Jul 12 06:02:38.662 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Jul 12 06:02:38.662 INFO kablam! | ----^^^ Jul 12 06:02:38.662 INFO kablam! | | Jul 12 06:02:38.662 INFO kablam! | help: remove this `mut` Jul 12 06:02:38.678 INFO kablam! | Jul 12 06:02:38.678 INFO kablam! = note: #[warn(unused_mut)] on by default Jul 12 06:02:38.678 INFO kablam! Jul 12 06:02:38.773 INFO kablam! warning: variable does not need to be mutable Jul 12 06:02:38.773 INFO kablam! --> src/env.rs:1194:13 Jul 12 06:02:38.773 INFO kablam! | Jul 12 06:02:38.773 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Jul 12 06:02:38.773 INFO kablam! | ----^^^ Jul 12 06:02:38.773 INFO kablam! | | Jul 12 06:02:38.773 INFO kablam! | help: remove this `mut` Jul 12 06:02:38.773 INFO kablam! Jul 12 06:02:39.372 INFO kablam! warning: variable does not need to be mutable Jul 12 06:02:39.372 INFO kablam! --> src/env.rs:974:17 Jul 12 06:02:39.372 INFO kablam! | Jul 12 06:02:39.372 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Jul 12 06:02:39.372 INFO kablam! | ----^^^ Jul 12 06:02:39.372 INFO kablam! | | Jul 12 06:02:39.372 INFO kablam! | help: remove this `mut` Jul 12 06:02:39.372 INFO kablam! | Jul 12 06:02:39.372 INFO kablam! = note: #[warn(unused_mut)] on by default Jul 12 06:02:39.372 INFO kablam! Jul 12 06:02:39.442 INFO kablam! warning: variable does not need to be mutable Jul 12 06:02:39.442 INFO kablam! --> src/env.rs:1194:13 Jul 12 06:02:39.442 INFO kablam! | Jul 12 06:02:39.442 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Jul 12 06:02:39.442 INFO kablam! | ----^^^ Jul 12 06:02:39.442 INFO kablam! | | Jul 12 06:02:39.442 INFO kablam! | help: remove this `mut` Jul 12 06:02:39.442 INFO kablam! Jul 12 06:02:40.000 INFO kablam! warning: variable does not need to be mutable Jul 12 06:02:40.000 INFO kablam! --> src/check.rs:1302:13 Jul 12 06:02:40.000 INFO kablam! | Jul 12 06:02:40.000 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Jul 12 06:02:40.000 INFO kablam! | ----^^^^^^^ Jul 12 06:02:40.000 INFO kablam! | | Jul 12 06:02:40.000 INFO kablam! | help: remove this `mut` Jul 12 06:02:40.000 INFO kablam! Jul 12 06:02:40.533 INFO kablam! warning: variable does not need to be mutable Jul 12 06:02:40.533 INFO kablam! --> src/check.rs:1302:13 Jul 12 06:02:40.533 INFO kablam! | Jul 12 06:02:40.533 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Jul 12 06:02:40.533 INFO kablam! | ----^^^^^^^ Jul 12 06:02:40.533 INFO kablam! | | Jul 12 06:02:40.533 INFO kablam! | help: remove this `mut` Jul 12 06:02:40.533 INFO kablam! Jul 12 06:02:40.805 INFO kablam! warning: variable does not need to be mutable Jul 12 06:02:40.805 INFO kablam! --> src/check.rs:2882:17 Jul 12 06:02:40.805 INFO kablam! | Jul 12 06:02:40.805 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Jul 12 06:02:40.805 INFO kablam! | ----^^^^^^^ Jul 12 06:02:40.805 INFO kablam! | | Jul 12 06:02:40.805 INFO kablam! | help: remove this `mut` Jul 12 06:02:40.810 INFO kablam! Jul 12 06:02:41.437 INFO kablam! warning: variable does not need to be mutable Jul 12 06:02:41.437 INFO kablam! --> src/check.rs:2882:17 Jul 12 06:02:41.437 INFO kablam! | Jul 12 06:02:41.437 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Jul 12 06:02:41.437 INFO kablam! | ----^^^^^^^ Jul 12 06:02:41.437 INFO kablam! | | Jul 12 06:02:41.437 INFO kablam! | help: remove this `mut` Jul 12 06:02:41.437 INFO kablam! Jul 12 06:02:45.361 INFO kablam! warning: unused import: `std::str` Jul 12 06:02:45.361 INFO kablam! --> src/bin/kailua-check.rs:8:5 Jul 12 06:02:45.361 INFO kablam! | Jul 12 06:02:45.361 INFO kablam! 8 | use std::str; Jul 12 06:02:45.361 INFO kablam! | ^^^^^^^^ Jul 12 06:02:45.362 INFO kablam! | Jul 12 06:02:45.362 INFO kablam! = note: #[warn(unused_imports)] on by default Jul 12 06:02:45.362 INFO kablam! Jul 12 06:02:45.442 INFO kablam! warning: unused import: `std::str` Jul 12 06:02:45.442 INFO kablam! --> src/bin/kailua-check.rs:8:5 Jul 12 06:02:45.442 INFO kablam! | Jul 12 06:02:45.442 INFO kablam! 8 | use std::str; Jul 12 06:02:45.442 INFO kablam! | ^^^^^^^^ Jul 12 06:02:45.466 INFO kablam! | Jul 12 06:02:45.467 INFO kablam! = note: #[warn(unused_imports)] on by default Jul 12 06:02:45.467 INFO kablam! Jul 12 06:02:46.176 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 41.40s Jul 12 06:02:46.200 INFO kablam! su: No module specific data is present Jul 12 06:02:46.728 INFO running `"docker" "rm" "-f" "8841248e2d4ffb736feb4996be8e1be79196cdb719699ef773eeee35cf6ee1dc"` Jul 12 06:02:46.891 INFO blam! 8841248e2d4ffb736feb4996be8e1be79196cdb719699ef773eeee35cf6ee1dc