Nov 01 20:46:39.354 INFO checking kailua_types-1.1.0 against master#05812fa8c588473f03e3fa7cf59cd84f4f37c715 for pr-55538
Nov 01 20:46:39.354 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-55538/worker-6/master#05812fa8c588473f03e3fa7cf59cd84f4f37c715:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-6/pr-55538/master#05812fa8c588473f03e3fa7cf59cd84f4f37c715:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +05812fa8c588473f03e3fa7cf59cd84f4f37c715-alt check --frozen --all --all-targets" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Nov 01 20:46:39.716 INFO blam! 7e0640d6cc5821e2eb2a58be2fc2a8e84192a18817db0a01cd3a6e0fe0fc9461
Nov 01 20:46:39.720 INFO running `"docker" "start" "-a" "7e0640d6cc5821e2eb2a58be2fc2a8e84192a18817db0a01cd3a6e0fe0fc9461"`
Nov 01 20:46:40.764 INFO kablam! usermod: no changes
Nov 01 20:46:40.880 INFO kablam!     Checking kailua_env v1.0.4
Nov 01 20:46:42.105 INFO kablam!     Checking kailua_diag v1.0.4
Nov 01 20:46:43.187 INFO kablam!     Checking kailua_syntax v1.1.0
Nov 01 20:46:47.204 INFO kablam!     Checking kailua_types v1.1.0 (/source)
Nov 01 20:46:50.000 INFO kablam! warning: unused macro definition
Nov 01 20:46:50.000 INFO kablam!     --> src/ty/value.rs:1875:5
Nov 01 20:46:50.000 INFO kablam!      |
Nov 01 20:46:50.000 INFO kablam! 1875 | /     macro_rules! hash {
Nov 01 20:46:50.000 INFO kablam! 1876 | |         ($($k:ident = $v:expr),*) => (vec![$((s(stringify!($k)), $v)),*])
Nov 01 20:46:50.000 INFO kablam! 1877 | |     }
Nov 01 20:46:50.000 INFO kablam!      | |_____^
Nov 01 20:46:50.000 INFO kablam!      |
Nov 01 20:46:50.000 INFO kablam!      = note: #[warn(unused_macros)] on by default
Nov 01 20:46:50.000 INFO kablam! 
Nov 01 20:46:52.088 INFO kablam! warning: variable does not need to be mutable
Nov 01 20:46:52.088 INFO kablam!   --> src/ty/display.rs:78:13
Nov 01 20:46:52.088 INFO kablam!    |
Nov 01 20:46:52.088 INFO kablam! 78 |         let mut spans = disambig.entry(name.base.clone()).or_insert_with(|| HashMap::new());
Nov 01 20:46:52.088 INFO kablam!    |             ----^^^^^
Nov 01 20:46:52.088 INFO kablam!    |             |
Nov 01 20:46:52.088 INFO kablam!    |             help: remove this `mut`
Nov 01 20:46:52.088 INFO kablam!    |
Nov 01 20:46:52.088 INFO kablam!    = note: #[warn(unused_mut)] on by default
Nov 01 20:46:52.088 INFO kablam! 
Nov 01 20:46:52.764 INFO kablam! warning: variable does not need to be mutable
Nov 01 20:46:52.764 INFO kablam!    --> src/env/mod.rs:381:17
Nov 01 20:46:52.764 INFO kablam!     |
Nov 01 20:46:52.764 INFO kablam! 381 |             let mut row =
Nov 01 20:46:52.764 INFO kablam!     |                 ----^^^
Nov 01 20:46:52.764 INFO kablam!     |                 |
Nov 01 20:46:52.764 INFO kablam!     |                 help: remove this `mut`
Nov 01 20:46:52.764 INFO kablam! 
Nov 01 20:46:52.764 INFO kablam! warning: variable does not need to be mutable
Nov 01 20:46:52.764 INFO kablam!    --> src/env/mod.rs:388:17
Nov 01 20:46:52.764 INFO kablam!     |
Nov 01 20:46:52.764 INFO kablam! 388 |             let mut row =
Nov 01 20:46:52.765 INFO kablam!     |                 ----^^^
Nov 01 20:46:52.765 INFO kablam!     |                 |
Nov 01 20:46:52.765 INFO kablam!     |                 help: remove this `mut`
Nov 01 20:46:52.765 INFO kablam! 
Nov 01 20:46:54.017 INFO kablam! warning: variable does not need to be mutable
Nov 01 20:46:54.018 INFO kablam!   --> src/ty/display.rs:78:13
Nov 01 20:46:54.018 INFO kablam!    |
Nov 01 20:46:54.018 INFO kablam! 78 |         let mut spans = disambig.entry(name.base.clone()).or_insert_with(|| HashMap::new());
Nov 01 20:46:54.018 INFO kablam!    |             ----^^^^^
Nov 01 20:46:54.018 INFO kablam!    |             |
Nov 01 20:46:54.018 INFO kablam!    |             help: remove this `mut`
Nov 01 20:46:54.018 INFO kablam!    |
Nov 01 20:46:54.018 INFO kablam!    = note: #[warn(unused_mut)] on by default
Nov 01 20:46:54.018 INFO kablam! 
Nov 01 20:46:54.924 INFO kablam! warning: variable does not need to be mutable
Nov 01 20:46:54.924 INFO kablam!    --> src/env/mod.rs:381:17
Nov 01 20:46:54.924 INFO kablam!     |
Nov 01 20:46:54.924 INFO kablam! 381 |             let mut row =
Nov 01 20:46:54.924 INFO kablam!     |                 ----^^^
Nov 01 20:46:54.924 INFO kablam!     |                 |
Nov 01 20:46:54.925 INFO kablam!     |                 help: remove this `mut`
Nov 01 20:46:54.925 INFO kablam! 
Nov 01 20:46:54.925 INFO kablam! warning: variable does not need to be mutable
Nov 01 20:46:54.925 INFO kablam!    --> src/env/mod.rs:388:17
Nov 01 20:46:54.925 INFO kablam!     |
Nov 01 20:46:54.925 INFO kablam! 388 |             let mut row =
Nov 01 20:46:54.925 INFO kablam!     |                 ----^^^
Nov 01 20:46:54.925 INFO kablam!     |                 |
Nov 01 20:46:54.925 INFO kablam!     |                 help: remove this `mut`
Nov 01 20:46:54.925 INFO kablam! 
Nov 01 20:46:55.264 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 14.46s
Nov 01 20:46:55.273 INFO kablam! su: No module specific data is present
Nov 01 20:46:55.579 INFO running `"docker" "rm" "-f" "7e0640d6cc5821e2eb2a58be2fc2a8e84192a18817db0a01cd3a6e0fe0fc9461"`
Nov 01 20:46:55.932 INFO blam! 7e0640d6cc5821e2eb2a58be2fc2a8e84192a18817db0a01cd3a6e0fe0fc9461