Aug 02 06:07:22.859 INFO checking kailua_types-1.1.0 against 1.27.2+tmplazy for lazy_static-1 Aug 02 06:07:22.859 INFO running: cargo +1.27.2 check --frozen --all --all-targets Aug 02 06:07:22.859 INFO creating container for: cargo +1.27.2 check --frozen --all --all-targets Aug 02 06:07:22.859 INFO running `"docker" "create" "-v" "/tmp/crater.oL5eAqRpjVrV:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/lazy_static-1/worker-4/1.27.2+tmplazy:/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 +1.27.2 check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"` Aug 02 06:07:23.175 INFO blam! fae3be139eed2892bdd925574177faf1c40443ddea0392f58c08b3e1049841d4 Aug 02 06:07:23.177 INFO running `"docker" "start" "-a" "fae3be139eed2892bdd925574177faf1c40443ddea0392f58c08b3e1049841d4"` Aug 02 06:07:23.996 INFO kablam! Checking kailua_env v1.0.4 Aug 02 06:07:23.996 INFO kablam! Checking parse-generics-shim v0.1.1 Aug 02 06:07:23.997 INFO kablam! Checking take_mut v0.1.3 Aug 02 06:07:23.997 INFO kablam! Checking atomic v0.3.4 Aug 02 06:07:26.446 INFO kablam! Checking kailua_diag v1.0.4 Aug 02 06:07:27.795 INFO kablam! Checking kailua_syntax v1.1.0 Aug 02 06:07:34.517 INFO kablam! Checking kailua_types v1.1.0 (file:///source) Aug 02 06:07:37.032 INFO kablam! warning: unused macro definition Aug 02 06:07:37.032 INFO kablam! --> src/ty/value.rs:1875:5 Aug 02 06:07:37.032 INFO kablam! | Aug 02 06:07:37.032 INFO kablam! 1875 | / macro_rules! hash { Aug 02 06:07:37.032 INFO kablam! 1876 | | ($($k:ident = $v:expr),*) => (vec![$((s(stringify!($k)), $v)),*]) Aug 02 06:07:37.032 INFO kablam! 1877 | | } Aug 02 06:07:37.032 INFO kablam! | |_____^ Aug 02 06:07:37.032 INFO kablam! | Aug 02 06:07:37.032 INFO kablam! = note: #[warn(unused_macros)] on by default Aug 02 06:07:37.032 INFO kablam! Aug 02 06:07:43.418 INFO kablam! warning: variable does not need to be mutable Aug 02 06:07:43.418 INFO kablam! --> src/ty/display.rs:78:13 Aug 02 06:07:43.418 INFO kablam! | Aug 02 06:07:43.418 INFO kablam! 78 | let mut spans = disambig.entry(name.base.clone()).or_insert_with(|| HashMap::new()); Aug 02 06:07:43.418 INFO kablam! | ----^^^^^ Aug 02 06:07:43.418 INFO kablam! | | Aug 02 06:07:43.418 INFO kablam! | help: remove this `mut` Aug 02 06:07:43.418 INFO kablam! | Aug 02 06:07:43.418 INFO kablam! = note: #[warn(unused_mut)] on by default Aug 02 06:07:43.418 INFO kablam! Aug 02 06:07:45.676 INFO kablam! warning: variable does not need to be mutable Aug 02 06:07:45.676 INFO kablam! --> src/env/mod.rs:381:17 Aug 02 06:07:45.676 INFO kablam! | Aug 02 06:07:45.676 INFO kablam! 381 | let mut row = Aug 02 06:07:45.676 INFO kablam! | ----^^^ Aug 02 06:07:45.676 INFO kablam! | | Aug 02 06:07:45.676 INFO kablam! | help: remove this `mut` Aug 02 06:07:45.676 INFO kablam! Aug 02 06:07:45.676 INFO kablam! warning: variable does not need to be mutable Aug 02 06:07:45.676 INFO kablam! --> src/env/mod.rs:388:17 Aug 02 06:07:45.676 INFO kablam! | Aug 02 06:07:45.676 INFO kablam! 388 | let mut row = Aug 02 06:07:45.676 INFO kablam! | ----^^^ Aug 02 06:07:45.677 INFO kablam! | | Aug 02 06:07:45.678 INFO kablam! | help: remove this `mut` Aug 02 06:07:45.678 INFO kablam! Aug 02 06:07:48.392 INFO kablam! warning: variable does not need to be mutable Aug 02 06:07:48.392 INFO kablam! --> src/ty/display.rs:78:13 Aug 02 06:07:48.392 INFO kablam! | Aug 02 06:07:48.392 INFO kablam! 78 | let mut spans = disambig.entry(name.base.clone()).or_insert_with(|| HashMap::new()); Aug 02 06:07:48.392 INFO kablam! | ----^^^^^ Aug 02 06:07:48.392 INFO kablam! | | Aug 02 06:07:48.392 INFO kablam! | help: remove this `mut` Aug 02 06:07:48.392 INFO kablam! | Aug 02 06:07:48.392 INFO kablam! = note: #[warn(unused_mut)] on by default Aug 02 06:07:48.392 INFO kablam! Aug 02 06:07:52.414 INFO kablam! warning: variable does not need to be mutable Aug 02 06:07:52.414 INFO kablam! --> src/env/mod.rs:381:17 Aug 02 06:07:52.414 INFO kablam! | Aug 02 06:07:52.414 INFO kablam! 381 | let mut row = Aug 02 06:07:52.414 INFO kablam! | ----^^^ Aug 02 06:07:52.414 INFO kablam! | | Aug 02 06:07:52.414 INFO kablam! | help: remove this `mut` Aug 02 06:07:52.414 INFO kablam! Aug 02 06:07:52.414 INFO kablam! warning: variable does not need to be mutable Aug 02 06:07:52.415 INFO kablam! --> src/env/mod.rs:388:17 Aug 02 06:07:52.415 INFO kablam! | Aug 02 06:07:52.415 INFO kablam! 388 | let mut row = Aug 02 06:07:52.415 INFO kablam! | ----^^^ Aug 02 06:07:52.415 INFO kablam! | | Aug 02 06:07:52.415 INFO kablam! | help: remove this `mut` Aug 02 06:07:52.415 INFO kablam! Aug 02 06:07:53.295 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 29.42s Aug 02 06:07:53.301 INFO kablam! su: No module specific data is present Aug 02 06:07:53.932 INFO running `"docker" "rm" "-f" "fae3be139eed2892bdd925574177faf1c40443ddea0392f58c08b3e1049841d4"` Aug 02 06:07:54.117 INFO blam! fae3be139eed2892bdd925574177faf1c40443ddea0392f58c08b3e1049841d4