Aug 17 16:51:56.151 INFO checking mop-0.0.1 against master#142bb27373126edf8367f526358b6c72ecf1d8df for pr-53426
Aug 17 16:51:56.152 INFO running: cargo +142bb27373126edf8367f526358b6c72ecf1d8df-alt check --frozen --all --all-targets
Aug 17 16:51:56.152 INFO creating container for: cargo +142bb27373126edf8367f526358b6c72ecf1d8df-alt check --frozen --all --all-targets
Aug 17 16:51:56.152 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-53426/master#142bb27373126edf8367f526358b6c72ecf1d8df:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53426/worker-1/master#142bb27373126edf8367f526358b6c72ecf1d8df:/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 +142bb27373126edf8367f526358b6c72ecf1d8df-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"`
Aug 17 16:51:56.416 INFO blam! 913053d5e718d06cc425d4a0ea30b8d1c9f27a530de0dc8c5bfdd8316ae2f5d1
Aug 17 16:51:56.416 INFO running `"docker" "start" "-a" "913053d5e718d06cc425d4a0ea30b8d1c9f27a530de0dc8c5bfdd8316ae2f5d1"`
Aug 17 16:51:57.526 INFO kablam!    Compiling serde v1.0.71
Aug 17 16:51:57.528 INFO kablam!     Checking mop-solver v0.0.1
Aug 17 16:52:21.530 INFO kablam!     Checking mop-structs v0.0.1
Aug 17 16:52:25.243 INFO kablam!     Checking mop-blocks v0.0.1
Aug 17 16:52:28.736 INFO kablam!     Checking mop-solvers v0.0.1
Aug 17 16:52:28.736 INFO kablam!     Checking mop-facades v0.0.1
Aug 17 16:52:32.522 INFO kablam!     Checking mop-adapters v0.0.1
Aug 17 16:52:34.185 INFO kablam!     Checking mop v0.0.1 (file:///source)
Aug 17 16:52:36.628 INFO kablam!     Finished dev [unoptimized + debuginfo] target(s) in 39.29s
Aug 17 16:52:36.638 INFO kablam! su: No module specific data is present
Aug 17 16:52:37.169 INFO running `"docker" "rm" "-f" "913053d5e718d06cc425d4a0ea30b8d1c9f27a530de0dc8c5bfdd8316ae2f5d1"`
Aug 17 16:52:37.355 INFO blam! 913053d5e718d06cc425d4a0ea30b8d1c9f27a530de0dc8c5bfdd8316ae2f5d1