[INFO] cloning repository https://github.com/JanKaul/cek-machine
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/JanKaul/cek-machine" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FJanKaul%2Fcek-machine", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FJanKaul%2Fcek-machine'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 6852714f822b4283c0b7ed7d7bc5639362a1223b
[INFO] checking JanKaul/cek-machine/6852714f822b4283c0b7ed7d7bc5639362a1223b against master#5257aee7dd163d21d32fa904578d4fb0f4c91b79 for pr-116494-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FJanKaul%2Fcek-machine" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/JanKaul/cek-machine on toolchain 5257aee7dd163d21d32fa904578d4fb0f4c91b79
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+5257aee7dd163d21d32fa904578d4fb0f4c91b79" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/JanKaul/cek-machine
[INFO] finished tweaking git repo https://github.com/JanKaul/cek-machine
[INFO] tweaked toml for git repo https://github.com/JanKaul/cek-machine written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/JanKaul/cek-machine 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" "+5257aee7dd163d21d32fa904578d4fb0f4c91b79" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+5257aee7dd163d21d32fa904578d4fb0f4c91b79" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0761dd6f219e04ed57c3bfe5fe98ab9b3653314e46896b4c1efd1e8a63580fd7
[INFO] running `Command { std: "docker" "start" "-a" "0761dd6f219e04ed57c3bfe5fe98ab9b3653314e46896b4c1efd1e8a63580fd7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0761dd6f219e04ed57c3bfe5fe98ab9b3653314e46896b4c1efd1e8a63580fd7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0761dd6f219e04ed57c3bfe5fe98ab9b3653314e46896b4c1efd1e8a63580fd7", kill_on_drop: false }`
[INFO] [stdout] 0761dd6f219e04ed57c3bfe5fe98ab9b3653314e46896b4c1efd1e8a63580fd7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+5257aee7dd163d21d32fa904578d4fb0f4c91b79" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 42363e2512ab17b30256058f41901dab5fc344a021050b11632adbdba61fe74c
[INFO] running `Command { std: "docker" "start" "-a" "42363e2512ab17b30256058f41901dab5fc344a021050b11632adbdba61fe74c", kill_on_drop: false }`
[INFO] [stderr]     Checking cek_machine v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `e1`
[INFO] [stdout]   --> src/main.rs:87:9
[INFO] [stdout]    |
[INFO] [stdout] 87 |     let e1 = Box::new(Exp::Lam(String::from("f"),Box::new(Exp::App(Box::new(Exp::Var(String::from("f"))),Box::new(Exp::Var(String::from("...
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_e1`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e1`
[INFO] [stdout]   --> src/main.rs:87:9
[INFO] [stdout]    |
[INFO] [stdout] 87 |     let e1 = Box::new(Exp::Lam(String::from("f"),Box::new(Exp::App(Box::new(Exp::Var(String::from("f"))),Box::new(Exp::Var(String::from("...
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_e1`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e2`
[INFO] [stdout]   --> src/main.rs:88:9
[INFO] [stdout]    |
[INFO] [stdout] 88 |     let e2 = Box::new(Exp::Lam(String::from("y"),Box::new(Exp::Var(String::from("y")))));
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_e2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e2`
[INFO] [stdout]   --> src/main.rs:88:9
[INFO] [stdout]    |
[INFO] [stdout] 88 |     let e2 = Box::new(Exp::Lam(String::from("y"),Box::new(Exp::Var(String::from("y")))));
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_e2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e3`
[INFO] [stdout]   --> src/main.rs:91:9
[INFO] [stdout]    |
[INFO] [stdout] 91 |     let e3 = Box::new(Exp::Lam(String::from("f"),Box::new(Exp::App(Box::new(Exp::Var(String::from("f"))),Box::new(Exp::Int(1))))));
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_e3`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e3`
[INFO] [stdout]   --> src/main.rs:91:9
[INFO] [stdout]    |
[INFO] [stdout] 91 |     let e3 = Box::new(Exp::Lam(String::from("f"),Box::new(Exp::App(Box::new(Exp::Var(String::from("f"))),Box::new(Exp::Int(1))))));
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_e3`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e4`
[INFO] [stdout]   --> src/main.rs:92:9
[INFO] [stdout]    |
[INFO] [stdout] 92 |     let e4 = Box::new(Exp::App(Box::new(Exp::Lam(String::from("x"),Box::new(Exp::Lam(String::from("y"),Box::new(Exp::Var(String::from("x"...
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_e4`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e4`
[INFO] [stdout]   --> src/main.rs:92:9
[INFO] [stdout]    |
[INFO] [stdout] 92 |     let e4 = Box::new(Exp::App(Box::new(Exp::Lam(String::from("x"),Box::new(Exp::Lam(String::from("y"),Box::new(Exp::Var(String::from("x"...
[INFO] [stdout]    |         ^^ help: if this is intentional, prefix it with an underscore: `_e4`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Let` and `If` are never constructed
[INFO] [stdout]   --> src/main.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 6  | enum Exp {
[INFO] [stdout]    |      --- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 12 |     Let(Box<Exp>,Box<Exp>,Box<Exp>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 13 |     If(Box<Exp>,Box<Exp>,Box<Exp>),
[INFO] [stdout]    |     ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Exp` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `Let` and `If` are never constructed
[INFO] [stdout]   --> src/main.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 6  | enum Exp {
[INFO] [stdout]    |      --- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 12 |     Let(Box<Exp>,Box<Exp>,Box<Exp>),
[INFO] [stdout]    |     ^^^
[INFO] [stdout] 13 |     If(Box<Exp>,Box<Exp>,Box<Exp>),
[INFO] [stdout]    |     ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Exp` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/main.rs:33:12
[INFO] [stdout]    |
[INFO] [stdout] 33 |     Failed(String),
[INFO] [stdout]    |     ------ ^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 33 |     Failed(()),
[INFO] [stdout]    |            ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `0` is never read
[INFO] [stdout]   --> src/main.rs:33:12
[INFO] [stdout]    |
[INFO] [stdout] 33 |     Failed(String),
[INFO] [stdout]    |     ------ ^^^^^^
[INFO] [stdout]    |     |
[INFO] [stdout]    |     field in this variant
[INFO] [stdout]    |
[INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field
[INFO] [stdout]    |
[INFO] [stdout] 33 |     Failed(()),
[INFO] [stdout]    |            ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 6 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 6 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.06s
[INFO] running `Command { std: "docker" "inspect" "42363e2512ab17b30256058f41901dab5fc344a021050b11632adbdba61fe74c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "42363e2512ab17b30256058f41901dab5fc344a021050b11632adbdba61fe74c", kill_on_drop: false }`
[INFO] [stdout] 42363e2512ab17b30256058f41901dab5fc344a021050b11632adbdba61fe74c