Sep 01 12:19:49.029 INFO checking terakun/type_inference against try#952c7dbfa2628309f557b367929ffc17af20b332 for pr-53851 Sep 01 12:19:49.029 INFO running: cargo +952c7dbfa2628309f557b367929ffc17af20b332-alt check --frozen --all --all-targets Sep 01 12:19:49.029 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53851/try#952c7dbfa2628309f557b367929ffc17af20b332:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53851/worker-2/try#952c7dbfa2628309f557b367929ffc17af20b332:/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 +952c7dbfa2628309f557b367929ffc17af20b332-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 01 12:19:49.206 INFO blam! ce78f1338719f729270ef8ed687080b0541a3f656d3d3a4a33e5690d54826b92 Sep 01 12:19:49.207 INFO running `"docker" "start" "-a" "ce78f1338719f729270ef8ed687080b0541a3f656d3d3a4a33e5690d54826b92"` Sep 01 12:19:49.945 INFO kablam! Checking type_inference v0.1.0 (file:///source) Sep 01 12:19:50.378 INFO kablam! warning: variant is never constructed: `Bool` Sep 01 12:19:50.378 INFO kablam! --> src/ast.rs:14:5 Sep 01 12:19:50.378 INFO kablam! | Sep 01 12:19:50.378 INFO kablam! 14 | Bool(bool), Sep 01 12:19:50.378 INFO kablam! | ^^^^^^^^^^ Sep 01 12:19:50.378 INFO kablam! | Sep 01 12:19:50.378 INFO kablam! = note: #[warn(dead_code)] on by default Sep 01 12:19:50.378 INFO kablam! Sep 01 12:19:50.425 INFO kablam! warning: variant is never constructed: `Bool` Sep 01 12:19:50.425 INFO kablam! --> src/ast.rs:14:5 Sep 01 12:19:50.425 INFO kablam! | Sep 01 12:19:50.425 INFO kablam! 14 | Bool(bool), Sep 01 12:19:50.425 INFO kablam! | ^^^^^^^^^^ Sep 01 12:19:50.425 INFO kablam! | Sep 01 12:19:50.425 INFO kablam! = note: #[warn(dead_code)] on by default Sep 01 12:19:50.425 INFO kablam! Sep 01 12:19:50.455 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 0.52s Sep 01 12:19:50.457 INFO kablam! su: No module specific data is present Sep 01 12:19:50.969 INFO running `"docker" "rm" "-f" "ce78f1338719f729270ef8ed687080b0541a3f656d3d3a4a33e5690d54826b92"` Sep 01 12:19:51.053 INFO blam! ce78f1338719f729270ef8ed687080b0541a3f656d3d3a4a33e5690d54826b92