Aug 17 18:54:45.521 INFO checking kailua_workspace-1.1.0 against try#a5d98b025f62ace80fe9d2a15781f900fc42515e for pr-53426
Aug 17 18:54:45.521 INFO running: cargo +a5d98b025f62ace80fe9d2a15781f900fc42515e-alt check --frozen --all --all-targets
Aug 17 18:54:45.521 INFO creating container for: cargo +a5d98b025f62ace80fe9d2a15781f900fc42515e-alt check --frozen --all --all-targets
Aug 17 18:54:45.521 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-3/pr-53426/try#a5d98b025f62ace80fe9d2a15781f900fc42515e:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53426/worker-3/try#a5d98b025f62ace80fe9d2a15781f900fc42515e:/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 +a5d98b025f62ace80fe9d2a15781f900fc42515e-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"`
Aug 17 18:54:45.762 INFO blam! bb6a9969f7e15f39429e242d2d102b2294e15ac03391bccf84cb00dc5460a58a
Aug 17 18:54:45.765 INFO running `"docker" "start" "-a" "bb6a9969f7e15f39429e242d2d102b2294e15ac03391bccf84cb00dc5460a58a"`
Aug 17 18:54:46.790 INFO kablam!     Checking kailua_env v1.0.4
Aug 17 18:54:46.794 INFO kablam!     Checking parse-generics-shim v0.1.1
Aug 17 18:54:46.826 INFO kablam!     Checking take_mut v0.1.3
Aug 17 18:54:49.333 INFO kablam!     Checking kailua_diag v1.0.4
Aug 17 18:54:51.059 INFO kablam!     Checking kailua_syntax v1.1.0
Aug 17 18:54:58.823 INFO kablam!     Checking kailua_types v1.1.0
Aug 17 18:55:09.140 INFO kablam!     Checking kailua_check v1.1.0
Aug 17 18:55:17.851 INFO kablam!     Checking kailua_workspace v1.1.0 (file:///source)
Aug 17 18:55:22.039 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 35.45s
Aug 17 18:55:22.055 INFO kablam! su: No module specific data is present
Aug 17 18:55:22.588 INFO running `"docker" "rm" "-f" "bb6a9969f7e15f39429e242d2d102b2294e15ac03391bccf84cb00dc5460a58a"`
Aug 17 18:55:22.735 INFO blam! bb6a9969f7e15f39429e242d2d102b2294e15ac03391bccf84cb00dc5460a58a