Aug 11 10:27:10.282 INFO checking kailua_check-1.1.0 against master#f6d43ed84207c7e58f363f46e5a438ff40f2b311 for libc-1 Aug 11 10:27:10.282 INFO running: cargo +f6d43ed84207c7e58f363f46e5a438ff40f2b311-alt check --frozen --all --all-targets Aug 11 10:27:10.282 INFO creating container for: cargo +f6d43ed84207c7e58f363f46e5a438ff40f2b311-alt check --frozen --all --all-targets Aug 11 10:27:10.282 INFO running `"docker" "create" "-v" "/tmp/crater.AbYGqbvYZljI:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/libc-1/worker-1/master#f6d43ed84207c7e58f363f46e5a438ff40f2b311:/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" "-v" "/home/ec2-user/crater/./work/local/cargo-home/git:/cargo-home/git:rw,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +f6d43ed84207c7e58f363f46e5a438ff40f2b311-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"` Aug 11 10:27:10.524 INFO blam! daeb34576e2ddf1e65a7193b64dec6f764179324597e2cd170506b141ec2cc9d Aug 11 10:27:10.525 INFO running `"docker" "start" "-a" "daeb34576e2ddf1e65a7193b64dec6f764179324597e2cd170506b141ec2cc9d"` Aug 11 10:27:11.557 INFO kablam! Checking kailua_test v1.0.4 Aug 11 10:27:11.560 INFO kablam! Checking kailua_types v1.1.0 Aug 11 10:27:19.876 INFO kablam! Checking kailua_check v1.1.0 (file:///source) Aug 11 10:27:21.787 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Aug 11 10:27:21.787 INFO kablam! --> src/options.rs:4:5 Aug 11 10:27:21.788 INFO kablam! | Aug 11 10:27:21.788 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 11 10:27:21.788 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 11 10:27:21.788 INFO kablam! | Aug 11 10:27:21.788 INFO kablam! = note: #[warn(deprecated)] on by default Aug 11 10:27:21.788 INFO kablam! Aug 11 10:27:21.876 INFO kablam! warning: use of deprecated item 'std::ascii::AsciiExt': use inherent methods instead Aug 11 10:27:21.876 INFO kablam! --> src/options.rs:4:5 Aug 11 10:27:21.876 INFO kablam! | Aug 11 10:27:21.876 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 11 10:27:21.876 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 11 10:27:21.876 INFO kablam! | Aug 11 10:27:21.876 INFO kablam! = note: #[warn(deprecated)] on by default Aug 11 10:27:21.876 INFO kablam! Aug 11 10:27:26.588 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Aug 11 10:27:26.588 INFO kablam! --> src/options.rs:4:5 Aug 11 10:27:26.589 INFO kablam! | Aug 11 10:27:26.589 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 11 10:27:26.589 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 11 10:27:26.589 INFO kablam! | Aug 11 10:27:26.589 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 11 10:27:26.589 INFO kablam! Aug 11 10:27:27.348 INFO kablam! warning: unused import: `std::ascii::AsciiExt` Aug 11 10:27:27.348 INFO kablam! --> src/options.rs:4:5 Aug 11 10:27:27.348 INFO kablam! | Aug 11 10:27:27.348 INFO kablam! 4 | use std::ascii::AsciiExt; Aug 11 10:27:27.348 INFO kablam! | ^^^^^^^^^^^^^^^^^^^^ Aug 11 10:27:27.348 INFO kablam! | Aug 11 10:27:27.348 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 11 10:27:27.348 INFO kablam! Aug 11 10:27:28.283 INFO kablam! warning: variable does not need to be mutable Aug 11 10:27:28.283 INFO kablam! --> src/env.rs:974:17 Aug 11 10:27:28.283 INFO kablam! | Aug 11 10:27:28.283 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Aug 11 10:27:28.283 INFO kablam! | ----^^^ Aug 11 10:27:28.283 INFO kablam! | | Aug 11 10:27:28.283 INFO kablam! | help: remove this `mut` Aug 11 10:27:28.283 INFO kablam! | Aug 11 10:27:28.283 INFO kablam! = note: #[warn(unused_mut)] on by default Aug 11 10:27:28.283 INFO kablam! Aug 11 10:27:28.354 INFO kablam! warning: variable does not need to be mutable Aug 11 10:27:28.354 INFO kablam! --> src/env.rs:1194:13 Aug 11 10:27:28.354 INFO kablam! | Aug 11 10:27:28.354 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Aug 11 10:27:28.354 INFO kablam! | ----^^^ Aug 11 10:27:28.354 INFO kablam! | | Aug 11 10:27:28.354 INFO kablam! | help: remove this `mut` Aug 11 10:27:28.354 INFO kablam! Aug 11 10:27:28.399 INFO kablam! warning: variable does not need to be mutable Aug 11 10:27:28.399 INFO kablam! --> src/env.rs:974:17 Aug 11 10:27:28.399 INFO kablam! | Aug 11 10:27:28.399 INFO kablam! 974 | let mut def = def.expect("Env::ensure_var with an undefined var"); Aug 11 10:27:28.399 INFO kablam! | ----^^^ Aug 11 10:27:28.399 INFO kablam! | | Aug 11 10:27:28.399 INFO kablam! | help: remove this `mut` Aug 11 10:27:28.399 INFO kablam! | Aug 11 10:27:28.399 INFO kablam! = note: #[warn(unused_mut)] on by default Aug 11 10:27:28.399 INFO kablam! Aug 11 10:27:28.480 INFO kablam! warning: variable does not need to be mutable Aug 11 10:27:28.480 INFO kablam! --> src/env.rs:1194:13 Aug 11 10:27:28.480 INFO kablam! | Aug 11 10:27:28.480 INFO kablam! 1194 | let mut def = self.context.ids.entry(id).or_insert_with(|| { Aug 11 10:27:28.480 INFO kablam! | ----^^^ Aug 11 10:27:28.480 INFO kablam! | | Aug 11 10:27:28.480 INFO kablam! | help: remove this `mut` Aug 11 10:27:28.496 INFO kablam! Aug 11 10:27:29.471 INFO kablam! warning: variable does not need to be mutable Aug 11 10:27:29.471 INFO kablam! --> src/check.rs:1302:13 Aug 11 10:27:29.471 INFO kablam! | Aug 11 10:27:29.471 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Aug 11 10:27:29.471 INFO kablam! | ----^^^^^^^ Aug 11 10:27:29.471 INFO kablam! | | Aug 11 10:27:29.471 INFO kablam! | help: remove this `mut` Aug 11 10:27:29.471 INFO kablam! Aug 11 10:27:29.476 INFO kablam! warning: variable does not need to be mutable Aug 11 10:27:29.476 INFO kablam! --> src/check.rs:1302:13 Aug 11 10:27:29.476 INFO kablam! | Aug 11 10:27:29.476 INFO kablam! 1302 | let mut modules = self.pending_modules.last_mut().unwrap(); Aug 11 10:27:29.477 INFO kablam! | ----^^^^^^^ Aug 11 10:27:29.477 INFO kablam! | | Aug 11 10:27:29.477 INFO kablam! | help: remove this `mut` Aug 11 10:27:29.477 INFO kablam! Aug 11 10:27:30.169 INFO kablam! warning: variable does not need to be mutable Aug 11 10:27:30.169 INFO kablam! --> src/check.rs:2882:17 Aug 11 10:27:30.169 INFO kablam! | Aug 11 10:27:30.169 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Aug 11 10:27:30.169 INFO kablam! | ----^^^^^^^ Aug 11 10:27:30.169 INFO kablam! | | Aug 11 10:27:30.169 INFO kablam! | help: remove this `mut` Aug 11 10:27:30.169 INFO kablam! Aug 11 10:27:30.243 INFO kablam! warning: variable does not need to be mutable Aug 11 10:27:30.243 INFO kablam! --> src/check.rs:2882:17 Aug 11 10:27:30.243 INFO kablam! | Aug 11 10:27:30.243 INFO kablam! 2882 | let mut modules = self.pending_modules.last_mut().expect("missing PendingModules"); Aug 11 10:27:30.243 INFO kablam! | ----^^^^^^^ Aug 11 10:27:30.243 INFO kablam! | | Aug 11 10:27:30.243 INFO kablam! | help: remove this `mut` Aug 11 10:27:30.243 INFO kablam! Aug 11 10:27:34.451 INFO kablam! warning: unused import: `std::str` Aug 11 10:27:34.451 INFO kablam! --> src/bin/kailua-check.rs:8:5 Aug 11 10:27:34.451 INFO kablam! | Aug 11 10:27:34.451 INFO kablam! 8 | use std::str; Aug 11 10:27:34.451 INFO kablam! | ^^^^^^^^ Aug 11 10:27:34.452 INFO kablam! | Aug 11 10:27:34.452 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 11 10:27:34.452 INFO kablam! Aug 11 10:27:34.732 INFO kablam! warning: unused import: `std::str` Aug 11 10:27:34.732 INFO kablam! --> src/bin/kailua-check.rs:8:5 Aug 11 10:27:34.732 INFO kablam! | Aug 11 10:27:34.732 INFO kablam! 8 | use std::str; Aug 11 10:27:34.733 INFO kablam! | ^^^^^^^^ Aug 11 10:27:34.733 INFO kablam! | Aug 11 10:27:34.733 INFO kablam! = note: #[warn(unused_imports)] on by default Aug 11 10:27:34.733 INFO kablam! Aug 11 10:27:35.778 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 24.41s Aug 11 10:27:35.796 INFO kablam! su: No module specific data is present Aug 11 10:27:36.586 INFO running `"docker" "rm" "-f" "daeb34576e2ddf1e65a7193b64dec6f764179324597e2cd170506b141ec2cc9d"` Aug 11 10:27:36.771 INFO blam! daeb34576e2ddf1e65a7193b64dec6f764179324597e2cd170506b141ec2cc9d