[INFO] cloning repository https://github.com/misty1999/rust-proof [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/misty1999/rust-proof" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmisty1999%2Frust-proof", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmisty1999%2Frust-proof'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 6394abb65a84e900cab0ffcd5918bfc4de0abdba [INFO] checking misty1999/rust-proof against try#38c2997544af84fe301d600d6896397738163002 for pr-154205-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmisty1999%2Frust-proof" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/misty1999/rust-proof [INFO] finished tweaking git repo https://github.com/misty1999/rust-proof [INFO] tweaked toml for git repo https://github.com/misty1999/rust-proof written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/misty1999/rust-proof on toolchain 38c2997544af84fe301d600d6896397738163002 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+38c2997544af84fe301d600d6896397738163002" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/misty1999/rust-proof already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+38c2997544af84fe301d600d6896397738163002" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [ERROR] error running command: no output for 300 seconds [INFO] checking misty1999/rust-proof against try#38c2997544af84fe301d600d6896397738163002 for pr-154205-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmisty1999%2Frust-proof" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/misty1999/rust-proof [INFO] finished tweaking git repo https://github.com/misty1999/rust-proof [INFO] tweaked toml for git repo https://github.com/misty1999/rust-proof written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/misty1999/rust-proof on toolchain 38c2997544af84fe301d600d6896397738163002 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+38c2997544af84fe301d600d6896397738163002" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/misty1999/rust-proof already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+38c2997544af84fe301d600d6896397738163002" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+38c2997544af84fe301d600d6896397738163002" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 955146c5379ff8d431a688da3654756696c729734f50f5ad4cfea54274b11c9b [INFO] running `Command { std: "docker" "start" "-a" "955146c5379ff8d431a688da3654756696c729734f50f5ad4cfea54274b11c9b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "955146c5379ff8d431a688da3654756696c729734f50f5ad4cfea54274b11c9b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "955146c5379ff8d431a688da3654756696c729734f50f5ad4cfea54274b11c9b", kill_on_drop: false }` [INFO] [stdout] 955146c5379ff8d431a688da3654756696c729734f50f5ad4cfea54274b11c9b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+38c2997544af84fe301d600d6896397738163002" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 5bb0e68a59d8936f47a56003c7381a506e93c088018bfcc4c45143bbc592678c [INFO] running `Command { std: "docker" "start" "-a" "5bb0e68a59d8936f47a56003c7381a506e93c088018bfcc4c45143bbc592678c", kill_on_drop: false }` [INFO] [stderr] Checking rust-proof v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] [FMTARGS] {"crate":"rust_proof","loc":"src/main.rs:17:13","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"rust_proof","loc":"src/main.rs:17:13","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"rust_proof","loc":"/rustc/38c2997544af84fe301d600d6896397738163002/library/std/src/macros.rs:140:23","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"rust_proof","loc":"src/main.rs:19:13","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"rust_proof","loc":"src/main.rs:20:13","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"rust_proof","loc":"src/main.rs:21:13","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"rust_proof","loc":"/rustc/38c2997544af84fe301d600d6896397738163002/library/std/src/macros.rs:140:23","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"rust_proof","loc":"src/main.rs:19:13","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"rust_proof","loc":"src/main.rs:20:13","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"rust_proof","loc":"src/main.rs:21:13","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"rust_proof","loc":"src/main.rs:22:13","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stderr] [FMTARGS] {"crate":"rust_proof","loc":"src/main.rs:22:13","p":1,"ph":0,"wa":0,"pa":0,"a":0,"pos":0,"named":0,"cap":0,"ucap":0,"dup":0,"const":0,"constparam":0,"other_dup":0,"d2":0,"d3":0,"d4p":0,"deduped":0,"remaining":0,"a_old":0,"a_opt":0,"sz_no_dedup":0,"sz_old":0,"sz_opt":0} [INFO] [stdout] warning: method `elim` is never used [INFO] [stdout] --> src/logic.rs:5:12 [INFO] [stdout] | [INFO] [stdout] 4 | impl False { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] 5 | pub fn elim(self) -> A { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `And` is never constructed [INFO] [stdout] --> src/logic.rs:12:12 [INFO] [stdout] | [INFO] [stdout] 12 | pub struct And(A, B); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `intro`, `left`, and `right` are never used [INFO] [stdout] --> src/logic.rs:14:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl And { [INFO] [stdout] | -------------------- associated items in this implementation [INFO] [stdout] 14 | pub fn intro(a: A, b: B) -> Self { And(a, b) } [INFO] [stdout] | ^^^^^ [INFO] [stdout] 15 | pub fn left(self) -> A { self.0 } [INFO] [stdout] | ^^^^ [INFO] [stdout] 16 | pub fn right(self) -> B { self.1 } [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Or` is never used [INFO] [stdout] --> src/logic.rs:19:10 [INFO] [stdout] | [INFO] [stdout] 19 | pub enum Or { Left(A), Right(B) } [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `elim` is never used [INFO] [stdout] --> src/logic.rs:21:12 [INFO] [stdout] | [INFO] [stdout] 20 | impl Or { [INFO] [stdout] | ------------------- method in this implementation [INFO] [stdout] 21 | pub fn elim(self, f: impl FnOnce(A) -> C, g: impl FnOnce(B) -> C) -> C { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `elim` is never used [INFO] [stdout] --> src/logic.rs:5:12 [INFO] [stdout] | [INFO] [stdout] 4 | impl False { [INFO] [stdout] | ---------- method in this implementation [INFO] [stdout] 5 | pub fn elim(self) -> A { [INFO] [stdout] | ^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `And` is never constructed [INFO] [stdout] --> src/logic.rs:12:12 [INFO] [stdout] | [INFO] [stdout] 12 | pub struct And(A, B); [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated items `intro`, `left`, and `right` are never used [INFO] [stdout] --> src/logic.rs:14:12 [INFO] [stdout] | [INFO] [stdout] 13 | impl And { [INFO] [stdout] | -------------------- associated items in this implementation [INFO] [stdout] 14 | pub fn intro(a: A, b: B) -> Self { And(a, b) } [INFO] [stdout] | ^^^^^ [INFO] [stdout] 15 | pub fn left(self) -> A { self.0 } [INFO] [stdout] | ^^^^ [INFO] [stdout] 16 | pub fn right(self) -> B { self.1 } [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: enum `Or` is never used [INFO] [stdout] --> src/logic.rs:19:10 [INFO] [stdout] | [INFO] [stdout] 19 | pub enum Or { Left(A), Right(B) } [INFO] [stdout] | ^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: method `elim` is never used [INFO] [stdout] --> src/logic.rs:21:12 [INFO] [stdout] | [INFO] [stdout] 20 | impl Or { [INFO] [stdout] | ------------------- method in this implementation [INFO] [stdout] 21 | pub fn elim(self, f: impl FnOnce(A) -> C, g: impl FnOnce(B) -> C) -> C { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.05s [INFO] running `Command { std: "docker" "inspect" "5bb0e68a59d8936f47a56003c7381a506e93c088018bfcc4c45143bbc592678c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5bb0e68a59d8936f47a56003c7381a506e93c088018bfcc4c45143bbc592678c", kill_on_drop: false }` [INFO] [stdout] 5bb0e68a59d8936f47a56003c7381a506e93c088018bfcc4c45143bbc592678c