Sep 20 01:14:36.045 INFO checking kailua_workspace-1.1.0 against try#135b4cd023a753409d01e43b0f23d22a899feeeb for pr-54352 Sep 20 01:14:36.045 INFO running: cargo +135b4cd023a753409d01e43b0f23d22a899feeeb-alt check --frozen --all --all-targets Sep 20 01:14:36.045 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-5/pr-54352/try#135b4cd023a753409d01e43b0f23d22a899feeeb:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54352/worker-5/try#135b4cd023a753409d01e43b0f23d22a899feeeb:/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 +135b4cd023a753409d01e43b0f23d22a899feeeb-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"` Sep 20 01:14:36.226 INFO blam! 4fc74873450244d736e18859018cec93e7c6b7f314a01e7a1354ee06d99de7ef Sep 20 01:14:36.228 INFO running `"docker" "start" "-a" "4fc74873450244d736e18859018cec93e7c6b7f314a01e7a1354ee06d99de7ef"` Sep 20 01:14:36.898 INFO kablam! usermod: no changes Sep 20 01:14:37.009 INFO kablam! Checking kailua_env v1.0.4 Sep 20 01:14:37.009 INFO kablam! Checking parse-generics-shim v0.1.1 Sep 20 01:14:37.011 INFO kablam! Checking atomic v0.3.4 Sep 20 01:14:37.011 INFO kablam! Checking take_mut v0.1.3 Sep 20 01:14:37.962 INFO kablam! Checking kailua_diag v1.0.4 Sep 20 01:14:38.593 INFO kablam! Checking kailua_syntax v1.1.0 Sep 20 01:14:41.260 INFO kablam! Checking kailua_types v1.1.0 Sep 20 01:14:45.366 INFO kablam! Checking kailua_check v1.1.0 Sep 20 01:14:49.402 INFO kablam! Checking kailua_workspace v1.1.0 (/source) Sep 20 01:14:51.262 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 14.33s Sep 20 01:14:51.265 INFO kablam! su: No module specific data is present Sep 20 01:14:51.969 INFO running `"docker" "rm" "-f" "4fc74873450244d736e18859018cec93e7c6b7f314a01e7a1354ee06d99de7ef"` Sep 20 01:14:52.092 INFO blam! 4fc74873450244d736e18859018cec93e7c6b7f314a01e7a1354ee06d99de7ef