[INFO] cloning repository https://github.com/Catminusminus/lambdapi
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Catminusminus/lambdapi" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FCatminusminus%2Flambdapi", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FCatminusminus%2Flambdapi'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] b35428c98ce005f6f47d5eacaa99214b1e76ec44
[INFO] testing Catminusminus/lambdapi against 1.75.0 for beta-1.76-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FCatminusminus%2Flambdapi" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Catminusminus/lambdapi on toolchain 1.75.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/Catminusminus/lambdapi
[INFO] finished tweaking git repo https://github.com/Catminusminus/lambdapi
[INFO] tweaked toml for git repo https://github.com/Catminusminus/lambdapi written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/Catminusminus/lambdapi 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" "+1.75.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 924fc026f0f0875872cf502a3f4f2292a7d79aa0c14cb644181bf1c6cd4b3548
[INFO] running `Command { std: "docker" "start" "-a" "924fc026f0f0875872cf502a3f4f2292a7d79aa0c14cb644181bf1c6cd4b3548", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "924fc026f0f0875872cf502a3f4f2292a7d79aa0c14cb644181bf1c6cd4b3548", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "924fc026f0f0875872cf502a3f4f2292a7d79aa0c14cb644181bf1c6cd4b3548", kill_on_drop: false }`
[INFO] [stdout] 924fc026f0f0875872cf502a3f4f2292a7d79aa0c14cb644181bf1c6cd4b3548
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f758e9d55bd32fa4e7c744e0fb22f80319ed8537e551d6dd7f4f3c9b1b25021d
[INFO] running `Command { std: "docker" "start" "-a" "f758e9d55bd32fa4e7c744e0fb22f80319ed8537e551d6dd7f4f3c9b1b25021d", kill_on_drop: false }`
[INFO] [stderr]    Compiling lambdapi v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:246:21
[INFO] [stdout]     |
[INFO] [stdout] 246 |     Value::VNeutral(box Neutral::NFree(n))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 246 |     Value::VNeutral(Box::new(Neutral::NFree(n)))
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:256:13
[INFO] [stdout]     |
[INFO] [stdout] 256 |             box ceval(t1, d.clone()),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 256 |             Box::new(ceval(t1, d.clone())),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:257:13
[INFO] [stdout]     |
[INFO] [stdout] 257 | /             box ClonableClosure::ClonableClosure2(ClonableClosure2::new(
[INFO] [stdout] 258 | |                 d,
[INFO] [stdout] 259 | |                 t2,
[INFO] [stdout] 260 | |                 |x: Value, mut d: Env, t: CTerm| {
[INFO] [stdout] ...   |
[INFO] [stdout] 263 | |                 },
[INFO] [stdout] 264 | |             )),
[INFO] [stdout]     | |______________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 257 ~             Box::new(ClonableClosure::ClonableClosure2(ClonableClosure2::new(
[INFO] [stdout] 258 +                 d,
[INFO] [stdout] 259 +                 t2,
[INFO] [stdout] 260 +                 |x: Value, mut d: Env, t: CTerm| {
[INFO] [stdout] 261 +                     d.push(x);
[INFO] [stdout] 262 +                     ceval(t, d)
[INFO] [stdout] 263 +                 },
[INFO] [stdout] 264 ~             ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:271:44
[INFO] [stdout]     |
[INFO] [stdout] 271 |         ITerm::Succ(box k) => Value::VSucc(box ceval(k, d)),
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 271 |         ITerm::Succ(box k) => Value::VSucc(Box::new(ceval(k, d))),
[INFO] [stdout]     |                                            ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:277:55
[INFO] [stdout]     |
[INFO] [stdout] 277 |                   Value::VNeutral(k) => Value::VNeutral(box Neutral::NNatElim(
[INFO] [stdout]     |  _______________________________________________________^
[INFO] [stdout] 278 | |                     ceval(m, d.clone()),
[INFO] [stdout] 279 | |                     ceval(mz, d.clone()),
[INFO] [stdout] 280 | |                     ceval(ms, d),
[INFO] [stdout] 281 | |                     k,
[INFO] [stdout] 282 | |                 )),
[INFO] [stdout]     | |_________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 277 ~                 Value::VNeutral(k) => Value::VNeutral(Box::new(Neutral::NNatElim(
[INFO] [stdout] 278 +                     ceval(m, d.clone()),
[INFO] [stdout] 279 +                     ceval(mz, d.clone()),
[INFO] [stdout] 280 +                     ceval(ms, d),
[INFO] [stdout] 281 +                     k,
[INFO] [stdout] 282 ~                 ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:286:49
[INFO] [stdout]     |
[INFO] [stdout] 286 |         ITerm::Vec(box a, box n) => Value::VVec(box ceval(a, d.clone()), box ceval(n, d)),
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 286 |         ITerm::Vec(box a, box n) => Value::VVec(Box::new(ceval(a, d.clone())), box ceval(n, d)),
[INFO] [stdout]     |                                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:286:74
[INFO] [stdout]     |
[INFO] [stdout] 286 |         ITerm::Vec(box a, box n) => Value::VVec(box ceval(a, d.clone()), box ceval(n, d)),
[INFO] [stdout]     |                                                                          ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 286 |         ITerm::Vec(box a, box n) => Value::VVec(box ceval(a, d.clone()), Box::new(ceval(n, d))),
[INFO] [stdout]     |                                                                          ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:287:42
[INFO] [stdout]     |
[INFO] [stdout] 287 |         ITerm::Nil(box a) => Value::VNil(box ceval(a, d)),
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 287 |         ITerm::Nil(box a) => Value::VNil(Box::new(ceval(a, d))),
[INFO] [stdout]     |                                          ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:289:13
[INFO] [stdout]     |
[INFO] [stdout] 289 |             box ceval(a, d.clone()),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 289 |             Box::new(ceval(a, d.clone())),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:290:13
[INFO] [stdout]     |
[INFO] [stdout] 290 |             box ceval(n, d.clone()),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 290 |             Box::new(ceval(n, d.clone())),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:291:13
[INFO] [stdout]     |
[INFO] [stdout] 291 |             box ceval(x, d.clone()),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 291 |             Box::new(ceval(x, d.clone())),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:292:13
[INFO] [stdout]     |
[INFO] [stdout] 292 |             box ceval(xs, d),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 292 |             Box::new(ceval(xs, d)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:314:59
[INFO] [stdout]     |
[INFO] [stdout] 314 |                       Value::VNeutral(n) => Value::VNeutral(box Neutral::NVecElim(
[INFO] [stdout]     |  ___________________________________________________________^
[INFO] [stdout] 315 | |                         ceval(a, d.clone()),
[INFO] [stdout] 316 | |                         ceval(m, d.clone()),
[INFO] [stdout] 317 | |                         ceval(mn, d.clone()),
[INFO] [stdout] ...   |
[INFO] [stdout] 320 | |                         n,
[INFO] [stdout] 321 | |                     )),
[INFO] [stdout]     | |_____________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 314 ~                     Value::VNeutral(n) => Value::VNeutral(Box::new(Neutral::NVecElim(
[INFO] [stdout] 315 +                         ceval(a, d.clone()),
[INFO] [stdout] 316 +                         ceval(m, d.clone()),
[INFO] [stdout] 317 +                         ceval(mn, d.clone()),
[INFO] [stdout] 318 +                         ceval(mc, d),
[INFO] [stdout] 319 +                         k_val,
[INFO] [stdout] 320 +                         n,
[INFO] [stdout] 321 ~                     ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:333:47
[INFO] [stdout]     |
[INFO] [stdout] 333 |         Value::VNeutral(n) => Value::VNeutral(box Neutral::NApp(n, v2)),
[INFO] [stdout]     |                                               ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 333 |         Value::VNeutral(n) => Value::VNeutral(Box::new(Neutral::NApp(n, v2))),
[INFO] [stdout]     |                                               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:341:42
[INFO] [stdout]     |
[INFO] [stdout] 341 |           CTerm::Lam(box e) => Value::VLam(box ClonableClosure::ClonableClosure2(
[INFO] [stdout]     |  __________________________________________^
[INFO] [stdout] 342 | |             ClonableClosure2::new(d, e, |v, mut d, t| {
[INFO] [stdout] 343 | |                 d.push(v);
[INFO] [stdout] 344 | |                 ceval(t, d)
[INFO] [stdout] 345 | |             }),
[INFO] [stdout] 346 | |         )),
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 341 ~         CTerm::Lam(box e) => Value::VLam(Box::new(ClonableClosure::ClonableClosure2(
[INFO] [stdout] 342 +             ClonableClosure2::new(d, e, |v, mut d, t| {
[INFO] [stdout] 343 +                 d.push(v);
[INFO] [stdout] 344 +                 ceval(t, d)
[INFO] [stdout] 345 +             }),
[INFO] [stdout] 346 ~         ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:414:21
[INFO] [stdout]     |
[INFO] [stdout] 414 |                     box Value::VNat,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 414 |                     Box::new(Value::VNat),
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:415:21
[INFO] [stdout]     |
[INFO] [stdout] 415 |                     box ClonableClosure::ClonableClosure0(ClonableClosure0::new(|_| Value::VStar)),
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 415 |                     Box::new(ClonableClosure::ClonableClosure0(ClonableClosure0::new(|_| Value::VStar))),
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:425:21
[INFO] [stdout]     |
[INFO] [stdout] 425 |                     box Value::VNat,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 425 |                     Box::new(Value::VNat),
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:430:33
[INFO] [stdout]     |
[INFO] [stdout] 430 | ...                   box vapp(v.clone(), l.clone()),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 430 |                                 Box::new(vapp(v.clone(), l.clone())),
[INFO] [stdout]     |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:434:71
[INFO] [stdout]     |
[INFO] [stdout] 434 | ...                   |_, v1, v2| vapp(v1, Value::VSucc(box v2)),
[INFO] [stdout]     |                                                         ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 434 |                                     |_, v1, v2| vapp(v1, Value::VSucc(Box::new(v2))),
[INFO] [stdout]     |                                                                       ~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:431:33
[INFO] [stdout]     |
[INFO] [stdout] 431 | / ...                   box ClonableClosure::ClonableClosureV2(ClonableClosureV2::new(
[INFO] [stdout] 432 | | ...                       v,
[INFO] [stdout] 433 | | ...                       l,
[INFO] [stdout] 434 | | ...                       |_, v1, v2| vapp(v1, Value::VSucc(box v2)),
[INFO] [stdout] 435 | | ...                   )),
[INFO] [stdout]     | |________________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 431 ~                                 Box::new(ClonableClosure::ClonableClosureV2(ClonableClosureV2::new(
[INFO] [stdout] 432 +                                     v,
[INFO] [stdout] 433 +                                     l,
[INFO] [stdout] 434 +                                     |_, v1, v2| vapp(v1, Value::VSucc(box v2)),
[INFO] [stdout] 435 ~                                 ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:426:21
[INFO] [stdout]     |
[INFO] [stdout] 426 | /                     box ClonableClosure::ClonableClosureV1(ClonableClosureV1::new(
[INFO] [stdout] 427 | |                         m_val.clone(),
[INFO] [stdout] 428 | |                         |l, v| {
[INFO] [stdout] 429 | |                             Value::VPi(
[INFO] [stdout] ...   |
[INFO] [stdout] 437 | |                         },
[INFO] [stdout] 438 | |                     )),
[INFO] [stdout]     | |______________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 426 ~                     Box::new(ClonableClosure::ClonableClosureV1(ClonableClosureV1::new(
[INFO] [stdout] 427 +                         m_val.clone(),
[INFO] [stdout] 428 +                         |l, v| {
[INFO] [stdout] 429 +                             Value::VPi(
[INFO] [stdout] 430 +                                 box vapp(v.clone(), l.clone()),
[INFO] [stdout] 431 +                                 box ClonableClosure::ClonableClosureV2(ClonableClosureV2::new(
[INFO] [stdout] 432 +                                     v,
[INFO] [stdout] 433 +                                     l,
[INFO] [stdout] 434 +                                     |_, v1, v2| vapp(v1, Value::VSucc(box v2)),
[INFO] [stdout] 435 +                                 )),
[INFO] [stdout] 436 +                             )
[INFO] [stdout] 437 +                         },
[INFO] [stdout] 438 ~                     ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:453:28
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Ok(Value::VVec(box a_val, box Value::VZero))
[INFO] [stdout]     |                            ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Ok(Value::VVec(Box::new(a_val), box Value::VZero))
[INFO] [stdout]     |                            ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:453:39
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Ok(Value::VVec(box a_val, box Value::VZero))
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Ok(Value::VVec(box a_val, Box::new(Value::VZero)))
[INFO] [stdout]     |                                       ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:464:29
[INFO] [stdout]     |
[INFO] [stdout] 464 |                 Value::VVec(box a_val.clone(), box k_val.clone()),
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 464 |                 Value::VVec(Box::new(a_val.clone()), box k_val.clone()),
[INFO] [stdout]     |                             ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:464:48
[INFO] [stdout]     |
[INFO] [stdout] 464 |                 Value::VVec(box a_val.clone(), box k_val.clone()),
[INFO] [stdout]     |                                                ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 464 |                 Value::VVec(box a_val.clone(), Box::new(k_val.clone())),
[INFO] [stdout]     |                                                ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:466:28
[INFO] [stdout]     |
[INFO] [stdout] 466 |             Ok(Value::VVec(box a_val, box Value::VSucc(box k_val)))
[INFO] [stdout]     |                            ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 466 |             Ok(Value::VVec(Box::new(a_val), box Value::VSucc(box k_val)))
[INFO] [stdout]     |                            ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:466:56
[INFO] [stdout]     |
[INFO] [stdout] 466 |             Ok(Value::VVec(box a_val, box Value::VSucc(box k_val)))
[INFO] [stdout]     |                                                        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 466 |             Ok(Value::VVec(box a_val, box Value::VSucc(Box::new(k_val))))
[INFO] [stdout]     |                                                        ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:466:39
[INFO] [stdout]     |
[INFO] [stdout] 466 |             Ok(Value::VVec(box a_val, box Value::VSucc(box k_val)))
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 466 |             Ok(Value::VVec(box a_val, Box::new(Value::VSucc(box k_val))))
[INFO] [stdout]     |                                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:476:21
[INFO] [stdout]     |
[INFO] [stdout] 476 |                     box Value::VNat,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 476 |                     Box::new(Value::VNat),
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:481:49
[INFO] [stdout]     |
[INFO] [stdout] 481 | ...                   box Value::VVec(box v, box k),
[INFO] [stdout]     |                                       ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 481 |                                 box Value::VVec(Box::new(v), box k),
[INFO] [stdout]     |                                                 ~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:481:56
[INFO] [stdout]     |
[INFO] [stdout] 481 | ...                   box Value::VVec(box v, box k),
[INFO] [stdout]     |                                              ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 481 |                                 box Value::VVec(box v, Box::new(k)),
[INFO] [stdout]     |                                                        ~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:481:33
[INFO] [stdout]     |
[INFO] [stdout] 481 | ...                   box Value::VVec(box v, box k),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 481 |                                 Box::new(Value::VVec(box v, box k)),
[INFO] [stdout]     |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:482:33
[INFO] [stdout]     |
[INFO] [stdout] 482 | / ...                   box ClonableClosure::ClonableClosure0(ClonableClosure0::new(
[INFO] [stdout] 483 | | ...                       |_| Value::VStar,
[INFO] [stdout] 484 | | ...                   )),
[INFO] [stdout]     | |________________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 482 ~                                 Box::new(ClonableClosure::ClonableClosure0(ClonableClosure0::new(
[INFO] [stdout] 483 +                                     |_| Value::VStar,
[INFO] [stdout] 484 ~                                 ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:477:21
[INFO] [stdout]     |
[INFO] [stdout] 477 | /                     box ClonableClosure::ClonableClosureV1(ClonableClosureV1::new(
[INFO] [stdout] 478 | |                         a_val.clone(),
[INFO] [stdout] 479 | |                         |k, v| {
[INFO] [stdout] 480 | |                             Value::VPi(
[INFO] [stdout] ...   |
[INFO] [stdout] 486 | |                         },
[INFO] [stdout] 487 | |                     )),
[INFO] [stdout]     | |______________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 477 ~                     Box::new(ClonableClosure::ClonableClosureV1(ClonableClosureV1::new(
[INFO] [stdout] 478 +                         a_val.clone(),
[INFO] [stdout] 479 +                         |k, v| {
[INFO] [stdout] 480 +                             Value::VPi(
[INFO] [stdout] 481 +                                 box Value::VVec(box v, box k),
[INFO] [stdout] 482 +                                 box ClonableClosure::ClonableClosure0(ClonableClosure0::new(
[INFO] [stdout] 483 +                                     |_| Value::VStar,
[INFO] [stdout] 484 +                                 )),
[INFO] [stdout] 485 +                             )
[INFO] [stdout] 486 +                         },
[INFO] [stdout] 487 ~                     ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:504:21
[INFO] [stdout]     |
[INFO] [stdout] 504 |                     box Value::VNat,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 504 |                     Box::new(Value::VNat),
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:510:33
[INFO] [stdout]     |
[INFO] [stdout] 510 | ...                   box v1.clone(),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 510 |                                 Box::new(v1.clone()),
[INFO] [stdout]     |                                 ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:517:61
[INFO] [stdout]     |
[INFO] [stdout] 517 | ...                   box Value::VVec(box v2.clone(), box v1.clone()),
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 517 |                                             box Value::VVec(Box::new(v2.clone()), box v1.clone()),
[INFO] [stdout]     |                                                             ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:517:77
[INFO] [stdout]     |
[INFO] [stdout] 517 | ...                   box Value::VVec(box v2.clone(), box v1.clone()),
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 517 |                                             box Value::VVec(box v2.clone(), Box::new(v1.clone())),
[INFO] [stdout]     |                                                                             ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:517:45
[INFO] [stdout]     |
[INFO] [stdout] 517 | ...                   box Value::VVec(box v2.clone(), box v1.clone()),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 517 |                                             Box::new(Value::VVec(box v2.clone(), box v1.clone())),
[INFO] [stdout]     |                                             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:526:61
[INFO] [stdout]     |
[INFO] [stdout] 526 | / ...                   box vec![v1.clone(), ys.clone()]
[INFO] [stdout] 527 | | ...                       .iter()
[INFO] [stdout] 528 | | ...                       .fold(v4.clone(), |v1, v2| {
[INFO] [stdout] 529 | | ...                           vapp(v1, v2.clone())
[INFO] [stdout] 530 | | ...                       }),
[INFO] [stdout]     | |____________________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 526 ~                                                             Box::new(vec![v1.clone(), ys.clone()]
[INFO] [stdout] 527 +                                                                 .iter()
[INFO] [stdout] 528 +                                                                 .fold(v4.clone(), |v1, v2| {
[INFO] [stdout] 529 +                                                                     vapp(v1, v2.clone())
[INFO] [stdout] 530 ~                                                                 })),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:531:61
[INFO] [stdout]     |
[INFO] [stdout] 531 | / ...                   box ClonableClosure::ClonableClosureV5(
[INFO] [stdout] 532 | | ...                       ClonableClosureV5::new(
[INFO] [stdout] 533 | | ...                           v1,
[INFO] [stdout] 534 | | ...                           v2,
[INFO] [stdout] ...   |
[INFO] [stdout] 553 | | ...                       ),
[INFO] [stdout] 554 | | ...                   ),
[INFO] [stdout]     | |_______________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 531 ~                                                             Box::new(ClonableClosure::ClonableClosureV5(
[INFO] [stdout] 532 +                                                                 ClonableClosureV5::new(
[INFO] [stdout] 533 +                                                                     v1,
[INFO] [stdout] 534 +                                                                     v2,
[INFO] [stdout] 535 +                                                                     v3,
[INFO] [stdout] 536 +                                                                     ys,
[INFO] [stdout] 537 +                                                                     v4,
[INFO] [stdout] 538 +                                                                     |_, v1, v2, v3, v4, v5| {
[INFO] [stdout] 539 +                                                                         vec![
[INFO] [stdout] 540 +                                                                             Value::VSucc(
[INFO] [stdout] 541 +                                                                                 box v1.clone(),
[INFO] [stdout] 542 +                                                                             ),
[INFO] [stdout] 543 +                                                                             Value::VCons(
[INFO] [stdout] 544 +                                                                                 box v2, box v1,
[INFO] [stdout] 545 +                                                                                 box v3, box v4,
[INFO] [stdout] 546 +                                                                             ),
[INFO] [stdout] 547 +                                                                         ]
[INFO] [stdout] 548 +                                                                         .iter()
[INFO] [stdout] 549 +                                                                         .fold(v5, |v1, v2| {
[INFO] [stdout] 550 +                                                                             vapp(v1, v2.clone())
[INFO] [stdout] 551 +                                                                         })
[INFO] [stdout] 552 +                                                                     },
[INFO] [stdout] 553 +                                                                 ),
[INFO] [stdout] 554 ~                                                             )),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:518:45
[INFO] [stdout]     |
[INFO] [stdout] 518 | / ...                   box ClonableClosure::ClonableClosureV4(
[INFO] [stdout] 519 | | ...                       ClonableClosureV4::new(
[INFO] [stdout] 520 | | ...                           v1,
[INFO] [stdout] 521 | | ...                           v2,
[INFO] [stdout] ...   |
[INFO] [stdout] 557 | | ...                       ),
[INFO] [stdout] 558 | | ...                   ),
[INFO] [stdout]     | |_______________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 518 ~                                             Box::new(ClonableClosure::ClonableClosureV4(
[INFO] [stdout] 519 +                                                 ClonableClosureV4::new(
[INFO] [stdout] 520 +                                                     v1,
[INFO] [stdout] 521 +                                                     v2,
[INFO] [stdout] 522 +                                                     y,
[INFO] [stdout] 523 +                                                     v3,
[INFO] [stdout] 524 +                                                     |ys, v1, v2, v3, v4| {
[INFO] [stdout] 525 +                                                         Value::VPi(
[INFO] [stdout] 526 +                                                             box vec![v1.clone(), ys.clone()]
[INFO] [stdout] 527 +                                                                 .iter()
[INFO] [stdout] 528 +                                                                 .fold(v4.clone(), |v1, v2| {
[INFO] [stdout] 529 +                                                                     vapp(v1, v2.clone())
[INFO] [stdout] 530 +                                                                 }),
[INFO] [stdout] 531 +                                                             box ClonableClosure::ClonableClosureV5(
[INFO] [stdout] 532 +                                                                 ClonableClosureV5::new(
[INFO] [stdout] 533 +                                                                     v1,
[INFO] [stdout] 534 +                                                                     v2,
[INFO] [stdout] 535 +                                                                     v3,
[INFO] [stdout] 536 +                                                                     ys,
[INFO] [stdout] 537 +                                                                     v4,
[INFO] [stdout] 538 +                                                                     |_, v1, v2, v3, v4, v5| {
[INFO] [stdout] 539 +                                                                         vec![
[INFO] [stdout] 540 +                                                                             Value::VSucc(
[INFO] [stdout] 541 +                                                                                 box v1.clone(),
[INFO] [stdout] 542 +                                                                             ),
[INFO] [stdout] 543 +                                                                             Value::VCons(
[INFO] [stdout] 544 +                                                                                 box v2, box v1,
[INFO] [stdout] 545 +                                                                                 box v3, box v4,
[INFO] [stdout] 546 +                                                                             ),
[INFO] [stdout] 547 +                                                                         ]
[INFO] [stdout] 548 +                                                                         .iter()
[INFO] [stdout] 549 +                                                                         .fold(v5, |v1, v2| {
[INFO] [stdout] 550 +                                                                             vapp(v1, v2.clone())
[INFO] [stdout] 551 +                                                                         })
[INFO] [stdout] 552 +                                                                     },
[INFO] [stdout] 553 +                                                                 ),
[INFO] [stdout] 554 +                                                             ),
[INFO] [stdout] 555 +                                                         )
[INFO] [stdout] 556 +                                                     },
[INFO] [stdout] 557 +                                                 ),
[INFO] [stdout] 558 ~                                             )),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:511:33
[INFO] [stdout]     |
[INFO] [stdout] 511 | / ...                   box ClonableClosure::ClonableClosureV3(ClonableClosureV3::new(
[INFO] [stdout] 512 | | ...                       l,
[INFO] [stdout] 513 | | ...                       v1,
[INFO] [stdout] 514 | | ...                       v2,
[INFO] [stdout] ...   |
[INFO] [stdout] 560 | | ...                       },
[INFO] [stdout] 561 | | ...                   )),
[INFO] [stdout]     | |________________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 511 ~                                 Box::new(ClonableClosure::ClonableClosureV3(ClonableClosureV3::new(
[INFO] [stdout] 512 +                                     l,
[INFO] [stdout] 513 +                                     v1,
[INFO] [stdout] 514 +                                     v2,
[INFO] [stdout] 515 +                                     |y, v1, v2, v3| {
[INFO] [stdout] 516 +                                         Value::VPi(
[INFO] [stdout] 517 +                                             box Value::VVec(box v2.clone(), box v1.clone()),
[INFO] [stdout] 518 +                                             box ClonableClosure::ClonableClosureV4(
[INFO] [stdout] 519 +                                                 ClonableClosureV4::new(
[INFO] [stdout] 520 +                                                     v1,
[INFO] [stdout] 521 +                                                     v2,
[INFO] [stdout] 522 +                                                     y,
[INFO] [stdout] 523 +                                                     v3,
[INFO] [stdout] 524 +                                                     |ys, v1, v2, v3, v4| {
[INFO] [stdout] 525 +                                                         Value::VPi(
[INFO] [stdout] 526 +                                                             box vec![v1.clone(), ys.clone()]
[INFO] [stdout] 527 +                                                                 .iter()
[INFO] [stdout] 528 +                                                                 .fold(v4.clone(), |v1, v2| {
[INFO] [stdout] 529 +                                                                     vapp(v1, v2.clone())
[INFO] [stdout] 530 +                                                                 }),
[INFO] [stdout] 531 +                                                             box ClonableClosure::ClonableClosureV5(
[INFO] [stdout] 532 +                                                                 ClonableClosureV5::new(
[INFO] [stdout] 533 +                                                                     v1,
[INFO] [stdout] 534 +                                                                     v2,
[INFO] [stdout] 535 +                                                                     v3,
[INFO] [stdout] 536 +                                                                     ys,
[INFO] [stdout] 537 +                                                                     v4,
[INFO] [stdout] 538 +                                                                     |_, v1, v2, v3, v4, v5| {
[INFO] [stdout] 539 +                                                                         vec![
[INFO] [stdout] 540 +                                                                             Value::VSucc(
[INFO] [stdout] 541 +                                                                                 box v1.clone(),
[INFO] [stdout] 542 +                                                                             ),
[INFO] [stdout] 543 +                                                                             Value::VCons(
[INFO] [stdout] 544 +                                                                                 box v2, box v1,
[INFO] [stdout] 545 +                                                                                 box v3, box v4,
[INFO] [stdout] 546 +                                                                             ),
[INFO] [stdout] 547 +                                                                         ]
[INFO] [stdout] 548 +                                                                         .iter()
[INFO] [stdout] 549 +                                                                         .fold(v5, |v1, v2| {
[INFO] [stdout] 550 +                                                                             vapp(v1, v2.clone())
[INFO] [stdout] 551 +                                                                         })
[INFO] [stdout] 552 +                                                                     },
[INFO] [stdout] 553 +                                                                 ),
[INFO] [stdout] 554 +                                                             ),
[INFO] [stdout] 555 +                                                         )
[INFO] [stdout] 556 +                                                     },
[INFO] [stdout] 557 +                                                 ),
[INFO] [stdout] 558 +                                             ),
[INFO] [stdout] 559 +                                         )
[INFO] [stdout] 560 +                                     },
[INFO] [stdout] 561 ~                                 ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:505:21
[INFO] [stdout]     |
[INFO] [stdout] 505 | /                     box ClonableClosure::ClonableClosureV2(ClonableClosureV2::new(
[INFO] [stdout] 506 | |                         a_val.clone(),
[INFO] [stdout] 507 | |                         m_val.clone(),
[INFO] [stdout] 508 | |                         |l, v1, v2| {
[INFO] [stdout] ...   |
[INFO] [stdout] 563 | |                         },
[INFO] [stdout] 564 | |                     )),
[INFO] [stdout]     | |______________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 505 ~                     Box::new(ClonableClosure::ClonableClosureV2(ClonableClosureV2::new(
[INFO] [stdout] 506 +                         a_val.clone(),
[INFO] [stdout] 507 +                         m_val.clone(),
[INFO] [stdout] 508 +                         |l, v1, v2| {
[INFO] [stdout] 509 +                             Value::VPi(
[INFO] [stdout] 510 +                                 box v1.clone(),
[INFO] [stdout] 511 +                                 box ClonableClosure::ClonableClosureV3(ClonableClosureV3::new(
[INFO] [stdout] 512 +                                     l,
[INFO] [stdout] 513 +                                     v1,
[INFO] [stdout] 514 +                                     v2,
[INFO] [stdout] 515 +                                     |y, v1, v2, v3| {
[INFO] [stdout] 516 +                                         Value::VPi(
[INFO] [stdout] 517 +                                             box Value::VVec(box v2.clone(), box v1.clone()),
[INFO] [stdout] 518 +                                             box ClonableClosure::ClonableClosureV4(
[INFO] [stdout] 519 +                                                 ClonableClosureV4::new(
[INFO] [stdout] 520 +                                                     v1,
[INFO] [stdout] 521 +                                                     v2,
[INFO] [stdout] 522 +                                                     y,
[INFO] [stdout] 523 +                                                     v3,
[INFO] [stdout] 524 +                                                     |ys, v1, v2, v3, v4| {
[INFO] [stdout] 525 +                                                         Value::VPi(
[INFO] [stdout] 526 +                                                             box vec![v1.clone(), ys.clone()]
[INFO] [stdout] 527 +                                                                 .iter()
[INFO] [stdout] 528 +                                                                 .fold(v4.clone(), |v1, v2| {
[INFO] [stdout] 529 +                                                                     vapp(v1, v2.clone())
[INFO] [stdout] 530 +                                                                 }),
[INFO] [stdout] 531 +                                                             box ClonableClosure::ClonableClosureV5(
[INFO] [stdout] 532 +                                                                 ClonableClosureV5::new(
[INFO] [stdout] 533 +                                                                     v1,
[INFO] [stdout] 534 +                                                                     v2,
[INFO] [stdout] 535 +                                                                     v3,
[INFO] [stdout] 536 +                                                                     ys,
[INFO] [stdout] 537 +                                                                     v4,
[INFO] [stdout] 538 +                                                                     |_, v1, v2, v3, v4, v5| {
[INFO] [stdout] 539 +                                                                         vec![
[INFO] [stdout] 540 +                                                                             Value::VSucc(
[INFO] [stdout] 541 +                                                                                 box v1.clone(),
[INFO] [stdout] 542 +                                                                             ),
[INFO] [stdout] 543 +                                                                             Value::VCons(
[INFO] [stdout] 544 +                                                                                 box v2, box v1,
[INFO] [stdout] 545 +                                                                                 box v3, box v4,
[INFO] [stdout] 546 +                                                                             ),
[INFO] [stdout] 547 +                                                                         ]
[INFO] [stdout] 548 +                                                                         .iter()
[INFO] [stdout] 549 +                                                                         .fold(v5, |v1, v2| {
[INFO] [stdout] 550 +                                                                             vapp(v1, v2.clone())
[INFO] [stdout] 551 +                                                                         })
[INFO] [stdout] 552 +                                                                     },
[INFO] [stdout] 553 +                                                                 ),
[INFO] [stdout] 554 +                                                             ),
[INFO] [stdout] 555 +                                                         )
[INFO] [stdout] 556 +                                                     },
[INFO] [stdout] 557 +                                                 ),
[INFO] [stdout] 558 +                                             ),
[INFO] [stdout] 559 +                                         )
[INFO] [stdout] 560 +                                     },
[INFO] [stdout] 561 +                                 )),
[INFO] [stdout] 562 +                             )
[INFO] [stdout] 563 +                         },
[INFO] [stdout] 564 ~                     ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:573:29
[INFO] [stdout]     |
[INFO] [stdout] 573 |                 Value::VVec(box a_val, box k_val.clone()),
[INFO] [stdout]     |                             ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 573 |                 Value::VVec(Box::new(a_val), box k_val.clone()),
[INFO] [stdout]     |                             ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:573:40
[INFO] [stdout]     |
[INFO] [stdout] 573 |                 Value::VVec(box a_val, box k_val.clone()),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 573 |                 Value::VVec(box a_val, Box::new(k_val.clone())),
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:612:48
[INFO] [stdout]     |
[INFO] [stdout] 612 |         ITerm::Ann(box e, box t) => ITerm::Ann(box csubst(i, r.clone(), e), box csubst(i, r, t)),
[INFO] [stdout]     |                                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 612 |         ITerm::Ann(box e, box t) => ITerm::Ann(Box::new(csubst(i, r.clone(), e)), box csubst(i, r, t)),
[INFO] [stdout]     |                                                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:612:77
[INFO] [stdout]     |
[INFO] [stdout] 612 |         ITerm::Ann(box e, box t) => ITerm::Ann(box csubst(i, r.clone(), e), box csubst(i, r, t)),
[INFO] [stdout]     |                                                                             ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 612 |         ITerm::Ann(box e, box t) => ITerm::Ann(box csubst(i, r.clone(), e), Box::new(csubst(i, r, t))),
[INFO] [stdout]     |                                                                             ~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:615:23
[INFO] [stdout]     |
[INFO] [stdout] 615 |             ITerm::Pi(box csubst(i, r.clone(), t1), box csubst(i + 1, r, t2))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 615 |             ITerm::Pi(Box::new(csubst(i, r.clone(), t1)), box csubst(i + 1, r, t2))
[INFO] [stdout]     |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:615:53
[INFO] [stdout]     |
[INFO] [stdout] 615 |             ITerm::Pi(box csubst(i, r.clone(), t1), box csubst(i + 1, r, t2))
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 615 |             ITerm::Pi(box csubst(i, r.clone(), t1), Box::new(csubst(i + 1, r, t2)))
[INFO] [stdout]     |                                                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:625:48
[INFO] [stdout]     |
[INFO] [stdout] 625 |         ITerm::At(box e1, box e2) => ITerm::At(box isubst(i, r.clone(), e1), box csubst(i, r, e2)),
[INFO] [stdout]     |                                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 625 |         ITerm::At(box e1, box e2) => ITerm::At(Box::new(isubst(i, r.clone(), e1)), box csubst(i, r, e2)),
[INFO] [stdout]     |                                                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:625:78
[INFO] [stdout]     |
[INFO] [stdout] 625 |         ITerm::At(box e1, box e2) => ITerm::At(box isubst(i, r.clone(), e1), box csubst(i, r, e2)),
[INFO] [stdout]     |                                                                              ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 625 |         ITerm::At(box e1, box e2) => ITerm::At(box isubst(i, r.clone(), e1), Box::new(csubst(i, r, e2))),
[INFO] [stdout]     |                                                                              ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:628:43
[INFO] [stdout]     |
[INFO] [stdout] 628 |         ITerm::Succ(box n) => ITerm::Succ(box csubst(i, r, n)),
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 628 |         ITerm::Succ(box n) => ITerm::Succ(Box::new(csubst(i, r, n))),
[INFO] [stdout]     |                                           ~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:630:13
[INFO] [stdout]     |
[INFO] [stdout] 630 |             box csubst(i, r.clone(), m),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 630 |             Box::new(csubst(i, r.clone(), m)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:631:13
[INFO] [stdout]     |
[INFO] [stdout] 631 |             box csubst(i, r.clone(), mz),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 631 |             Box::new(csubst(i, r.clone(), mz)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:632:13
[INFO] [stdout]     |
[INFO] [stdout] 632 |             box csubst(i, r.clone(), ms),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 632 |             Box::new(csubst(i, r.clone(), ms)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:633:13
[INFO] [stdout]     |
[INFO] [stdout] 633 |             box csubst(i, r, n),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 633 |             Box::new(csubst(i, r, n)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:635:48
[INFO] [stdout]     |
[INFO] [stdout] 635 |         ITerm::Vec(box a, box n) => ITerm::Vec(box csubst(i, r.clone(), a), box csubst(i, r, n)),
[INFO] [stdout]     |                                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 635 |         ITerm::Vec(box a, box n) => ITerm::Vec(Box::new(csubst(i, r.clone(), a)), box csubst(i, r, n)),
[INFO] [stdout]     |                                                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:635:77
[INFO] [stdout]     |
[INFO] [stdout] 635 |         ITerm::Vec(box a, box n) => ITerm::Vec(box csubst(i, r.clone(), a), box csubst(i, r, n)),
[INFO] [stdout]     |                                                                             ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 635 |         ITerm::Vec(box a, box n) => ITerm::Vec(box csubst(i, r.clone(), a), Box::new(csubst(i, r, n))),
[INFO] [stdout]     |                                                                             ~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:636:41
[INFO] [stdout]     |
[INFO] [stdout] 636 |         ITerm::Nil(box a) => ITerm::Nil(box csubst(i, r, a)),
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 636 |         ITerm::Nil(box a) => ITerm::Nil(Box::new(csubst(i, r, a))),
[INFO] [stdout]     |                                         ~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:638:13
[INFO] [stdout]     |
[INFO] [stdout] 638 |             box csubst(i, r.clone(), a),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 638 |             Box::new(csubst(i, r.clone(), a)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:639:13
[INFO] [stdout]     |
[INFO] [stdout] 639 |             box csubst(i, r.clone(), n),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 639 |             Box::new(csubst(i, r.clone(), n)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:640:13
[INFO] [stdout]     |
[INFO] [stdout] 640 |             box csubst(i, r.clone(), x),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 640 |             Box::new(csubst(i, r.clone(), x)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:641:13
[INFO] [stdout]     |
[INFO] [stdout] 641 |             box csubst(i, r, xs),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 641 |             Box::new(csubst(i, r, xs)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:644:13
[INFO] [stdout]     |
[INFO] [stdout] 644 |             box csubst(i, r.clone(), a),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 644 |             Box::new(csubst(i, r.clone(), a)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:645:13
[INFO] [stdout]     |
[INFO] [stdout] 645 |             box csubst(i, r.clone(), m),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 645 |             Box::new(csubst(i, r.clone(), m)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:646:13
[INFO] [stdout]     |
[INFO] [stdout] 646 |             box csubst(i, r.clone(), mn),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 646 |             Box::new(csubst(i, r.clone(), mn)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:647:13
[INFO] [stdout]     |
[INFO] [stdout] 647 |             box csubst(i, r.clone(), mc),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 647 |             Box::new(csubst(i, r.clone(), mc)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:648:13
[INFO] [stdout]     |
[INFO] [stdout] 648 |             box csubst(i, r.clone(), n),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 648 |             Box::new(csubst(i, r.clone(), n)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:649:13
[INFO] [stdout]     |
[INFO] [stdout] 649 |             box csubst(i, r, xs),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 649 |             Box::new(csubst(i, r, xs)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:656:41
[INFO] [stdout]     |
[INFO] [stdout] 656 |         CTerm::Inf(box e) => CTerm::Inf(box isubst(i, r, e.clone())),
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 656 |         CTerm::Inf(box e) => CTerm::Inf(Box::new(isubst(i, r, e.clone()))),
[INFO] [stdout]     |                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:657:41
[INFO] [stdout]     |
[INFO] [stdout] 657 |         CTerm::Lam(box e) => CTerm::Lam(box csubst(i + 1, r, term)),
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 657 |         CTerm::Lam(box e) => CTerm::Lam(Box::new(csubst(i + 1, r, term))),
[INFO] [stdout]     |                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:667:42
[INFO] [stdout]     |
[INFO] [stdout] 667 |         Value::VLam(box f) => CTerm::Lam(box quote(i + 1, f.apply(vfree(Name::Quote(i))))),
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 667 |         Value::VLam(box f) => CTerm::Lam(Box::new(quote(i + 1, f.apply(vfree(Name::Quote(i)))))),
[INFO] [stdout]     |                                          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:668:36
[INFO] [stdout]     |
[INFO] [stdout] 668 |         Value::VStar => CTerm::Inf(box ITerm::Star),
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 668 |         Value::VStar => CTerm::Inf(Box::new(ITerm::Star)),
[INFO] [stdout]     |                                    ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:670:13
[INFO] [stdout]     |
[INFO] [stdout] 670 |             box quote(i, v),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 670 |             Box::new(quote(i, v)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:671:13
[INFO] [stdout]     |
[INFO] [stdout] 671 |             box quote(i + 1, f.apply(vfree(Name::Quote(i)))),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 671 |             Box::new(quote(i + 1, f.apply(vfree(Name::Quote(i))))),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:669:48
[INFO] [stdout]     |
[INFO] [stdout] 669 |           Value::VPi(box v, box f) => CTerm::Inf(box ITerm::Pi(
[INFO] [stdout]     |  ________________________________________________^
[INFO] [stdout] 670 | |             box quote(i, v),
[INFO] [stdout] 671 | |             box quote(i + 1, f.apply(vfree(Name::Quote(i)))),
[INFO] [stdout] 672 | |         )),
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 669 ~         Value::VPi(box v, box f) => CTerm::Inf(Box::new(ITerm::Pi(
[INFO] [stdout] 670 +             box quote(i, v),
[INFO] [stdout] 671 +             box quote(i + 1, f.apply(vfree(Name::Quote(i)))),
[INFO] [stdout] 672 ~         ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:673:46
[INFO] [stdout]     |
[INFO] [stdout] 673 |         Value::VNeutral(box n) => CTerm::Inf(box neutral_quote(i, n)),
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 673 |         Value::VNeutral(box n) => CTerm::Inf(Box::new(neutral_quote(i, n))),
[INFO] [stdout]     |                                              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:674:35
[INFO] [stdout]     |
[INFO] [stdout] 674 |         Value::VNat => CTerm::Inf(box ITerm::Nat),
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 674 |         Value::VNat => CTerm::Inf(Box::new(ITerm::Nat)),
[INFO] [stdout]     |                                   ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:675:36
[INFO] [stdout]     |
[INFO] [stdout] 675 |         Value::VZero => CTerm::Inf(box ITerm::Zero),
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 675 |         Value::VZero => CTerm::Inf(Box::new(ITerm::Zero)),
[INFO] [stdout]     |                                    ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:676:59
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Value::VSucc(box n) => CTerm::Inf(box ITerm::Succ(box quote(i, n))),
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Value::VSucc(box n) => CTerm::Inf(box ITerm::Succ(Box::new(quote(i, n)))),
[INFO] [stdout]     |                                                           ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:676:43
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Value::VSucc(box n) => CTerm::Inf(box ITerm::Succ(box quote(i, n))),
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Value::VSucc(box n) => CTerm::Inf(Box::new(ITerm::Succ(box quote(i, n)))),
[INFO] [stdout]     |                                           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:677:57
[INFO] [stdout]     |
[INFO] [stdout] 677 |         Value::VNil(box a) => CTerm::Inf(box ITerm::Nil(box quote(i, a))),
[INFO] [stdout]     |                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 677 |         Value::VNil(box a) => CTerm::Inf(box ITerm::Nil(Box::new(quote(i, a)))),
[INFO] [stdout]     |                                                         ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:677:42
[INFO] [stdout]     |
[INFO] [stdout] 677 |         Value::VNil(box a) => CTerm::Inf(box ITerm::Nil(box quote(i, a))),
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 677 |         Value::VNil(box a) => CTerm::Inf(Box::new(ITerm::Nil(box quote(i, a)))),
[INFO] [stdout]     |                                          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:679:13
[INFO] [stdout]     |
[INFO] [stdout] 679 |             box quote(i, a),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 679 |             Box::new(quote(i, a)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:680:13
[INFO] [stdout]     |
[INFO] [stdout] 680 |             box quote(i, n),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 680 |             Box::new(quote(i, n)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:681:13
[INFO] [stdout]     |
[INFO] [stdout] 681 |             box quote(i, x),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 681 |             Box::new(quote(i, x)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:682:13
[INFO] [stdout]     |
[INFO] [stdout] 682 |             box quote(i, xs),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 682 |             Box::new(quote(i, xs)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:678:65
[INFO] [stdout]     |
[INFO] [stdout] 678 |           Value::VCons(box a, box n, box x, box xs) => CTerm::Inf(box ITerm::Cons(
[INFO] [stdout]     |  _________________________________________________________________^
[INFO] [stdout] 679 | |             box quote(i, a),
[INFO] [stdout] 680 | |             box quote(i, n),
[INFO] [stdout] 681 | |             box quote(i, x),
[INFO] [stdout] 682 | |             box quote(i, xs),
[INFO] [stdout] 683 | |         )),
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 678 ~         Value::VCons(box a, box n, box x, box xs) => CTerm::Inf(Box::new(ITerm::Cons(
[INFO] [stdout] 679 +             box quote(i, a),
[INFO] [stdout] 680 +             box quote(i, n),
[INFO] [stdout] 681 +             box quote(i, x),
[INFO] [stdout] 682 +             box quote(i, xs),
[INFO] [stdout] 683 ~         ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:684:64
[INFO] [stdout]     |
[INFO] [stdout] 684 |         Value::VVec(box a, box n) => CTerm::Inf(box ITerm::Vec(box quote(i, a), box quote(i, n))),
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 684 |         Value::VVec(box a, box n) => CTerm::Inf(box ITerm::Vec(Box::new(quote(i, a)), box quote(i, n))),
[INFO] [stdout]     |                                                                ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:684:81
[INFO] [stdout]     |
[INFO] [stdout] 684 |         Value::VVec(box a, box n) => CTerm::Inf(box ITerm::Vec(box quote(i, a), box quote(i, n))),
[INFO] [stdout]     |                                                                                 ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 684 |         Value::VVec(box a, box n) => CTerm::Inf(box ITerm::Vec(box quote(i, a), Box::new(quote(i, n)))),
[INFO] [stdout]     |                                                                                 ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:684:49
[INFO] [stdout]     |
[INFO] [stdout] 684 |         Value::VVec(box a, box n) => CTerm::Inf(box ITerm::Vec(box quote(i, a), box quote(i, n))),
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 684 |         Value::VVec(box a, box n) => CTerm::Inf(Box::new(ITerm::Vec(box quote(i, a), box quote(i, n)))),
[INFO] [stdout]     |                                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:691:46
[INFO] [stdout]     |
[INFO] [stdout] 691 |         Neutral::NApp(box n, v) => ITerm::At(box neutral_quote(i, n), box quote(i, v)),
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 691 |         Neutral::NApp(box n, v) => ITerm::At(Box::new(neutral_quote(i, n)), box quote(i, v)),
[INFO] [stdout]     |                                              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:691:71
[INFO] [stdout]     |
[INFO] [stdout] 691 |         Neutral::NApp(box n, v) => ITerm::At(box neutral_quote(i, n), box quote(i, v)),
[INFO] [stdout]     |                                                                       ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 691 |         Neutral::NApp(box n, v) => ITerm::At(box neutral_quote(i, n), Box::new(quote(i, v))),
[INFO] [stdout]     |                                                                       ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:693:13
[INFO] [stdout]     |
[INFO] [stdout] 693 |             box quote(i, m),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 693 |             Box::new(quote(i, m)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:694:13
[INFO] [stdout]     |
[INFO] [stdout] 694 |             box quote(i, z),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 694 |             Box::new(quote(i, z)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:695:13
[INFO] [stdout]     |
[INFO] [stdout] 695 |             box quote(i, s),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 695 |             Box::new(quote(i, s)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:696:28
[INFO] [stdout]     |
[INFO] [stdout] 696 |             box CTerm::Inf(box neutral_quote(i, n)),
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 696 |             box CTerm::Inf(Box::new(neutral_quote(i, n))),
[INFO] [stdout]     |                            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:696:13
[INFO] [stdout]     |
[INFO] [stdout] 696 |             box CTerm::Inf(box neutral_quote(i, n)),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 696 |             Box::new(CTerm::Inf(box neutral_quote(i, n))),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:699:13
[INFO] [stdout]     |
[INFO] [stdout] 699 |             box quote(i, a),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 699 |             Box::new(quote(i, a)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:700:13
[INFO] [stdout]     |
[INFO] [stdout] 700 |             box quote(i, m),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 700 |             Box::new(quote(i, m)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:701:13
[INFO] [stdout]     |
[INFO] [stdout] 701 |             box quote(i, mn),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 701 |             Box::new(quote(i, mn)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:702:13
[INFO] [stdout]     |
[INFO] [stdout] 702 |             box quote(i, mc),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 702 |             Box::new(quote(i, mc)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:703:13
[INFO] [stdout]     |
[INFO] [stdout] 703 |             box quote(i, n),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 703 |             Box::new(quote(i, n)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:704:28
[INFO] [stdout]     |
[INFO] [stdout] 704 |             box CTerm::Inf(box neutral_quote(i, xs)),
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 704 |             box CTerm::Inf(Box::new(neutral_quote(i, xs))),
[INFO] [stdout]     |                            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:704:13
[INFO] [stdout]     |
[INFO] [stdout] 704 |             box CTerm::Inf(box neutral_quote(i, xs)),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 704 |             Box::new(CTerm::Inf(box neutral_quote(i, xs))),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:26
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_patterns, box_syntax)]
[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/main.rs:495:48
[INFO] [stdout]     |
[INFO] [stdout] 495 |                 vec![Value::VZero, Value::VNil(box a_val.clone())]
[INFO] [stdout]     |                                                ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 495 |                 vec![Value::VZero, Value::VNil(Box::new(a_val.clone()))]
[INFO] [stdout]     |                                                ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:541:81
[INFO] [stdout]     |
[INFO] [stdout] 541 | ...                   box v1.clone(),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 541 |                                                                                 Box::new(v1.clone()),
[INFO] [stdout]     |                                                                                 ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:544:81
[INFO] [stdout]     |
[INFO] [stdout] 544 | ...                   box v2, box v1,
[INFO] [stdout]     |                       ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 544 |                                                                                 Box::new(v2), box v1,
[INFO] [stdout]     |                                                                                 ~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:544:89
[INFO] [stdout]     |
[INFO] [stdout] 544 | ...                   box v2, box v1,
[INFO] [stdout]     |                               ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 544 |                                                                                 box v2, Box::new(v1),
[INFO] [stdout]     |                                                                                         ~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:545:81
[INFO] [stdout]     |
[INFO] [stdout] 545 | ...                   box v3, box v4,
[INFO] [stdout]     |                       ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 545 |                                                                                 Box::new(v3), box v4,
[INFO] [stdout]     |                                                                                 ~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:545:89
[INFO] [stdout]     |
[INFO] [stdout] 545 | ...                   box v3, box v4,
[INFO] [stdout]     |                               ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 545 |                                                                                 box v3, Box::new(v4),
[INFO] [stdout]     |                                                                                         ~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel
[INFO] [stdout]  --> src/main.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_patterns, box_syntax)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 115 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0554, E0557.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0554`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `lambdapi` (bin "lambdapi") due to 116 previous errors
[INFO] running `Command { std: "docker" "inspect" "f758e9d55bd32fa4e7c744e0fb22f80319ed8537e551d6dd7f4f3c9b1b25021d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f758e9d55bd32fa4e7c744e0fb22f80319ed8537e551d6dd7f4f3c9b1b25021d", kill_on_drop: false }`
[INFO] [stdout] f758e9d55bd32fa4e7c744e0fb22f80319ed8537e551d6dd7f4f3c9b1b25021d
[INFO] testing Catminusminus/lambdapi against beta-2023-12-22 for beta-1.76-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FCatminusminus%2Flambdapi" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Catminusminus/lambdapi on toolchain beta-2023-12-22
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-12-22" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/Catminusminus/lambdapi
[INFO] finished tweaking git repo https://github.com/Catminusminus/lambdapi
[INFO] tweaked toml for git repo https://github.com/Catminusminus/lambdapi written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/Catminusminus/lambdapi 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" "+beta-2023-12-22" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-12-22" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b1ac28ba582d4c3563f816051475e668b2142f84a6f6470137a36c5228c03bc2
[INFO] running `Command { std: "docker" "start" "-a" "b1ac28ba582d4c3563f816051475e668b2142f84a6f6470137a36c5228c03bc2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b1ac28ba582d4c3563f816051475e668b2142f84a6f6470137a36c5228c03bc2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b1ac28ba582d4c3563f816051475e668b2142f84a6f6470137a36c5228c03bc2", kill_on_drop: false }`
[INFO] [stdout] b1ac28ba582d4c3563f816051475e668b2142f84a6f6470137a36c5228c03bc2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-12-22" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 47e0886db82adf9ff173574d82f05d4d52e984641354bce203ebaf71d662dd48
[INFO] running `Command { std: "docker" "start" "-a" "47e0886db82adf9ff173574d82f05d4d52e984641354bce203ebaf71d662dd48", kill_on_drop: false }`
[INFO] [stderr]    Compiling lambdapi v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:246:21
[INFO] [stdout]     |
[INFO] [stdout] 246 |     Value::VNeutral(box Neutral::NFree(n))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 246 |     Value::VNeutral(Box::new(Neutral::NFree(n)))
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:256:13
[INFO] [stdout]     |
[INFO] [stdout] 256 |             box ceval(t1, d.clone()),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 256 |             Box::new(ceval(t1, d.clone())),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:257:13
[INFO] [stdout]     |
[INFO] [stdout] 257 | /             box ClonableClosure::ClonableClosure2(ClonableClosure2::new(
[INFO] [stdout] 258 | |                 d,
[INFO] [stdout] 259 | |                 t2,
[INFO] [stdout] 260 | |                 |x: Value, mut d: Env, t: CTerm| {
[INFO] [stdout] ...   |
[INFO] [stdout] 263 | |                 },
[INFO] [stdout] 264 | |             )),
[INFO] [stdout]     | |______________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 257 ~             Box::new(ClonableClosure::ClonableClosure2(ClonableClosure2::new(
[INFO] [stdout] 258 +                 d,
[INFO] [stdout] 259 +                 t2,
[INFO] [stdout] 260 +                 |x: Value, mut d: Env, t: CTerm| {
[INFO] [stdout] 261 +                     d.push(x);
[INFO] [stdout] 262 +                     ceval(t, d)
[INFO] [stdout] 263 +                 },
[INFO] [stdout] 264 ~             ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:271:44
[INFO] [stdout]     |
[INFO] [stdout] 271 |         ITerm::Succ(box k) => Value::VSucc(box ceval(k, d)),
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 271 |         ITerm::Succ(box k) => Value::VSucc(Box::new(ceval(k, d))),
[INFO] [stdout]     |                                            ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:277:55
[INFO] [stdout]     |
[INFO] [stdout] 277 |                   Value::VNeutral(k) => Value::VNeutral(box Neutral::NNatElim(
[INFO] [stdout]     |  _______________________________________________________^
[INFO] [stdout] 278 | |                     ceval(m, d.clone()),
[INFO] [stdout] 279 | |                     ceval(mz, d.clone()),
[INFO] [stdout] 280 | |                     ceval(ms, d),
[INFO] [stdout] 281 | |                     k,
[INFO] [stdout] 282 | |                 )),
[INFO] [stdout]     | |_________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 277 ~                 Value::VNeutral(k) => Value::VNeutral(Box::new(Neutral::NNatElim(
[INFO] [stdout] 278 +                     ceval(m, d.clone()),
[INFO] [stdout] 279 +                     ceval(mz, d.clone()),
[INFO] [stdout] 280 +                     ceval(ms, d),
[INFO] [stdout] 281 +                     k,
[INFO] [stdout] 282 ~                 ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:286:49
[INFO] [stdout]     |
[INFO] [stdout] 286 |         ITerm::Vec(box a, box n) => Value::VVec(box ceval(a, d.clone()), box ceval(n, d)),
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 286 |         ITerm::Vec(box a, box n) => Value::VVec(Box::new(ceval(a, d.clone())), box ceval(n, d)),
[INFO] [stdout]     |                                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:286:74
[INFO] [stdout]     |
[INFO] [stdout] 286 |         ITerm::Vec(box a, box n) => Value::VVec(box ceval(a, d.clone()), box ceval(n, d)),
[INFO] [stdout]     |                                                                          ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 286 |         ITerm::Vec(box a, box n) => Value::VVec(box ceval(a, d.clone()), Box::new(ceval(n, d))),
[INFO] [stdout]     |                                                                          ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:287:42
[INFO] [stdout]     |
[INFO] [stdout] 287 |         ITerm::Nil(box a) => Value::VNil(box ceval(a, d)),
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 287 |         ITerm::Nil(box a) => Value::VNil(Box::new(ceval(a, d))),
[INFO] [stdout]     |                                          ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:289:13
[INFO] [stdout]     |
[INFO] [stdout] 289 |             box ceval(a, d.clone()),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 289 |             Box::new(ceval(a, d.clone())),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:290:13
[INFO] [stdout]     |
[INFO] [stdout] 290 |             box ceval(n, d.clone()),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 290 |             Box::new(ceval(n, d.clone())),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:291:13
[INFO] [stdout]     |
[INFO] [stdout] 291 |             box ceval(x, d.clone()),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 291 |             Box::new(ceval(x, d.clone())),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:292:13
[INFO] [stdout]     |
[INFO] [stdout] 292 |             box ceval(xs, d),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 292 |             Box::new(ceval(xs, d)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:314:59
[INFO] [stdout]     |
[INFO] [stdout] 314 |                       Value::VNeutral(n) => Value::VNeutral(box Neutral::NVecElim(
[INFO] [stdout]     |  ___________________________________________________________^
[INFO] [stdout] 315 | |                         ceval(a, d.clone()),
[INFO] [stdout] 316 | |                         ceval(m, d.clone()),
[INFO] [stdout] 317 | |                         ceval(mn, d.clone()),
[INFO] [stdout] ...   |
[INFO] [stdout] 320 | |                         n,
[INFO] [stdout] 321 | |                     )),
[INFO] [stdout]     | |_____________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 314 ~                     Value::VNeutral(n) => Value::VNeutral(Box::new(Neutral::NVecElim(
[INFO] [stdout] 315 +                         ceval(a, d.clone()),
[INFO] [stdout] 316 +                         ceval(m, d.clone()),
[INFO] [stdout] 317 +                         ceval(mn, d.clone()),
[INFO] [stdout] 318 +                         ceval(mc, d),
[INFO] [stdout] 319 +                         k_val,
[INFO] [stdout] 320 +                         n,
[INFO] [stdout] 321 ~                     ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:333:47
[INFO] [stdout]     |
[INFO] [stdout] 333 |         Value::VNeutral(n) => Value::VNeutral(box Neutral::NApp(n, v2)),
[INFO] [stdout]     |                                               ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 333 |         Value::VNeutral(n) => Value::VNeutral(Box::new(Neutral::NApp(n, v2))),
[INFO] [stdout]     |                                               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:341:42
[INFO] [stdout]     |
[INFO] [stdout] 341 |           CTerm::Lam(box e) => Value::VLam(box ClonableClosure::ClonableClosure2(
[INFO] [stdout]     |  __________________________________________^
[INFO] [stdout] 342 | |             ClonableClosure2::new(d, e, |v, mut d, t| {
[INFO] [stdout] 343 | |                 d.push(v);
[INFO] [stdout] 344 | |                 ceval(t, d)
[INFO] [stdout] 345 | |             }),
[INFO] [stdout] 346 | |         )),
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 341 ~         CTerm::Lam(box e) => Value::VLam(Box::new(ClonableClosure::ClonableClosure2(
[INFO] [stdout] 342 +             ClonableClosure2::new(d, e, |v, mut d, t| {
[INFO] [stdout] 343 +                 d.push(v);
[INFO] [stdout] 344 +                 ceval(t, d)
[INFO] [stdout] 345 +             }),
[INFO] [stdout] 346 ~         ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:414:21
[INFO] [stdout]     |
[INFO] [stdout] 414 |                     box Value::VNat,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 414 |                     Box::new(Value::VNat),
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:415:21
[INFO] [stdout]     |
[INFO] [stdout] 415 |                     box ClonableClosure::ClonableClosure0(ClonableClosure0::new(|_| Value::VStar)),
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 415 |                     Box::new(ClonableClosure::ClonableClosure0(ClonableClosure0::new(|_| Value::VStar))),
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:425:21
[INFO] [stdout]     |
[INFO] [stdout] 425 |                     box Value::VNat,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 425 |                     Box::new(Value::VNat),
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:430:33
[INFO] [stdout]     |
[INFO] [stdout] 430 | ...                   box vapp(v.clone(), l.clone()),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 430 |                                 Box::new(vapp(v.clone(), l.clone())),
[INFO] [stdout]     |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:434:71
[INFO] [stdout]     |
[INFO] [stdout] 434 | ...                   |_, v1, v2| vapp(v1, Value::VSucc(box v2)),
[INFO] [stdout]     |                                                         ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 434 |                                     |_, v1, v2| vapp(v1, Value::VSucc(Box::new(v2))),
[INFO] [stdout]     |                                                                       ~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:431:33
[INFO] [stdout]     |
[INFO] [stdout] 431 | / ...                   box ClonableClosure::ClonableClosureV2(ClonableClosureV2::new(
[INFO] [stdout] 432 | | ...                       v,
[INFO] [stdout] 433 | | ...                       l,
[INFO] [stdout] 434 | | ...                       |_, v1, v2| vapp(v1, Value::VSucc(box v2)),
[INFO] [stdout] 435 | | ...                   )),
[INFO] [stdout]     | |________________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 431 ~                                 Box::new(ClonableClosure::ClonableClosureV2(ClonableClosureV2::new(
[INFO] [stdout] 432 +                                     v,
[INFO] [stdout] 433 +                                     l,
[INFO] [stdout] 434 +                                     |_, v1, v2| vapp(v1, Value::VSucc(box v2)),
[INFO] [stdout] 435 ~                                 ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:426:21
[INFO] [stdout]     |
[INFO] [stdout] 426 | /                     box ClonableClosure::ClonableClosureV1(ClonableClosureV1::new(
[INFO] [stdout] 427 | |                         m_val.clone(),
[INFO] [stdout] 428 | |                         |l, v| {
[INFO] [stdout] 429 | |                             Value::VPi(
[INFO] [stdout] ...   |
[INFO] [stdout] 437 | |                         },
[INFO] [stdout] 438 | |                     )),
[INFO] [stdout]     | |______________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 426 ~                     Box::new(ClonableClosure::ClonableClosureV1(ClonableClosureV1::new(
[INFO] [stdout] 427 +                         m_val.clone(),
[INFO] [stdout] 428 +                         |l, v| {
[INFO] [stdout] 429 +                             Value::VPi(
[INFO] [stdout] 430 +                                 box vapp(v.clone(), l.clone()),
[INFO] [stdout] 431 +                                 box ClonableClosure::ClonableClosureV2(ClonableClosureV2::new(
[INFO] [stdout] 432 +                                     v,
[INFO] [stdout] 433 +                                     l,
[INFO] [stdout] 434 +                                     |_, v1, v2| vapp(v1, Value::VSucc(box v2)),
[INFO] [stdout] 435 +                                 )),
[INFO] [stdout] 436 +                             )
[INFO] [stdout] 437 +                         },
[INFO] [stdout] 438 ~                     ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:453:28
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Ok(Value::VVec(box a_val, box Value::VZero))
[INFO] [stdout]     |                            ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Ok(Value::VVec(Box::new(a_val), box Value::VZero))
[INFO] [stdout]     |                            ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:453:39
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Ok(Value::VVec(box a_val, box Value::VZero))
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 453 |             Ok(Value::VVec(box a_val, Box::new(Value::VZero)))
[INFO] [stdout]     |                                       ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:464:29
[INFO] [stdout]     |
[INFO] [stdout] 464 |                 Value::VVec(box a_val.clone(), box k_val.clone()),
[INFO] [stdout]     |                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 464 |                 Value::VVec(Box::new(a_val.clone()), box k_val.clone()),
[INFO] [stdout]     |                             ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:464:48
[INFO] [stdout]     |
[INFO] [stdout] 464 |                 Value::VVec(box a_val.clone(), box k_val.clone()),
[INFO] [stdout]     |                                                ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 464 |                 Value::VVec(box a_val.clone(), Box::new(k_val.clone())),
[INFO] [stdout]     |                                                ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:466:28
[INFO] [stdout]     |
[INFO] [stdout] 466 |             Ok(Value::VVec(box a_val, box Value::VSucc(box k_val)))
[INFO] [stdout]     |                            ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 466 |             Ok(Value::VVec(Box::new(a_val), box Value::VSucc(box k_val)))
[INFO] [stdout]     |                            ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:466:56
[INFO] [stdout]     |
[INFO] [stdout] 466 |             Ok(Value::VVec(box a_val, box Value::VSucc(box k_val)))
[INFO] [stdout]     |                                                        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 466 |             Ok(Value::VVec(box a_val, box Value::VSucc(Box::new(k_val))))
[INFO] [stdout]     |                                                        ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:466:39
[INFO] [stdout]     |
[INFO] [stdout] 466 |             Ok(Value::VVec(box a_val, box Value::VSucc(box k_val)))
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 466 |             Ok(Value::VVec(box a_val, Box::new(Value::VSucc(box k_val))))
[INFO] [stdout]     |                                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:476:21
[INFO] [stdout]     |
[INFO] [stdout] 476 |                     box Value::VNat,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 476 |                     Box::new(Value::VNat),
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:481:49
[INFO] [stdout]     |
[INFO] [stdout] 481 | ...                   box Value::VVec(box v, box k),
[INFO] [stdout]     |                                       ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 481 |                                 box Value::VVec(Box::new(v), box k),
[INFO] [stdout]     |                                                 ~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:481:56
[INFO] [stdout]     |
[INFO] [stdout] 481 | ...                   box Value::VVec(box v, box k),
[INFO] [stdout]     |                                              ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 481 |                                 box Value::VVec(box v, Box::new(k)),
[INFO] [stdout]     |                                                        ~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:481:33
[INFO] [stdout]     |
[INFO] [stdout] 481 | ...                   box Value::VVec(box v, box k),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 481 |                                 Box::new(Value::VVec(box v, box k)),
[INFO] [stdout]     |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:482:33
[INFO] [stdout]     |
[INFO] [stdout] 482 | / ...                   box ClonableClosure::ClonableClosure0(ClonableClosure0::new(
[INFO] [stdout] 483 | | ...                       |_| Value::VStar,
[INFO] [stdout] 484 | | ...                   )),
[INFO] [stdout]     | |________________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 482 ~                                 Box::new(ClonableClosure::ClonableClosure0(ClonableClosure0::new(
[INFO] [stdout] 483 +                                     |_| Value::VStar,
[INFO] [stdout] 484 ~                                 ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:477:21
[INFO] [stdout]     |
[INFO] [stdout] 477 | /                     box ClonableClosure::ClonableClosureV1(ClonableClosureV1::new(
[INFO] [stdout] 478 | |                         a_val.clone(),
[INFO] [stdout] 479 | |                         |k, v| {
[INFO] [stdout] 480 | |                             Value::VPi(
[INFO] [stdout] ...   |
[INFO] [stdout] 486 | |                         },
[INFO] [stdout] 487 | |                     )),
[INFO] [stdout]     | |______________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 477 ~                     Box::new(ClonableClosure::ClonableClosureV1(ClonableClosureV1::new(
[INFO] [stdout] 478 +                         a_val.clone(),
[INFO] [stdout] 479 +                         |k, v| {
[INFO] [stdout] 480 +                             Value::VPi(
[INFO] [stdout] 481 +                                 box Value::VVec(box v, box k),
[INFO] [stdout] 482 +                                 box ClonableClosure::ClonableClosure0(ClonableClosure0::new(
[INFO] [stdout] 483 +                                     |_| Value::VStar,
[INFO] [stdout] 484 +                                 )),
[INFO] [stdout] 485 +                             )
[INFO] [stdout] 486 +                         },
[INFO] [stdout] 487 ~                     ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:504:21
[INFO] [stdout]     |
[INFO] [stdout] 504 |                     box Value::VNat,
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 504 |                     Box::new(Value::VNat),
[INFO] [stdout]     |                     ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:510:33
[INFO] [stdout]     |
[INFO] [stdout] 510 | ...                   box v1.clone(),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 510 |                                 Box::new(v1.clone()),
[INFO] [stdout]     |                                 ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:517:61
[INFO] [stdout]     |
[INFO] [stdout] 517 | ...                   box Value::VVec(box v2.clone(), box v1.clone()),
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 517 |                                             box Value::VVec(Box::new(v2.clone()), box v1.clone()),
[INFO] [stdout]     |                                                             ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:517:77
[INFO] [stdout]     |
[INFO] [stdout] 517 | ...                   box Value::VVec(box v2.clone(), box v1.clone()),
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 517 |                                             box Value::VVec(box v2.clone(), Box::new(v1.clone())),
[INFO] [stdout]     |                                                                             ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:517:45
[INFO] [stdout]     |
[INFO] [stdout] 517 | ...                   box Value::VVec(box v2.clone(), box v1.clone()),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 517 |                                             Box::new(Value::VVec(box v2.clone(), box v1.clone())),
[INFO] [stdout]     |                                             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:526:61
[INFO] [stdout]     |
[INFO] [stdout] 526 | / ...                   box vec![v1.clone(), ys.clone()]
[INFO] [stdout] 527 | | ...                       .iter()
[INFO] [stdout] 528 | | ...                       .fold(v4.clone(), |v1, v2| {
[INFO] [stdout] 529 | | ...                           vapp(v1, v2.clone())
[INFO] [stdout] 530 | | ...                       }),
[INFO] [stdout]     | |____________________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 526 ~                                                             Box::new(vec![v1.clone(), ys.clone()]
[INFO] [stdout] 527 +                                                                 .iter()
[INFO] [stdout] 528 +                                                                 .fold(v4.clone(), |v1, v2| {
[INFO] [stdout] 529 +                                                                     vapp(v1, v2.clone())
[INFO] [stdout] 530 ~                                                                 })),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:531:61
[INFO] [stdout]     |
[INFO] [stdout] 531 | / ...                   box ClonableClosure::ClonableClosureV5(
[INFO] [stdout] 532 | | ...                       ClonableClosureV5::new(
[INFO] [stdout] 533 | | ...                           v1,
[INFO] [stdout] 534 | | ...                           v2,
[INFO] [stdout] ...   |
[INFO] [stdout] 553 | | ...                       ),
[INFO] [stdout] 554 | | ...                   ),
[INFO] [stdout]     | |_______________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 531 ~                                                             Box::new(ClonableClosure::ClonableClosureV5(
[INFO] [stdout] 532 +                                                                 ClonableClosureV5::new(
[INFO] [stdout] 533 +                                                                     v1,
[INFO] [stdout] 534 +                                                                     v2,
[INFO] [stdout] 535 +                                                                     v3,
[INFO] [stdout] 536 +                                                                     ys,
[INFO] [stdout] 537 +                                                                     v4,
[INFO] [stdout] 538 +                                                                     |_, v1, v2, v3, v4, v5| {
[INFO] [stdout] 539 +                                                                         vec![
[INFO] [stdout] 540 +                                                                             Value::VSucc(
[INFO] [stdout] 541 +                                                                                 box v1.clone(),
[INFO] [stdout] 542 +                                                                             ),
[INFO] [stdout] 543 +                                                                             Value::VCons(
[INFO] [stdout] 544 +                                                                                 box v2, box v1,
[INFO] [stdout] 545 +                                                                                 box v3, box v4,
[INFO] [stdout] 546 +                                                                             ),
[INFO] [stdout] 547 +                                                                         ]
[INFO] [stdout] 548 +                                                                         .iter()
[INFO] [stdout] 549 +                                                                         .fold(v5, |v1, v2| {
[INFO] [stdout] 550 +                                                                             vapp(v1, v2.clone())
[INFO] [stdout] 551 +                                                                         })
[INFO] [stdout] 552 +                                                                     },
[INFO] [stdout] 553 +                                                                 ),
[INFO] [stdout] 554 ~                                                             )),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:518:45
[INFO] [stdout]     |
[INFO] [stdout] 518 | / ...                   box ClonableClosure::ClonableClosureV4(
[INFO] [stdout] 519 | | ...                       ClonableClosureV4::new(
[INFO] [stdout] 520 | | ...                           v1,
[INFO] [stdout] 521 | | ...                           v2,
[INFO] [stdout] ...   |
[INFO] [stdout] 557 | | ...                       ),
[INFO] [stdout] 558 | | ...                   ),
[INFO] [stdout]     | |_______________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 518 ~                                             Box::new(ClonableClosure::ClonableClosureV4(
[INFO] [stdout] 519 +                                                 ClonableClosureV4::new(
[INFO] [stdout] 520 +                                                     v1,
[INFO] [stdout] 521 +                                                     v2,
[INFO] [stdout] 522 +                                                     y,
[INFO] [stdout] 523 +                                                     v3,
[INFO] [stdout] 524 +                                                     |ys, v1, v2, v3, v4| {
[INFO] [stdout] 525 +                                                         Value::VPi(
[INFO] [stdout] 526 +                                                             box vec![v1.clone(), ys.clone()]
[INFO] [stdout] 527 +                                                                 .iter()
[INFO] [stdout] 528 +                                                                 .fold(v4.clone(), |v1, v2| {
[INFO] [stdout] 529 +                                                                     vapp(v1, v2.clone())
[INFO] [stdout] 530 +                                                                 }),
[INFO] [stdout] 531 +                                                             box ClonableClosure::ClonableClosureV5(
[INFO] [stdout] 532 +                                                                 ClonableClosureV5::new(
[INFO] [stdout] 533 +                                                                     v1,
[INFO] [stdout] 534 +                                                                     v2,
[INFO] [stdout] 535 +                                                                     v3,
[INFO] [stdout] 536 +                                                                     ys,
[INFO] [stdout] 537 +                                                                     v4,
[INFO] [stdout] 538 +                                                                     |_, v1, v2, v3, v4, v5| {
[INFO] [stdout] 539 +                                                                         vec![
[INFO] [stdout] 540 +                                                                             Value::VSucc(
[INFO] [stdout] 541 +                                                                                 box v1.clone(),
[INFO] [stdout] 542 +                                                                             ),
[INFO] [stdout] 543 +                                                                             Value::VCons(
[INFO] [stdout] 544 +                                                                                 box v2, box v1,
[INFO] [stdout] 545 +                                                                                 box v3, box v4,
[INFO] [stdout] 546 +                                                                             ),
[INFO] [stdout] 547 +                                                                         ]
[INFO] [stdout] 548 +                                                                         .iter()
[INFO] [stdout] 549 +                                                                         .fold(v5, |v1, v2| {
[INFO] [stdout] 550 +                                                                             vapp(v1, v2.clone())
[INFO] [stdout] 551 +                                                                         })
[INFO] [stdout] 552 +                                                                     },
[INFO] [stdout] 553 +                                                                 ),
[INFO] [stdout] 554 +                                                             ),
[INFO] [stdout] 555 +                                                         )
[INFO] [stdout] 556 +                                                     },
[INFO] [stdout] 557 +                                                 ),
[INFO] [stdout] 558 ~                                             )),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:511:33
[INFO] [stdout]     |
[INFO] [stdout] 511 | / ...                   box ClonableClosure::ClonableClosureV3(ClonableClosureV3::new(
[INFO] [stdout] 512 | | ...                       l,
[INFO] [stdout] 513 | | ...                       v1,
[INFO] [stdout] 514 | | ...                       v2,
[INFO] [stdout] ...   |
[INFO] [stdout] 560 | | ...                       },
[INFO] [stdout] 561 | | ...                   )),
[INFO] [stdout]     | |________________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 511 ~                                 Box::new(ClonableClosure::ClonableClosureV3(ClonableClosureV3::new(
[INFO] [stdout] 512 +                                     l,
[INFO] [stdout] 513 +                                     v1,
[INFO] [stdout] 514 +                                     v2,
[INFO] [stdout] 515 +                                     |y, v1, v2, v3| {
[INFO] [stdout] 516 +                                         Value::VPi(
[INFO] [stdout] 517 +                                             box Value::VVec(box v2.clone(), box v1.clone()),
[INFO] [stdout] 518 +                                             box ClonableClosure::ClonableClosureV4(
[INFO] [stdout] 519 +                                                 ClonableClosureV4::new(
[INFO] [stdout] 520 +                                                     v1,
[INFO] [stdout] 521 +                                                     v2,
[INFO] [stdout] 522 +                                                     y,
[INFO] [stdout] 523 +                                                     v3,
[INFO] [stdout] 524 +                                                     |ys, v1, v2, v3, v4| {
[INFO] [stdout] 525 +                                                         Value::VPi(
[INFO] [stdout] 526 +                                                             box vec![v1.clone(), ys.clone()]
[INFO] [stdout] 527 +                                                                 .iter()
[INFO] [stdout] 528 +                                                                 .fold(v4.clone(), |v1, v2| {
[INFO] [stdout] 529 +                                                                     vapp(v1, v2.clone())
[INFO] [stdout] 530 +                                                                 }),
[INFO] [stdout] 531 +                                                             box ClonableClosure::ClonableClosureV5(
[INFO] [stdout] 532 +                                                                 ClonableClosureV5::new(
[INFO] [stdout] 533 +                                                                     v1,
[INFO] [stdout] 534 +                                                                     v2,
[INFO] [stdout] 535 +                                                                     v3,
[INFO] [stdout] 536 +                                                                     ys,
[INFO] [stdout] 537 +                                                                     v4,
[INFO] [stdout] 538 +                                                                     |_, v1, v2, v3, v4, v5| {
[INFO] [stdout] 539 +                                                                         vec![
[INFO] [stdout] 540 +                                                                             Value::VSucc(
[INFO] [stdout] 541 +                                                                                 box v1.clone(),
[INFO] [stdout] 542 +                                                                             ),
[INFO] [stdout] 543 +                                                                             Value::VCons(
[INFO] [stdout] 544 +                                                                                 box v2, box v1,
[INFO] [stdout] 545 +                                                                                 box v3, box v4,
[INFO] [stdout] 546 +                                                                             ),
[INFO] [stdout] 547 +                                                                         ]
[INFO] [stdout] 548 +                                                                         .iter()
[INFO] [stdout] 549 +                                                                         .fold(v5, |v1, v2| {
[INFO] [stdout] 550 +                                                                             vapp(v1, v2.clone())
[INFO] [stdout] 551 +                                                                         })
[INFO] [stdout] 552 +                                                                     },
[INFO] [stdout] 553 +                                                                 ),
[INFO] [stdout] 554 +                                                             ),
[INFO] [stdout] 555 +                                                         )
[INFO] [stdout] 556 +                                                     },
[INFO] [stdout] 557 +                                                 ),
[INFO] [stdout] 558 +                                             ),
[INFO] [stdout] 559 +                                         )
[INFO] [stdout] 560 +                                     },
[INFO] [stdout] 561 ~                                 ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:505:21
[INFO] [stdout]     |
[INFO] [stdout] 505 | /                     box ClonableClosure::ClonableClosureV2(ClonableClosureV2::new(
[INFO] [stdout] 506 | |                         a_val.clone(),
[INFO] [stdout] 507 | |                         m_val.clone(),
[INFO] [stdout] 508 | |                         |l, v1, v2| {
[INFO] [stdout] ...   |
[INFO] [stdout] 563 | |                         },
[INFO] [stdout] 564 | |                     )),
[INFO] [stdout]     | |______________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 505 ~                     Box::new(ClonableClosure::ClonableClosureV2(ClonableClosureV2::new(
[INFO] [stdout] 506 +                         a_val.clone(),
[INFO] [stdout] 507 +                         m_val.clone(),
[INFO] [stdout] 508 +                         |l, v1, v2| {
[INFO] [stdout] 509 +                             Value::VPi(
[INFO] [stdout] 510 +                                 box v1.clone(),
[INFO] [stdout] 511 +                                 box ClonableClosure::ClonableClosureV3(ClonableClosureV3::new(
[INFO] [stdout] 512 +                                     l,
[INFO] [stdout] 513 +                                     v1,
[INFO] [stdout] 514 +                                     v2,
[INFO] [stdout] 515 +                                     |y, v1, v2, v3| {
[INFO] [stdout] 516 +                                         Value::VPi(
[INFO] [stdout] 517 +                                             box Value::VVec(box v2.clone(), box v1.clone()),
[INFO] [stdout] 518 +                                             box ClonableClosure::ClonableClosureV4(
[INFO] [stdout] 519 +                                                 ClonableClosureV4::new(
[INFO] [stdout] 520 +                                                     v1,
[INFO] [stdout] 521 +                                                     v2,
[INFO] [stdout] 522 +                                                     y,
[INFO] [stdout] 523 +                                                     v3,
[INFO] [stdout] 524 +                                                     |ys, v1, v2, v3, v4| {
[INFO] [stdout] 525 +                                                         Value::VPi(
[INFO] [stdout] 526 +                                                             box vec![v1.clone(), ys.clone()]
[INFO] [stdout] 527 +                                                                 .iter()
[INFO] [stdout] 528 +                                                                 .fold(v4.clone(), |v1, v2| {
[INFO] [stdout] 529 +                                                                     vapp(v1, v2.clone())
[INFO] [stdout] 530 +                                                                 }),
[INFO] [stdout] 531 +                                                             box ClonableClosure::ClonableClosureV5(
[INFO] [stdout] 532 +                                                                 ClonableClosureV5::new(
[INFO] [stdout] 533 +                                                                     v1,
[INFO] [stdout] 534 +                                                                     v2,
[INFO] [stdout] 535 +                                                                     v3,
[INFO] [stdout] 536 +                                                                     ys,
[INFO] [stdout] 537 +                                                                     v4,
[INFO] [stdout] 538 +                                                                     |_, v1, v2, v3, v4, v5| {
[INFO] [stdout] 539 +                                                                         vec![
[INFO] [stdout] 540 +                                                                             Value::VSucc(
[INFO] [stdout] 541 +                                                                                 box v1.clone(),
[INFO] [stdout] 542 +                                                                             ),
[INFO] [stdout] 543 +                                                                             Value::VCons(
[INFO] [stdout] 544 +                                                                                 box v2, box v1,
[INFO] [stdout] 545 +                                                                                 box v3, box v4,
[INFO] [stdout] 546 +                                                                             ),
[INFO] [stdout] 547 +                                                                         ]
[INFO] [stdout] 548 +                                                                         .iter()
[INFO] [stdout] 549 +                                                                         .fold(v5, |v1, v2| {
[INFO] [stdout] 550 +                                                                             vapp(v1, v2.clone())
[INFO] [stdout] 551 +                                                                         })
[INFO] [stdout] 552 +                                                                     },
[INFO] [stdout] 553 +                                                                 ),
[INFO] [stdout] 554 +                                                             ),
[INFO] [stdout] 555 +                                                         )
[INFO] [stdout] 556 +                                                     },
[INFO] [stdout] 557 +                                                 ),
[INFO] [stdout] 558 +                                             ),
[INFO] [stdout] 559 +                                         )
[INFO] [stdout] 560 +                                     },
[INFO] [stdout] 561 +                                 )),
[INFO] [stdout] 562 +                             )
[INFO] [stdout] 563 +                         },
[INFO] [stdout] 564 ~                     ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:573:29
[INFO] [stdout]     |
[INFO] [stdout] 573 |                 Value::VVec(box a_val, box k_val.clone()),
[INFO] [stdout]     |                             ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 573 |                 Value::VVec(Box::new(a_val), box k_val.clone()),
[INFO] [stdout]     |                             ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:573:40
[INFO] [stdout]     |
[INFO] [stdout] 573 |                 Value::VVec(box a_val, box k_val.clone()),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 573 |                 Value::VVec(box a_val, Box::new(k_val.clone())),
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:612:48
[INFO] [stdout]     |
[INFO] [stdout] 612 |         ITerm::Ann(box e, box t) => ITerm::Ann(box csubst(i, r.clone(), e), box csubst(i, r, t)),
[INFO] [stdout]     |                                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 612 |         ITerm::Ann(box e, box t) => ITerm::Ann(Box::new(csubst(i, r.clone(), e)), box csubst(i, r, t)),
[INFO] [stdout]     |                                                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:612:77
[INFO] [stdout]     |
[INFO] [stdout] 612 |         ITerm::Ann(box e, box t) => ITerm::Ann(box csubst(i, r.clone(), e), box csubst(i, r, t)),
[INFO] [stdout]     |                                                                             ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 612 |         ITerm::Ann(box e, box t) => ITerm::Ann(box csubst(i, r.clone(), e), Box::new(csubst(i, r, t))),
[INFO] [stdout]     |                                                                             ~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:615:23
[INFO] [stdout]     |
[INFO] [stdout] 615 |             ITerm::Pi(box csubst(i, r.clone(), t1), box csubst(i + 1, r, t2))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 615 |             ITerm::Pi(Box::new(csubst(i, r.clone(), t1)), box csubst(i + 1, r, t2))
[INFO] [stdout]     |                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:615:53
[INFO] [stdout]     |
[INFO] [stdout] 615 |             ITerm::Pi(box csubst(i, r.clone(), t1), box csubst(i + 1, r, t2))
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 615 |             ITerm::Pi(box csubst(i, r.clone(), t1), Box::new(csubst(i + 1, r, t2)))
[INFO] [stdout]     |                                                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:625:48
[INFO] [stdout]     |
[INFO] [stdout] 625 |         ITerm::At(box e1, box e2) => ITerm::At(box isubst(i, r.clone(), e1), box csubst(i, r, e2)),
[INFO] [stdout]     |                                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 625 |         ITerm::At(box e1, box e2) => ITerm::At(Box::new(isubst(i, r.clone(), e1)), box csubst(i, r, e2)),
[INFO] [stdout]     |                                                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:625:78
[INFO] [stdout]     |
[INFO] [stdout] 625 |         ITerm::At(box e1, box e2) => ITerm::At(box isubst(i, r.clone(), e1), box csubst(i, r, e2)),
[INFO] [stdout]     |                                                                              ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 625 |         ITerm::At(box e1, box e2) => ITerm::At(box isubst(i, r.clone(), e1), Box::new(csubst(i, r, e2))),
[INFO] [stdout]     |                                                                              ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:628:43
[INFO] [stdout]     |
[INFO] [stdout] 628 |         ITerm::Succ(box n) => ITerm::Succ(box csubst(i, r, n)),
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 628 |         ITerm::Succ(box n) => ITerm::Succ(Box::new(csubst(i, r, n))),
[INFO] [stdout]     |                                           ~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:630:13
[INFO] [stdout]     |
[INFO] [stdout] 630 |             box csubst(i, r.clone(), m),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 630 |             Box::new(csubst(i, r.clone(), m)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:631:13
[INFO] [stdout]     |
[INFO] [stdout] 631 |             box csubst(i, r.clone(), mz),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 631 |             Box::new(csubst(i, r.clone(), mz)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:632:13
[INFO] [stdout]     |
[INFO] [stdout] 632 |             box csubst(i, r.clone(), ms),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 632 |             Box::new(csubst(i, r.clone(), ms)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:633:13
[INFO] [stdout]     |
[INFO] [stdout] 633 |             box csubst(i, r, n),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 633 |             Box::new(csubst(i, r, n)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:635:48
[INFO] [stdout]     |
[INFO] [stdout] 635 |         ITerm::Vec(box a, box n) => ITerm::Vec(box csubst(i, r.clone(), a), box csubst(i, r, n)),
[INFO] [stdout]     |                                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 635 |         ITerm::Vec(box a, box n) => ITerm::Vec(Box::new(csubst(i, r.clone(), a)), box csubst(i, r, n)),
[INFO] [stdout]     |                                                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:635:77
[INFO] [stdout]     |
[INFO] [stdout] 635 |         ITerm::Vec(box a, box n) => ITerm::Vec(box csubst(i, r.clone(), a), box csubst(i, r, n)),
[INFO] [stdout]     |                                                                             ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 635 |         ITerm::Vec(box a, box n) => ITerm::Vec(box csubst(i, r.clone(), a), Box::new(csubst(i, r, n))),
[INFO] [stdout]     |                                                                             ~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:636:41
[INFO] [stdout]     |
[INFO] [stdout] 636 |         ITerm::Nil(box a) => ITerm::Nil(box csubst(i, r, a)),
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 636 |         ITerm::Nil(box a) => ITerm::Nil(Box::new(csubst(i, r, a))),
[INFO] [stdout]     |                                         ~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:638:13
[INFO] [stdout]     |
[INFO] [stdout] 638 |             box csubst(i, r.clone(), a),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 638 |             Box::new(csubst(i, r.clone(), a)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:639:13
[INFO] [stdout]     |
[INFO] [stdout] 639 |             box csubst(i, r.clone(), n),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 639 |             Box::new(csubst(i, r.clone(), n)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:640:13
[INFO] [stdout]     |
[INFO] [stdout] 640 |             box csubst(i, r.clone(), x),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 640 |             Box::new(csubst(i, r.clone(), x)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:641:13
[INFO] [stdout]     |
[INFO] [stdout] 641 |             box csubst(i, r, xs),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 641 |             Box::new(csubst(i, r, xs)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:644:13
[INFO] [stdout]     |
[INFO] [stdout] 644 |             box csubst(i, r.clone(), a),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 644 |             Box::new(csubst(i, r.clone(), a)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:645:13
[INFO] [stdout]     |
[INFO] [stdout] 645 |             box csubst(i, r.clone(), m),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 645 |             Box::new(csubst(i, r.clone(), m)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:646:13
[INFO] [stdout]     |
[INFO] [stdout] 646 |             box csubst(i, r.clone(), mn),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 646 |             Box::new(csubst(i, r.clone(), mn)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:647:13
[INFO] [stdout]     |
[INFO] [stdout] 647 |             box csubst(i, r.clone(), mc),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 647 |             Box::new(csubst(i, r.clone(), mc)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:648:13
[INFO] [stdout]     |
[INFO] [stdout] 648 |             box csubst(i, r.clone(), n),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 648 |             Box::new(csubst(i, r.clone(), n)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:649:13
[INFO] [stdout]     |
[INFO] [stdout] 649 |             box csubst(i, r, xs),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 649 |             Box::new(csubst(i, r, xs)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:656:41
[INFO] [stdout]     |
[INFO] [stdout] 656 |         CTerm::Inf(box e) => CTerm::Inf(box isubst(i, r, e.clone())),
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 656 |         CTerm::Inf(box e) => CTerm::Inf(Box::new(isubst(i, r, e.clone()))),
[INFO] [stdout]     |                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:657:41
[INFO] [stdout]     |
[INFO] [stdout] 657 |         CTerm::Lam(box e) => CTerm::Lam(box csubst(i + 1, r, term)),
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 657 |         CTerm::Lam(box e) => CTerm::Lam(Box::new(csubst(i + 1, r, term))),
[INFO] [stdout]     |                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:667:42
[INFO] [stdout]     |
[INFO] [stdout] 667 |         Value::VLam(box f) => CTerm::Lam(box quote(i + 1, f.apply(vfree(Name::Quote(i))))),
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 667 |         Value::VLam(box f) => CTerm::Lam(Box::new(quote(i + 1, f.apply(vfree(Name::Quote(i)))))),
[INFO] [stdout]     |                                          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:668:36
[INFO] [stdout]     |
[INFO] [stdout] 668 |         Value::VStar => CTerm::Inf(box ITerm::Star),
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 668 |         Value::VStar => CTerm::Inf(Box::new(ITerm::Star)),
[INFO] [stdout]     |                                    ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:670:13
[INFO] [stdout]     |
[INFO] [stdout] 670 |             box quote(i, v),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 670 |             Box::new(quote(i, v)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:671:13
[INFO] [stdout]     |
[INFO] [stdout] 671 |             box quote(i + 1, f.apply(vfree(Name::Quote(i)))),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 671 |             Box::new(quote(i + 1, f.apply(vfree(Name::Quote(i))))),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:669:48
[INFO] [stdout]     |
[INFO] [stdout] 669 |           Value::VPi(box v, box f) => CTerm::Inf(box ITerm::Pi(
[INFO] [stdout]     |  ________________________________________________^
[INFO] [stdout] 670 | |             box quote(i, v),
[INFO] [stdout] 671 | |             box quote(i + 1, f.apply(vfree(Name::Quote(i)))),
[INFO] [stdout] 672 | |         )),
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 669 ~         Value::VPi(box v, box f) => CTerm::Inf(Box::new(ITerm::Pi(
[INFO] [stdout] 670 +             box quote(i, v),
[INFO] [stdout] 671 +             box quote(i + 1, f.apply(vfree(Name::Quote(i)))),
[INFO] [stdout] 672 ~         ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:673:46
[INFO] [stdout]     |
[INFO] [stdout] 673 |         Value::VNeutral(box n) => CTerm::Inf(box neutral_quote(i, n)),
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 673 |         Value::VNeutral(box n) => CTerm::Inf(Box::new(neutral_quote(i, n))),
[INFO] [stdout]     |                                              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:674:35
[INFO] [stdout]     |
[INFO] [stdout] 674 |         Value::VNat => CTerm::Inf(box ITerm::Nat),
[INFO] [stdout]     |                                   ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 674 |         Value::VNat => CTerm::Inf(Box::new(ITerm::Nat)),
[INFO] [stdout]     |                                   ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:675:36
[INFO] [stdout]     |
[INFO] [stdout] 675 |         Value::VZero => CTerm::Inf(box ITerm::Zero),
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 675 |         Value::VZero => CTerm::Inf(Box::new(ITerm::Zero)),
[INFO] [stdout]     |                                    ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:676:59
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Value::VSucc(box n) => CTerm::Inf(box ITerm::Succ(box quote(i, n))),
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Value::VSucc(box n) => CTerm::Inf(box ITerm::Succ(Box::new(quote(i, n)))),
[INFO] [stdout]     |                                                           ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:676:43
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Value::VSucc(box n) => CTerm::Inf(box ITerm::Succ(box quote(i, n))),
[INFO] [stdout]     |                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 676 |         Value::VSucc(box n) => CTerm::Inf(Box::new(ITerm::Succ(box quote(i, n)))),
[INFO] [stdout]     |                                           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:677:57
[INFO] [stdout]     |
[INFO] [stdout] 677 |         Value::VNil(box a) => CTerm::Inf(box ITerm::Nil(box quote(i, a))),
[INFO] [stdout]     |                                                         ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 677 |         Value::VNil(box a) => CTerm::Inf(box ITerm::Nil(Box::new(quote(i, a)))),
[INFO] [stdout]     |                                                         ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:677:42
[INFO] [stdout]     |
[INFO] [stdout] 677 |         Value::VNil(box a) => CTerm::Inf(box ITerm::Nil(box quote(i, a))),
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 677 |         Value::VNil(box a) => CTerm::Inf(Box::new(ITerm::Nil(box quote(i, a)))),
[INFO] [stdout]     |                                          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:679:13
[INFO] [stdout]     |
[INFO] [stdout] 679 |             box quote(i, a),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 679 |             Box::new(quote(i, a)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:680:13
[INFO] [stdout]     |
[INFO] [stdout] 680 |             box quote(i, n),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 680 |             Box::new(quote(i, n)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:681:13
[INFO] [stdout]     |
[INFO] [stdout] 681 |             box quote(i, x),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 681 |             Box::new(quote(i, x)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:682:13
[INFO] [stdout]     |
[INFO] [stdout] 682 |             box quote(i, xs),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 682 |             Box::new(quote(i, xs)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:678:65
[INFO] [stdout]     |
[INFO] [stdout] 678 |           Value::VCons(box a, box n, box x, box xs) => CTerm::Inf(box ITerm::Cons(
[INFO] [stdout]     |  _________________________________________________________________^
[INFO] [stdout] 679 | |             box quote(i, a),
[INFO] [stdout] 680 | |             box quote(i, n),
[INFO] [stdout] 681 | |             box quote(i, x),
[INFO] [stdout] 682 | |             box quote(i, xs),
[INFO] [stdout] 683 | |         )),
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 678 ~         Value::VCons(box a, box n, box x, box xs) => CTerm::Inf(Box::new(ITerm::Cons(
[INFO] [stdout] 679 +             box quote(i, a),
[INFO] [stdout] 680 +             box quote(i, n),
[INFO] [stdout] 681 +             box quote(i, x),
[INFO] [stdout] 682 +             box quote(i, xs),
[INFO] [stdout] 683 ~         ))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:684:64
[INFO] [stdout]     |
[INFO] [stdout] 684 |         Value::VVec(box a, box n) => CTerm::Inf(box ITerm::Vec(box quote(i, a), box quote(i, n))),
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 684 |         Value::VVec(box a, box n) => CTerm::Inf(box ITerm::Vec(Box::new(quote(i, a)), box quote(i, n))),
[INFO] [stdout]     |                                                                ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:684:81
[INFO] [stdout]     |
[INFO] [stdout] 684 |         Value::VVec(box a, box n) => CTerm::Inf(box ITerm::Vec(box quote(i, a), box quote(i, n))),
[INFO] [stdout]     |                                                                                 ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 684 |         Value::VVec(box a, box n) => CTerm::Inf(box ITerm::Vec(box quote(i, a), Box::new(quote(i, n)))),
[INFO] [stdout]     |                                                                                 ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:684:49
[INFO] [stdout]     |
[INFO] [stdout] 684 |         Value::VVec(box a, box n) => CTerm::Inf(box ITerm::Vec(box quote(i, a), box quote(i, n))),
[INFO] [stdout]     |                                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 684 |         Value::VVec(box a, box n) => CTerm::Inf(Box::new(ITerm::Vec(box quote(i, a), box quote(i, n)))),
[INFO] [stdout]     |                                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:691:46
[INFO] [stdout]     |
[INFO] [stdout] 691 |         Neutral::NApp(box n, v) => ITerm::At(box neutral_quote(i, n), box quote(i, v)),
[INFO] [stdout]     |                                              ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 691 |         Neutral::NApp(box n, v) => ITerm::At(Box::new(neutral_quote(i, n)), box quote(i, v)),
[INFO] [stdout]     |                                              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:691:71
[INFO] [stdout]     |
[INFO] [stdout] 691 |         Neutral::NApp(box n, v) => ITerm::At(box neutral_quote(i, n), box quote(i, v)),
[INFO] [stdout]     |                                                                       ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 691 |         Neutral::NApp(box n, v) => ITerm::At(box neutral_quote(i, n), Box::new(quote(i, v))),
[INFO] [stdout]     |                                                                       ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:693:13
[INFO] [stdout]     |
[INFO] [stdout] 693 |             box quote(i, m),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 693 |             Box::new(quote(i, m)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:694:13
[INFO] [stdout]     |
[INFO] [stdout] 694 |             box quote(i, z),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 694 |             Box::new(quote(i, z)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:695:13
[INFO] [stdout]     |
[INFO] [stdout] 695 |             box quote(i, s),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 695 |             Box::new(quote(i, s)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:696:28
[INFO] [stdout]     |
[INFO] [stdout] 696 |             box CTerm::Inf(box neutral_quote(i, n)),
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 696 |             box CTerm::Inf(Box::new(neutral_quote(i, n))),
[INFO] [stdout]     |                            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:696:13
[INFO] [stdout]     |
[INFO] [stdout] 696 |             box CTerm::Inf(box neutral_quote(i, n)),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 696 |             Box::new(CTerm::Inf(box neutral_quote(i, n))),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:699:13
[INFO] [stdout]     |
[INFO] [stdout] 699 |             box quote(i, a),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 699 |             Box::new(quote(i, a)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:700:13
[INFO] [stdout]     |
[INFO] [stdout] 700 |             box quote(i, m),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 700 |             Box::new(quote(i, m)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:701:13
[INFO] [stdout]     |
[INFO] [stdout] 701 |             box quote(i, mn),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 701 |             Box::new(quote(i, mn)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:702:13
[INFO] [stdout]     |
[INFO] [stdout] 702 |             box quote(i, mc),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 702 |             Box::new(quote(i, mc)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:703:13
[INFO] [stdout]     |
[INFO] [stdout] 703 |             box quote(i, n),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 703 |             Box::new(quote(i, n)),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:704:28
[INFO] [stdout]     |
[INFO] [stdout] 704 |             box CTerm::Inf(box neutral_quote(i, xs)),
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 704 |             box CTerm::Inf(Box::new(neutral_quote(i, xs))),
[INFO] [stdout]     |                            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:704:13
[INFO] [stdout]     |
[INFO] [stdout] 704 |             box CTerm::Inf(box neutral_quote(i, xs)),
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 704 |             Box::new(CTerm::Inf(box neutral_quote(i, xs))),
[INFO] [stdout]     |             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:26
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_patterns, box_syntax)]
[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/main.rs:495:48
[INFO] [stdout]     |
[INFO] [stdout] 495 |                 vec![Value::VZero, Value::VNil(box a_val.clone())]
[INFO] [stdout]     |                                                ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 495 |                 vec![Value::VZero, Value::VNil(Box::new(a_val.clone()))]
[INFO] [stdout]     |                                                ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:541:81
[INFO] [stdout]     |
[INFO] [stdout] 541 | ...                   box v1.clone(),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 541 |                                                                                 Box::new(v1.clone()),
[INFO] [stdout]     |                                                                                 ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:544:81
[INFO] [stdout]     |
[INFO] [stdout] 544 | ...                   box v2, box v1,
[INFO] [stdout]     |                       ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 544 |                                                                                 Box::new(v2), box v1,
[INFO] [stdout]     |                                                                                 ~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:544:89
[INFO] [stdout]     |
[INFO] [stdout] 544 | ...                   box v2, box v1,
[INFO] [stdout]     |                               ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 544 |                                                                                 box v2, Box::new(v1),
[INFO] [stdout]     |                                                                                         ~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:545:81
[INFO] [stdout]     |
[INFO] [stdout] 545 | ...                   box v3, box v4,
[INFO] [stdout]     |                       ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 545 |                                                                                 Box::new(v3), box v4,
[INFO] [stdout]     |                                                                                 ~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/main.rs:545:89
[INFO] [stdout]     |
[INFO] [stdout] 545 | ...                   box v3, box v4,
[INFO] [stdout]     |                               ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 545 |                                                                                 box v3, Box::new(v4),
[INFO] [stdout]     |                                                                                         ~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/main.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_patterns, box_syntax)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 115 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0554, E0557.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0554`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `lambdapi` (bin "lambdapi") due to 116 previous errors
[INFO] running `Command { std: "docker" "inspect" "47e0886db82adf9ff173574d82f05d4d52e984641354bce203ebaf71d662dd48", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "47e0886db82adf9ff173574d82f05d4d52e984641354bce203ebaf71d662dd48", kill_on_drop: false }`
[INFO] [stdout] 47e0886db82adf9ff173574d82f05d4d52e984641354bce203ebaf71d662dd48
