[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 try#59a256151e578f525a26127f2c3e3a6c7e2982ca for pr-149291-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcohama%2Ftapl" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[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-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/cohama/tapl on toolchain 59a256151e578f525a26127f2c3e3a6c7e2982ca
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+59a256151e578f525a26127f2c3e3a6c7e2982ca" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+59a256151e578f525a26127f2c3e3a6c7e2982ca" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stderr]     Blocking waiting for file lock on package cache
[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-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+59a256151e578f525a26127f2c3e3a6c7e2982ca" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 70f26bf3e553acf04fc4748ce081619fd3962b27afd04b985375c5c8b1fc1d13
[INFO] running `Command { std: "docker" "start" "-a" "70f26bf3e553acf04fc4748ce081619fd3962b27afd04b985375c5c8b1fc1d13", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "70f26bf3e553acf04fc4748ce081619fd3962b27afd04b985375c5c8b1fc1d13", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "70f26bf3e553acf04fc4748ce081619fd3962b27afd04b985375c5c8b1fc1d13", kill_on_drop: false }`
[INFO] [stdout] 70f26bf3e553acf04fc4748ce081619fd3962b27afd04b985375c5c8b1fc1d13
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:94a0c148923f5b2b52a63ef0eeb1882ad339ab61bce784c8077cbe41c61feb6c" "/opt/rustwide/cargo-home/bin/cargo" "+59a256151e578f525a26127f2c3e3a6c7e2982ca" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a752696f00a349e8aedd1eb913a5df71158f4034a2485dd88b352f83c3f75801
[INFO] running `Command { std: "docker" "start" "-a" "a752696f00a349e8aedd1eb913a5df71158f4034a2485dd88b352f83c3f75801", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[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: removed in 1.70.0; see <https://github.com/rust-lang/rust/pull/108471> for more information
[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 eval_1step(t1)?;
[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 eval_1step(t)?;
[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 eval_1step(t)?;
[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 eval_1step(t)?;
[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 True, box Zero, box False)).unwrap(),
[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 Zero, box False)).unwrap(),
[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 False)).unwrap(),
[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 False, box Zero, box Succ(box Zero))).unwrap(),
[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 Zero, box Succ(box Zero))).unwrap(),
[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 Zero))).unwrap(),
[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 Succ(box Zero))).unwrap(),
[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 Zero)
[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 Zero)))).unwrap(),
[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 Succ(box Zero)))).unwrap(),
[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 Succ(box Succ(box Zero)))).unwrap(),
[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 Zero)
[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 Zero)))), box True, box False)).unwrap(),
[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 Succ(box Zero)))), box True, box False)).unwrap(),
[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 Pred(box Succ(box Zero)))), box True, box False)).unwrap(),
[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 Pred(box Pred(box Succ(box Zero)))), box True, box False)).unwrap(),
[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 IsZero(box Pred(box Pred(box Succ(box Zero)))), box True, box False)).unwrap(),
[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 True, box False)).unwrap(),
[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 False)).unwrap(),
[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 Zero)), box True, box False)
[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 Pred(box Zero)), box True, box False)
[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 IsZero(box Pred(box Zero)), box True, box False)
[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 True, box False)
[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 False)
[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 Zero)))),
[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 Succ(box Zero)))),
[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 Pred(box Succ(box Zero)))),
[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 Pred(box Pred(box Succ(box Zero)))),
[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 IsZero(box Pred(box Pred(box Succ(box Zero)))),
[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 True, box Succ(box Zero), box False),
[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 Zero), box False),
[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 Succ(box Zero), box False),
[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 False),
[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 If(box True, box Succ(box Zero), box False),
[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 False
[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 Zero)
[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 Zero)), Succ(box Zero));
[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 Zero));
[INFO] [stdout] 91 +         assert_eq!(eval(Succ(box Zero)), Succ(Box::new(Zero)));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[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<VarBind>`
[INFO] [stdout]    --> src/simplebool.rs:51:5
[INFO] [stdout]     |
[INFO] [stdout]  51 |     pub fn new<S: AsRef<str>>(binds: &[(S, VarBind)]) -> Context<VarBind> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] note: candidate #2 is defined in an impl for the type `simplebool::Context<simplebool::NameBind>`
[INFO] [stdout]    --> src/simplebool.rs:32:5
[INFO] [stdout]     |
[INFO] [stdout]  32 |     pub fn new<U: AsRef<str>>(names: &[U]) -> Context<NameBind> {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[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 44 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[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: removed in 1.70.0; see <https://github.com/rust-lang/rust/pull/108471> for more information
[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 eval_1step(t1)?;
[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 eval_1step(t)?;
[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 eval_1step(t)?;
[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 eval_1step(t)?;
[INFO] [stdout] 43 +             let t = Box::new(eval_1step(t)?);
[INFO] [stdout]    |
[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 5 previous errors
[INFO] running `Command { std: "docker" "inspect" "a752696f00a349e8aedd1eb913a5df71158f4034a2485dd88b352f83c3f75801", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a752696f00a349e8aedd1eb913a5df71158f4034a2485dd88b352f83c3f75801", kill_on_drop: false }`
[INFO] [stdout] a752696f00a349e8aedd1eb913a5df71158f4034a2485dd88b352f83c3f75801
