Sep 10 16:02:47.662 INFO checking kailua_workspace-1.1.0 against master#f50b7758f4dc85dc1c5e38258adaa94213ac6ed1 for pr-54090
Sep 10 16:02:47.662 INFO running: cargo +f50b7758f4dc85dc1c5e38258adaa94213ac6ed1-alt check --frozen --all --all-targets
Sep 10 16:02:47.662 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-0/pr-54090/master#f50b7758f4dc85dc1c5e38258adaa94213ac6ed1:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54090/worker-0/master#f50b7758f4dc85dc1c5e38258adaa94213ac6ed1:/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 +f50b7758f4dc85dc1c5e38258adaa94213ac6ed1-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-m" "2G" "crater"`
Sep 10 16:02:47.867 INFO blam! 16fce61420572735e6ae85884d3fcfb460f3b5c7cea0876a96742c4ad8b6cd78
Sep 10 16:02:47.869 INFO running `"docker" "start" "-a" "16fce61420572735e6ae85884d3fcfb460f3b5c7cea0876a96742c4ad8b6cd78"`
Sep 10 16:02:48.844 INFO kablam! usermod: no changes
Sep 10 16:02:49.020 INFO kablam!     Checking kailua_env v1.0.4
Sep 10 16:02:49.020 INFO kablam!     Checking parse-generics-shim v0.1.1
Sep 10 16:02:49.021 INFO kablam!     Checking take_mut v0.1.3
Sep 10 16:02:49.706 INFO kablam!     Checking kailua_diag v1.0.4
Sep 10 16:02:50.377 INFO kablam!     Checking kailua_syntax v1.1.0
Sep 10 16:02:54.050 INFO kablam!     Checking kailua_types v1.1.0
Sep 10 16:02:58.882 INFO kablam!     Checking kailua_check v1.1.0
Sep 10 16:03:03.630 INFO kablam!     Checking kailua_workspace v1.1.0 (file:///source)
Sep 10 16:03:05.345 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 16.47s
Sep 10 16:03:05.352 INFO kablam! su: No module specific data is present
Sep 10 16:03:06.336 INFO running `"docker" "rm" "-f" "16fce61420572735e6ae85884d3fcfb460f3b5c7cea0876a96742c4ad8b6cd78"`
Sep 10 16:03:06.455 INFO blam! 16fce61420572735e6ae85884d3fcfb460f3b5c7cea0876a96742c4ad8b6cd78