Aug 10 17:12:02.118 INFO checking terakun/type_inference against try#a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195+tmplazy for libc-1 Aug 10 17:12:02.118 INFO running: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets Aug 10 17:12:02.118 INFO creating container for: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets Aug 10 17:12:02.118 INFO running `"docker" "create" "-v" "/tmp/crater.1aGWSvJTBYdx:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/libc-1/worker-5/try#a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195+tmplazy:/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" "-v" "/home/ec2-user/crater/./work/local/cargo-home/git:/cargo-home/git:rw,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"` Aug 10 17:12:02.365 INFO blam! ffab589f03aada1a51629e6e7dda14745139b25fa3c552d816689edede33a2db Aug 10 17:12:02.365 INFO running `"docker" "start" "-a" "ffab589f03aada1a51629e6e7dda14745139b25fa3c552d816689edede33a2db"` Aug 10 17:12:03.225 INFO kablam! Checking type_inference v0.1.0 (file:///source) Aug 10 17:12:04.425 INFO kablam! warning: variant is never constructed: `Bool` Aug 10 17:12:04.425 INFO kablam! --> src/ast.rs:14:5 Aug 10 17:12:04.425 INFO kablam! | Aug 10 17:12:04.425 INFO kablam! 14 | Bool(bool), Aug 10 17:12:04.425 INFO kablam! | ^^^^^^^^^^ Aug 10 17:12:04.426 INFO kablam! | Aug 10 17:12:04.426 INFO kablam! = note: #[warn(dead_code)] on by default Aug 10 17:12:04.426 INFO kablam! Aug 10 17:12:04.529 INFO kablam! warning: variant is never constructed: `Bool` Aug 10 17:12:04.529 INFO kablam! --> src/ast.rs:14:5 Aug 10 17:12:04.529 INFO kablam! | Aug 10 17:12:04.529 INFO kablam! 14 | Bool(bool), Aug 10 17:12:04.529 INFO kablam! | ^^^^^^^^^^ Aug 10 17:12:04.529 INFO kablam! | Aug 10 17:12:04.529 INFO kablam! = note: #[warn(dead_code)] on by default Aug 10 17:12:04.529 INFO kablam! Aug 10 17:12:04.573 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 1.41s Aug 10 17:12:04.578 INFO kablam! su: No module specific data is present Aug 10 17:12:05.175 INFO running `"docker" "rm" "-f" "ffab589f03aada1a51629e6e7dda14745139b25fa3c552d816689edede33a2db"` Aug 10 17:12:05.330 INFO blam! ffab589f03aada1a51629e6e7dda14745139b25fa3c552d816689edede33a2db