[INFO] cloning repository https://github.com/cohama/tapl [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/cohama/tapl" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcohama%2Ftapl", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcohama%2Ftapl'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] b6024f7513a17686e8b0eceb0e81c06a07f1d269 [INFO] checking cohama/tapl against master#506512391b1a75ae450d36c9420978402a91abcc for pr-125384 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcohama%2Ftapl" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/cohama/tapl on toolchain 506512391b1a75ae450d36c9420978402a91abcc [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/cohama/tapl [INFO] finished tweaking git repo https://github.com/cohama/tapl [INFO] tweaked toml for git repo https://github.com/cohama/tapl written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/cohama/tapl 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" "+506512391b1a75ae450d36c9420978402a91abcc" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 078b7c40d86fbabdd407ba450351eb9a965dbd25f6559e25bd6ec53edf1708a5 [INFO] running `Command { std: "docker" "start" "-a" "078b7c40d86fbabdd407ba450351eb9a965dbd25f6559e25bd6ec53edf1708a5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "078b7c40d86fbabdd407ba450351eb9a965dbd25f6559e25bd6ec53edf1708a5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "078b7c40d86fbabdd407ba450351eb9a965dbd25f6559e25bd6ec53edf1708a5", kill_on_drop: false }` [INFO] [stdout] 078b7c40d86fbabdd407ba450351eb9a965dbd25f6559e25bd6ec53edf1708a5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=allow" "-e" "RUSTDOCFLAGS=--cap-lints=allow" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] cef45a843306eb7d78b0e7e7cd16ef8c6748eea6317453b5792b1358e71aa8da [INFO] running `Command { std: "docker" "start" "-a" "cef45a843306eb7d78b0e7e7cd16ef8c6748eea6317453b5792b1358e71aa8da", kill_on_drop: false }` [INFO] [stderr] Checking tapl v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/lib.rs:2:12 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(box_syntax, box_patterns)] [INFO] [stdout] | ^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: replaced with `#[rustc_box]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/lib.rs:2:12 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(box_syntax, box_patterns)] [INFO] [stdout] | ^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: replaced with `#[rustc_box]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:27:22 [INFO] [stdout] | [INFO] [stdout] 27 | let t1 = box eval_1step(t1)?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 27 | let t1 = Box::new(eval_1step(t1)?); [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:31:21 [INFO] [stdout] | [INFO] [stdout] 31 | let t = box eval_1step(t)?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 31 | let t = Box::new(eval_1step(t)?); [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:37:21 [INFO] [stdout] | [INFO] [stdout] 37 | let t = box eval_1step(t)?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 37 | let t = Box::new(eval_1step(t)?); [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:27:22 [INFO] [stdout] | [INFO] [stdout] 27 | let t1 = box eval_1step(t1)?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 27 | let t1 = Box::new(eval_1step(t1)?); [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:43:21 [INFO] [stdout] | [INFO] [stdout] 43 | let t = box eval_1step(t)?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 43 | let t = Box::new(eval_1step(t)?); [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:31:21 [INFO] [stdout] | [INFO] [stdout] 31 | let t = box eval_1step(t)?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 31 | let t = Box::new(eval_1step(t)?); [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:37:21 [INFO] [stdout] | [INFO] [stdout] 37 | let t = box eval_1step(t)?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 37 | let t = Box::new(eval_1step(t)?); [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:43:21 [INFO] [stdout] | [INFO] [stdout] 43 | let t = box eval_1step(t)?; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 43 | let t = Box::new(eval_1step(t)?); [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:65:27 [INFO] [stdout] | [INFO] [stdout] 65 | eval_1step(If(box True, box Zero, box False)).unwrap(), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 65 | eval_1step(If(Box::new(True), box Zero, box False)).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:65:37 [INFO] [stdout] | [INFO] [stdout] 65 | eval_1step(If(box True, box Zero, box False)).unwrap(), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 65 | eval_1step(If(box True, Box::new(Zero), box False)).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:65:47 [INFO] [stdout] | [INFO] [stdout] 65 | eval_1step(If(box True, box Zero, box False)).unwrap(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 65 | eval_1step(If(box True, box Zero, Box::new(False))).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:69:27 [INFO] [stdout] | [INFO] [stdout] 69 | eval_1step(If(box False, box Zero, box Succ(box Zero))).unwrap(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 69 | eval_1step(If(Box::new(False), box Zero, box Succ(box Zero))).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:69:38 [INFO] [stdout] | [INFO] [stdout] 69 | eval_1step(If(box False, box Zero, box Succ(box Zero))).unwrap(), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 69 | eval_1step(If(box False, Box::new(Zero), box Succ(box Zero))).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:69:57 [INFO] [stdout] | [INFO] [stdout] 69 | eval_1step(If(box False, box Zero, box Succ(box Zero))).unwrap(), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 69 | eval_1step(If(box False, box Zero, box Succ(Box::new(Zero)))).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:69:48 [INFO] [stdout] | [INFO] [stdout] 69 | eval_1step(If(box False, box Zero, box Succ(box Zero))).unwrap(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 69 | eval_1step(If(box False, box Zero, Box::new(Succ(box Zero)))).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:70:18 [INFO] [stdout] | [INFO] [stdout] 70 | Succ(box Zero) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 70 | Succ(Box::new(Zero)) [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:73:47 [INFO] [stdout] | [INFO] [stdout] 73 | eval_1step(Pred(box Succ(box Succ(box Zero)))).unwrap(), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | eval_1step(Pred(box Succ(box Succ(Box::new(Zero))))).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:73:38 [INFO] [stdout] | [INFO] [stdout] 73 | eval_1step(Pred(box Succ(box Succ(box Zero)))).unwrap(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | eval_1step(Pred(box Succ(Box::new(Succ(box Zero))))).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:73:29 [INFO] [stdout] | [INFO] [stdout] 73 | eval_1step(Pred(box Succ(box Succ(box Zero)))).unwrap(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | eval_1step(Pred(Box::new(Succ(box Succ(box Zero))))).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:74:18 [INFO] [stdout] | [INFO] [stdout] 74 | Succ(box Zero) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 74 | Succ(Box::new(Zero)) [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:77:65 [INFO] [stdout] | [INFO] [stdout] 77 | eval_1step(If(box IsZero(box Pred(box Pred(box Succ(box Zero)))), box True, box False)).unwrap(), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 77 | eval_1step(If(box IsZero(box Pred(box Pred(box Succ(Box::new(Zero))))), box True, box False)).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:77:56 [INFO] [stdout] | [INFO] [stdout] 77 | eval_1step(If(box IsZero(box Pred(box Pred(box Succ(box Zero)))), box True, box False)).unwrap(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 77 | eval_1step(If(box IsZero(box Pred(box Pred(Box::new(Succ(box Zero))))), box True, box False)).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:77:47 [INFO] [stdout] | [INFO] [stdout] 77 | eval_1step(If(box IsZero(box Pred(box Pred(box Succ(box Zero)))), box True, box False)).unwrap(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 77 | eval_1step(If(box IsZero(box Pred(Box::new(Pred(box Succ(box Zero))))), box True, box False)).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:77:38 [INFO] [stdout] | [INFO] [stdout] 77 | eval_1step(If(box IsZero(box Pred(box Pred(box Succ(box Zero)))), box True, box False)).unwrap(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 77 | eval_1step(If(box IsZero(Box::new(Pred(box Pred(box Succ(box Zero))))), box True, box False)).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:77:27 [INFO] [stdout] | [INFO] [stdout] 77 | eval_1step(If(box IsZero(box Pred(box Pred(box Succ(box Zero)))), box True, box False)).unwrap(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 77 | eval_1step(If(Box::new(IsZero(box Pred(box Pred(box Succ(box Zero))))), box True, box False)).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:77:79 [INFO] [stdout] | [INFO] [stdout] 77 | eval_1step(If(box IsZero(box Pred(box Pred(box Succ(box Zero)))), box True, box False)).unwrap(), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 77 | eval_1step(If(box IsZero(box Pred(box Pred(box Succ(box Zero)))), Box::new(True), box False)).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:77:89 [INFO] [stdout] | [INFO] [stdout] 77 | eval_1step(If(box IsZero(box Pred(box Pred(box Succ(box Zero)))), box True, box False)).unwrap(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 77 | eval_1step(If(box IsZero(box Pred(box Pred(box Succ(box Zero)))), box True, Box::new(False))).unwrap(), [INFO] [stdout] | ~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:78:36 [INFO] [stdout] | [INFO] [stdout] 78 | If(box IsZero(box Pred(box Zero)), box True, box False) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 78 | If(box IsZero(box Pred(Box::new(Zero))), box True, box False) [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:78:27 [INFO] [stdout] | [INFO] [stdout] 78 | If(box IsZero(box Pred(box Zero)), box True, box False) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 78 | If(box IsZero(Box::new(Pred(box Zero))), box True, box False) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:78:16 [INFO] [stdout] | [INFO] [stdout] 78 | If(box IsZero(box Pred(box Zero)), box True, box False) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 78 | If(Box::new(IsZero(box Pred(box Zero))), box True, box False) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:78:48 [INFO] [stdout] | [INFO] [stdout] 78 | If(box IsZero(box Pred(box Zero)), box True, box False) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 78 | If(box IsZero(box Pred(box Zero)), Box::new(True), box False) [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:78:58 [INFO] [stdout] | [INFO] [stdout] 78 | If(box IsZero(box Pred(box Zero)), box True, box False) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 78 | If(box IsZero(box Pred(box Zero)), box True, Box::new(False)) [INFO] [stdout] | ~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:85:59 [INFO] [stdout] | [INFO] [stdout] 85 | eval(If(box IsZero(box Pred(box Pred(box Succ(box Zero)))), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 85 | eval(If(box IsZero(box Pred(box Pred(box Succ(Box::new(Zero))))), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:85:50 [INFO] [stdout] | [INFO] [stdout] 85 | eval(If(box IsZero(box Pred(box Pred(box Succ(box Zero)))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 85 | eval(If(box IsZero(box Pred(box Pred(Box::new(Succ(box Zero))))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:85:41 [INFO] [stdout] | [INFO] [stdout] 85 | eval(If(box IsZero(box Pred(box Pred(box Succ(box Zero)))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 85 | eval(If(box IsZero(box Pred(Box::new(Pred(box Succ(box Zero))))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:85:32 [INFO] [stdout] | [INFO] [stdout] 85 | eval(If(box IsZero(box Pred(box Pred(box Succ(box Zero)))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 85 | eval(If(box IsZero(Box::new(Pred(box Pred(box Succ(box Zero))))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:85:21 [INFO] [stdout] | [INFO] [stdout] 85 | eval(If(box IsZero(box Pred(box Pred(box Succ(box Zero)))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 85 | eval(If(Box::new(IsZero(box Pred(box Pred(box Succ(box Zero))))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:86:24 [INFO] [stdout] | [INFO] [stdout] 86 | box If(box True, box Succ(box Zero), box False), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 86 | box If(Box::new(True), box Succ(box Zero), box False), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:86:43 [INFO] [stdout] | [INFO] [stdout] 86 | box If(box True, box Succ(box Zero), box False), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 86 | box If(box True, box Succ(Box::new(Zero)), box False), [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:86:34 [INFO] [stdout] | [INFO] [stdout] 86 | box If(box True, box Succ(box Zero), box False), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 86 | box If(box True, Box::new(Succ(box Zero)), box False), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:86:54 [INFO] [stdout] | [INFO] [stdout] 86 | box If(box True, box Succ(box Zero), box False), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 86 | box If(box True, box Succ(box Zero), Box::new(False)), [INFO] [stdout] | ~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:86:17 [INFO] [stdout] | [INFO] [stdout] 86 | box If(box True, box Succ(box Zero), box False), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 86 | Box::new(If(box True, box Succ(box Zero), box False)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:87:17 [INFO] [stdout] | [INFO] [stdout] 87 | box False [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 87 | Box::new(False) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:89:18 [INFO] [stdout] | [INFO] [stdout] 89 | Succ(box Zero) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Succ(Box::new(Zero)) [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:91:30 [INFO] [stdout] | [INFO] [stdout] 91 | assert_eq!(eval(Succ(box Zero)), Succ(box Zero)); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 91 | assert_eq!(eval(Succ(Box::new(Zero))), Succ(box Zero)); [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/arith.rs:91:47 [INFO] [stdout] | [INFO] [stdout] 91 | assert_eq!(eval(Succ(box Zero)), Succ(box Zero)); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 91 | assert_eq!(eval(Succ(box Zero)), Succ(Box::new(Zero))); [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 5 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stderr] error: could not compile `tapl` (lib) due to 6 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error[E0034]: multiple applicable items in scope [INFO] [stdout] --> src/simplebool.rs:177:32 [INFO] [stdout] | [INFO] [stdout] 177 | let context = Context::new(&["x"]); [INFO] [stdout] | ^^^ multiple `new` found [INFO] [stdout] | [INFO] [stdout] note: candidate #1 is defined in an impl for the type `simplebool::Context` [INFO] [stdout] --> src/simplebool.rs:51:5 [INFO] [stdout] | [INFO] [stdout] 51 | pub fn new>(binds: &[(S, VarBind)]) -> Context { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] note: candidate #2 is defined in an impl for the type `simplebool::Context` [INFO] [stdout] --> src/simplebool.rs:32:5 [INFO] [stdout] | [INFO] [stdout] 32 | pub fn new>(names: &[U]) -> Context { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 44 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0034, E0557. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0034`. [INFO] [stdout] [INFO] [stderr] error: could not compile `tapl` (lib test) due to 45 previous errors [INFO] running `Command { std: "docker" "inspect" "cef45a843306eb7d78b0e7e7cd16ef8c6748eea6317453b5792b1358e71aa8da", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cef45a843306eb7d78b0e7e7cd16ef8c6748eea6317453b5792b1358e71aa8da", kill_on_drop: false }` [INFO] [stdout] cef45a843306eb7d78b0e7e7cd16ef8c6748eea6317453b5792b1358e71aa8da [INFO] checking cohama/tapl against try#dae34b759e282c069aa28752564694effd121a63 for pr-125384 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcohama%2Ftapl" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/cohama/tapl on toolchain dae34b759e282c069aa28752564694effd121a63 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dae34b759e282c069aa28752564694effd121a63" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/cohama/tapl [INFO] finished tweaking git repo https://github.com/cohama/tapl [INFO] tweaked toml for git repo https://github.com/cohama/tapl written to /workspace/builds/worker-4-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/cohama/tapl 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" "+dae34b759e282c069aa28752564694effd121a63" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+dae34b759e282c069aa28752564694effd121a63" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 77a51df3786fa53b01be7e2dd9c4936a6b88dfb7d2bffe746677fe04103b99ba [INFO] running `Command { std: "docker" "start" "-a" "77a51df3786fa53b01be7e2dd9c4936a6b88dfb7d2bffe746677fe04103b99ba", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "77a51df3786fa53b01be7e2dd9c4936a6b88dfb7d2bffe746677fe04103b99ba", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "77a51df3786fa53b01be7e2dd9c4936a6b88dfb7d2bffe746677fe04103b99ba", kill_on_drop: false }` [INFO] [stdout] 77a51df3786fa53b01be7e2dd9c4936a6b88dfb7d2bffe746677fe04103b99ba [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=allow" "-e" "RUSTDOCFLAGS=--cap-lints=allow" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+dae34b759e282c069aa28752564694effd121a63" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 14d5b00a07fca9482007df180a40f9b89d80b4b875fbb9205dfdbf83982d75cb [INFO] running `Command { std: "docker" "start" "-a" "14d5b00a07fca9482007df180a40f9b89d80b4b875fbb9205dfdbf83982d75cb", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] no edition found in manifest, probably 2015, skipping [INFO] running `Command { std: "docker" "inspect" "14d5b00a07fca9482007df180a40f9b89d80b4b875fbb9205dfdbf83982d75cb", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "14d5b00a07fca9482007df180a40f9b89d80b4b875fbb9205dfdbf83982d75cb", kill_on_drop: false }` [INFO] [stdout] 14d5b00a07fca9482007df180a40f9b89d80b4b875fbb9205dfdbf83982d75cb