Sep 14 08:31:51.474 INFO checking stateright-0.1.0 against master#90d36fb5905bbe5004f5b465ea14b53d10dae260 for pr-53578-1 Sep 14 08:31:51.474 INFO running: cargo +90d36fb5905bbe5004f5b465ea14b53d10dae260-alt check --frozen --all --all-targets Sep 14 08:31:51.474 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-53578-1/master#90d36fb5905bbe5004f5b465ea14b53d10dae260:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53578-1/worker-1/master#90d36fb5905bbe5004f5b465ea14b53d10dae260:/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 +90d36fb5905bbe5004f5b465ea14b53d10dae260-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 14 08:31:51.654 INFO blam! b6f800800d6ced7e808c9855fbcd963bb9986ac0f8ead234e87a53ab6ca4b4d1 Sep 14 08:31:51.654 INFO running `"docker" "start" "-a" "b6f800800d6ced7e808c9855fbcd963bb9986ac0f8ead234e87a53ab6ca4b4d1"` Sep 14 08:31:52.230 INFO kablam! usermod: no changes Sep 14 08:31:52.302 INFO kablam! Checking stateright v0.1.0 (file:///source) Sep 14 08:31:53.960 INFO kablam! warning: unused `#[macro_use]` import Sep 14 08:31:53.960 INFO kablam! --> examples/paxos.rs:3:1 Sep 14 08:31:53.960 INFO kablam! | Sep 14 08:31:53.960 INFO kablam! 3 | #[macro_use] Sep 14 08:31:53.960 INFO kablam! | ^^^^^^^^^^^^ Sep 14 08:31:53.960 INFO kablam! | Sep 14 08:31:53.960 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 14 08:31:53.960 INFO kablam! Sep 14 08:31:54.427 INFO kablam! warning: unused `#[macro_use]` import Sep 14 08:31:54.427 INFO kablam! --> examples/wor.rs:3:1 Sep 14 08:31:54.427 INFO kablam! | Sep 14 08:31:54.427 INFO kablam! 3 | #[macro_use] Sep 14 08:31:54.427 INFO kablam! | ^^^^^^^^^^^^ Sep 14 08:31:54.427 INFO kablam! | Sep 14 08:31:54.427 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 14 08:31:54.427 INFO kablam! Sep 14 08:31:54.527 INFO kablam! warning: unused `#[macro_use]` import Sep 14 08:31:54.527 INFO kablam! --> examples/2pc.rs:5:1 Sep 14 08:31:54.527 INFO kablam! | Sep 14 08:31:54.527 INFO kablam! 5 | #[macro_use] Sep 14 08:31:54.527 INFO kablam! | ^^^^^^^^^^^^ Sep 14 08:31:54.527 INFO kablam! | Sep 14 08:31:54.527 INFO kablam! = note: #[warn(unused_imports)] on by default Sep 14 08:31:54.527 INFO kablam! Sep 14 08:31:54.891 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 2.64s Sep 14 08:31:54.902 INFO kablam! su: No module specific data is present Sep 14 08:31:55.845 INFO running `"docker" "rm" "-f" "b6f800800d6ced7e808c9855fbcd963bb9986ac0f8ead234e87a53ab6ca4b4d1"` Sep 14 08:31:56.128 INFO blam! b6f800800d6ced7e808c9855fbcd963bb9986ac0f8ead234e87a53ab6ca4b4d1