[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] checking Catminusminus/lambdapi against try#f77b5bc6c7c84df104f86b0dd01d9490e3923fa8 for pr-147834
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FCatminusminus%2Flambdapi" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[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-0-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/Catminusminus/lambdapi on toolchain f77b5bc6c7c84df104f86b0dd01d9490e3923fa8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f77b5bc6c7c84df104f86b0dd01d9490e3923fa8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+f77b5bc6c7c84df104f86b0dd01d9490e3923fa8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+f77b5bc6c7c84df104f86b0dd01d9490e3923fa8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 630205dce4dbcfbd2a6e316a16d07e4c5f778dbe9a93e22d3143bb53f800789e
[INFO] running `Command { std: "docker" "start" "-a" "630205dce4dbcfbd2a6e316a16d07e4c5f778dbe9a93e22d3143bb53f800789e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "630205dce4dbcfbd2a6e316a16d07e4c5f778dbe9a93e22d3143bb53f800789e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "630205dce4dbcfbd2a6e316a16d07e4c5f778dbe9a93e22d3143bb53f800789e", kill_on_drop: false }`
[INFO] [stdout] 630205dce4dbcfbd2a6e316a16d07e4c5f778dbe9a93e22d3143bb53f800789e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+f77b5bc6c7c84df104f86b0dd01d9490e3923fa8" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] dea1a7d4759cb5ac2220f3499fdab3f22a0065fc957a0a9f9818819a1d755893
[INFO] running `Command { std: "docker" "start" "-a" "dea1a7d4759cb5ac2220f3499fdab3f22a0065fc957a0a9f9818819a1d755893", kill_on_drop: false }`
[INFO] [stderr]     Checking 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 Neutral::NFree(n))
[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: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 Neutral::NFree(n))
[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 ceval(t1, d.clone()),
[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] ...
[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 ceval(k, d)),
[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] ...
[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 ceval(a, d.clone()), box ceval(n, d)),
[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 ceval(n, d)),
[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: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 ceval(t1, d.clone()),
[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: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 ceval(a, d)),
[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 ceval(a, d.clone()),
[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 ceval(n, d.clone()),
[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 ceval(x, d.clone()),
[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 ceval(xs, d),
[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] ...
[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 Neutral::NApp(n, v2)),
[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] ...
[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 Value::VNat,
[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 ClonableClosure::ClonableClosure0(ClonableClosure0::new(|_| Value::VStar)),
[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 Value::VNat,
[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 vapp(v.clone(), l.clone()),
[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 v2)),
[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] ...
[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 a_val, box Value::VZero))
[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 Value::VZero))
[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 a_val.clone(), box k_val.clone()),
[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 k_val.clone()),
[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 a_val, box Value::VSucc(box k_val)))
[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 k_val)))
[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 Value::VSucc(box k_val)))
[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 Value::VNat,
[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 v, box k),
[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 k),
[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 Value::VVec(box v, box k),
[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] ...
[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 Value::VNat,
[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 v1.clone(),
[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 v2.clone(), box v1.clone()),
[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 v1.clone()),
[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 Value::VVec(box v2.clone(), box v1.clone()),
[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] ...
[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] ...
[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] ...
[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] ...
[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 a_val, box k_val.clone()),
[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 k_val.clone()),
[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 csubst(i, r.clone(), e), box csubst(i, r, t)),
[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 csubst(i, r, t)),
[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 csubst(i, r.clone(), t1), box csubst(i + 1, r, t2))
[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 csubst(i + 1, r, t2))
[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 isubst(i, r.clone(), e1), box csubst(i, r, e2)),
[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 csubst(i, r, e2)),
[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 csubst(i, r, n)),
[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 csubst(i, r.clone(), m),
[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 csubst(i, r.clone(), mz),
[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 csubst(i, r.clone(), ms),
[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 csubst(i, r, n),
[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 csubst(i, r.clone(), a), box csubst(i, r, n)),
[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 csubst(i, r, n)),
[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 csubst(i, r, a)),
[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 csubst(i, r.clone(), a),
[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 csubst(i, r.clone(), n),
[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 csubst(i, r.clone(), x),
[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 csubst(i, r, xs),
[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 csubst(i, r.clone(), a),
[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 csubst(i, r.clone(), m),
[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 csubst(i, r.clone(), mn),
[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 csubst(i, r.clone(), mc),
[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 csubst(i, r.clone(), n),
[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 csubst(i, r, xs),
[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 isubst(i, r, e.clone())),
[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: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] ...
[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 ceval(k, d)),
[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] ...
[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 ceval(a, d.clone()), box ceval(n, d)),
[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 ceval(n, d)),
[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 ceval(a, d)),
[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 ceval(a, d.clone()),
[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 ceval(n, d.clone()),
[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 ceval(x, d.clone()),
[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 ceval(xs, d),
[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] ...
[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 Neutral::NApp(n, v2)),
[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: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 csubst(i + 1, r, term)),
[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 quote(i + 1, f.apply(vfree(Name::Quote(i))))),
[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 ITerm::Star),
[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 quote(i, v),
[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 quote(i + 1, f.apply(vfree(Name::Quote(i)))),
[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 neutral_quote(i, n)),
[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 ITerm::Nat),
[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 ITerm::Zero),
[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 quote(i, n))),
[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 ITerm::Succ(box quote(i, n))),
[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 quote(i, a))),
[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 ITerm::Nil(box quote(i, a))),
[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 quote(i, a),
[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 quote(i, n),
[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 quote(i, x),
[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 quote(i, xs),
[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] ...
[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 quote(i, a), box quote(i, n))),
[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 quote(i, n))),
[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 ITerm::Vec(box quote(i, a), box quote(i, n))),
[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 neutral_quote(i, n), box quote(i, v)),
[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 quote(i, v)),
[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 quote(i, m),
[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 quote(i, z),
[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 quote(i, s),
[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 neutral_quote(i, n)),
[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 CTerm::Inf(box neutral_quote(i, n)),
[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 quote(i, a),
[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 quote(i, m),
[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 quote(i, mn),
[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 quote(i, mc),
[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 quote(i, n),
[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 neutral_quote(i, xs)),
[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 CTerm::Inf(box neutral_quote(i, xs)),
[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: removed in 1.70.0; see <https://github.com/rust-lang/rust/pull/108471> for more information
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/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] ...
[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 Value::VNat,
[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 ClonableClosure::ClonableClosure0(ClonableClosure0::new(|_| Value::VStar)),
[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 Value::VNat,
[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 vapp(v.clone(), l.clone()),
[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 v2)),
[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] ...
[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 a_val, box Value::VZero))
[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 Value::VZero))
[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: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 a_val.clone())]
[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: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 a_val.clone(), box k_val.clone()),
[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 k_val.clone()),
[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 a_val, box Value::VSucc(box k_val)))
[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 k_val)))
[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 Value::VSucc(box k_val)))
[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 Value::VNat,
[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 v, box k),
[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 k),
[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 Value::VVec(box v, box k),
[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] ...
[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 Value::VNat,
[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 v1.clone(),
[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 v2.clone(), box v1.clone()),
[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 v1.clone()),
[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 Value::VVec(box v2.clone(), box v1.clone()),
[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] ...
[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] ...
[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] ...
[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] ...
[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 a_val, box k_val.clone()),
[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 k_val.clone()),
[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 csubst(i, r.clone(), e), box csubst(i, r, t)),
[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 csubst(i, r, t)),
[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 csubst(i, r.clone(), t1), box csubst(i + 1, r, t2))
[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 csubst(i + 1, r, t2))
[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 isubst(i, r.clone(), e1), box csubst(i, r, e2)),
[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 csubst(i, r, e2)),
[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 csubst(i, r, n)),
[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 csubst(i, r.clone(), m),
[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 csubst(i, r.clone(), mz),
[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 csubst(i, r.clone(), ms),
[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 csubst(i, r, n),
[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 csubst(i, r.clone(), a), box csubst(i, r, n)),
[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 csubst(i, r, n)),
[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 csubst(i, r, a)),
[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 csubst(i, r.clone(), a),
[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 csubst(i, r.clone(), n),
[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 csubst(i, r.clone(), x),
[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 csubst(i, r, xs),
[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 csubst(i, r.clone(), a),
[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 csubst(i, r.clone(), m),
[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 csubst(i, r.clone(), mn),
[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 csubst(i, r.clone(), mc),
[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 csubst(i, r.clone(), n),
[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 csubst(i, r, xs),
[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 isubst(i, r, e.clone())),
[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 csubst(i + 1, r, term)),
[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 quote(i + 1, f.apply(vfree(Name::Quote(i))))),
[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 ITerm::Star),
[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 quote(i, v),
[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 quote(i + 1, f.apply(vfree(Name::Quote(i)))),
[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 neutral_quote(i, n)),
[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 ITerm::Nat),
[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 ITerm::Zero),
[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 quote(i, n))),
[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 ITerm::Succ(box quote(i, n))),
[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 quote(i, a))),
[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 ITerm::Nil(box quote(i, a))),
[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 quote(i, a),
[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 quote(i, n),
[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 quote(i, x),
[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 quote(i, xs),
[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] ...
[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 quote(i, a), box quote(i, n))),
[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 quote(i, n))),
[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 ITerm::Vec(box quote(i, a), box quote(i, n))),
[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 neutral_quote(i, n), box quote(i, v)),
[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 quote(i, v)),
[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 quote(i, m),
[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 quote(i, z),
[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 quote(i, s),
[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 neutral_quote(i, n)),
[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 CTerm::Inf(box neutral_quote(i, n)),
[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 quote(i, a),
[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 quote(i, m),
[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 quote(i, mn),
[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 quote(i, mc),
[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 quote(i, n),
[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 neutral_quote(i, xs)),
[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 CTerm::Inf(box neutral_quote(i, xs)),
[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: removed in 1.70.0; see <https://github.com/rust-lang/rust/pull/108471> for more information
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/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 a_val.clone())]
[INFO] [stdout] 495 +                 vec![Value::VZero, Value::VNil(Box::new(a_val.clone()))]
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> src/main.rs:606:9
[INFO] [stdout]     |
[INFO] [stdout] 606 |         _ => Err("type mismatch".to_string()),
[INFO] [stdout]     |         ^ no value can reach this
[INFO] [stdout]     |
[INFO] [stdout] note: multiple earlier patterns match some of the same values
[INFO] [stdout]    --> src/main.rs:606:9
[INFO] [stdout]     |
[INFO] [stdout] 586 |         CTerm::Inf(box e) => {
[INFO] [stdout]     |         ----------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 594 |         CTerm::Lam(box e) => match v1 {
[INFO] [stdout]     |         ----------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 606 |         _ => Err("type mismatch".to_string()),
[INFO] [stdout]     |         ^ collectively making this unreachable
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `lambdapi` (bin "lambdapi") due to 109 previous errors; 1 warning emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]    --> src/main.rs:606:9
[INFO] [stdout]     |
[INFO] [stdout] 606 |         _ => Err("type mismatch".to_string()),
[INFO] [stdout]     |         ^ no value can reach this
[INFO] [stdout]     |
[INFO] [stdout] note: multiple earlier patterns match some of the same values
[INFO] [stdout]    --> src/main.rs:606:9
[INFO] [stdout]     |
[INFO] [stdout] 586 |         CTerm::Inf(box e) => {
[INFO] [stdout]     |         ----------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 594 |         CTerm::Lam(box e) => match v1 {
[INFO] [stdout]     |         ----------------- matches some of the same values
[INFO] [stdout] ...
[INFO] [stdout] 606 |         _ => Err("type mismatch".to_string()),
[INFO] [stdout]     |         ^ collectively making this unreachable
[INFO] [stdout]     = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `lambdapi` (bin "lambdapi" test) due to 109 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "dea1a7d4759cb5ac2220f3499fdab3f22a0065fc957a0a9f9818819a1d755893", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dea1a7d4759cb5ac2220f3499fdab3f22a0065fc957a0a9f9818819a1d755893", kill_on_drop: false }`
[INFO] [stdout] dea1a7d4759cb5ac2220f3499fdab3f22a0065fc957a0a9f9818819a1d755893
