[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/b6024f7513a17686e8b0eceb0e81c06a07f1d269 against master#ff1737bb00913444173658b4e0b274fd79aabf66 for pr-132712-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcohama%2Ftapl" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/cohama/tapl on toolchain ff1737bb00913444173658b4e0b274fd79aabf66
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ff1737bb00913444173658b4e0b274fd79aabf66" "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-1-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" "+ff1737bb00913444173658b4e0b274fd79aabf66" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2021
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+ff1737bb00913444173658b4e0b274fd79aabf66" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 983f5e3d1f8612b885e05d5b4b64c8ecd4800467cc4f4696aefb3fb54fbbe23a
[INFO] running `Command { std: "docker" "start" "-a" "983f5e3d1f8612b885e05d5b4b64c8ecd4800467cc4f4696aefb3fb54fbbe23a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "983f5e3d1f8612b885e05d5b4b64c8ecd4800467cc4f4696aefb3fb54fbbe23a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "983f5e3d1f8612b885e05d5b4b64c8ecd4800467cc4f4696aefb3fb54fbbe23a", kill_on_drop: false }`
[INFO] [stdout] 983f5e3d1f8612b885e05d5b4b64c8ecd4800467cc4f4696aefb3fb54fbbe23a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+ff1737bb00913444173658b4e0b274fd79aabf66" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e55009bf40d4b8dacf3af64aec81355ca4e5041a1da5f4392dc0f42adb85080b
[INFO] running `Command { std: "docker" "start" "-a" "e55009bf40d4b8dacf3af64aec81355ca4e5041a1da5f4392dc0f42adb85080b", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2021
[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: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: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: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: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] For more information about this error, try `rustc --explain E0557`.
[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] [stderr] error: could not compile `tapl` (lib) due to 5 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[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] running `Command { std: "docker" "inspect" "e55009bf40d4b8dacf3af64aec81355ca4e5041a1da5f4392dc0f42adb85080b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e55009bf40d4b8dacf3af64aec81355ca4e5041a1da5f4392dc0f42adb85080b", kill_on_drop: false }`
[INFO] [stdout] e55009bf40d4b8dacf3af64aec81355ca4e5041a1da5f4392dc0f42adb85080b