Sep 01 16:08:44.286 INFO checking kailua_workspace-1.1.0 against try#aa245a5862056b681d2ccdb178f58891108cd3a6 for pr-53831 Sep 01 16:08:44.286 INFO running: cargo +aa245a5862056b681d2ccdb178f58891108cd3a6-alt check --frozen --all --all-targets Sep 01 16:08:44.286 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53831/try#aa245a5862056b681d2ccdb178f58891108cd3a6:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53831/worker-2/try#aa245a5862056b681d2ccdb178f58891108cd3a6:/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 +aa245a5862056b681d2ccdb178f58891108cd3a6-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 01 16:08:44.498 INFO blam! 0535656261b17c131d81b72ca343b00602dcc5e51ae6c821391bc903e8dbbd1c Sep 01 16:08:44.501 INFO running `"docker" "start" "-a" "0535656261b17c131d81b72ca343b00602dcc5e51ae6c821391bc903e8dbbd1c"` Sep 01 16:08:45.270 INFO kablam! Checking kailua_env v1.0.4 Sep 01 16:08:45.270 INFO kablam! Checking parse-generics-shim v0.1.1 Sep 01 16:08:45.270 INFO kablam! Checking take_mut v0.1.3 Sep 01 16:08:45.271 INFO kablam! Checking atomic v0.3.4 Sep 01 16:08:46.734 INFO kablam! Checking kailua_diag v1.0.4 Sep 01 16:08:47.613 INFO kablam! Checking kailua_syntax v1.1.0 Sep 01 16:08:52.203 INFO kablam! Checking kailua_types v1.1.0 Sep 01 16:08:57.411 INFO kablam! Checking kailua_check v1.1.0 Sep 01 16:09:02.058 INFO kablam! Checking kailua_workspace v1.1.0 (file:///source) Sep 01 16:09:04.941 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 19.76s Sep 01 16:09:04.945 INFO kablam! su: No module specific data is present Sep 01 16:09:05.410 INFO running `"docker" "rm" "-f" "0535656261b17c131d81b72ca343b00602dcc5e51ae6c821391bc903e8dbbd1c"` Sep 01 16:09:05.534 INFO blam! 0535656261b17c131d81b72ca343b00602dcc5e51ae6c821391bc903e8dbbd1c