[INFO] cloning repository https://github.com/Nyrox/experimental-lang
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Nyrox/experimental-lang" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FNyrox%2Fexperimental-lang", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FNyrox%2Fexperimental-lang'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 9546bd7b7de756541a155165c2939df440e6ab6c
[INFO] checking Nyrox/experimental-lang/9546bd7b7de756541a155165c2939df440e6ab6c against master#ff1737bb00913444173658b4e0b274fd79aabf66 for pr-132712-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FNyrox%2Fexperimental-lang" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Nyrox/experimental-lang on toolchain ff1737bb00913444173658b4e0b274fd79aabf66
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ff1737bb00913444173658b4e0b274fd79aabf66" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/Nyrox/experimental-lang
[INFO] finished tweaking git repo https://github.com/Nyrox/experimental-lang
[INFO] tweaked toml for git repo https://github.com/Nyrox/experimental-lang written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/Nyrox/experimental-lang already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ff1737bb00913444173658b4e0b274fd79aabf66" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded mortal v0.2.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+ff1737bb00913444173658b4e0b274fd79aabf66" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9b44be4f2f275906ecde5eca6bea0ba70a8cb2b67dcb08ad92ed9a1695d8a858
[INFO] running `Command { std: "docker" "start" "-a" "9b44be4f2f275906ecde5eca6bea0ba70a8cb2b67dcb08ad92ed9a1695d8a858", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9b44be4f2f275906ecde5eca6bea0ba70a8cb2b67dcb08ad92ed9a1695d8a858", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9b44be4f2f275906ecde5eca6bea0ba70a8cb2b67dcb08ad92ed9a1695d8a858", kill_on_drop: false }`
[INFO] [stdout] 9b44be4f2f275906ecde5eca6bea0ba70a8cb2b67dcb08ad92ed9a1695d8a858
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=allow" "-e" "RUSTDOCFLAGS=--cap-lints=allow" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+ff1737bb00913444173658b4e0b274fd79aabf66" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9bfe21fd8195c90e6c6fa4ef8dd86f0066859b40d201e57b5fe8839719a2b3a7
[INFO] running `Command { std: "docker" "start" "-a" "9bfe21fd8195c90e6c6fa4ef8dd86f0066859b40d201e57b5fe8839719a2b3a7", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.118
[INFO] [stderr]    Compiling getrandom v0.1.16
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.16
[INFO] [stderr]    Compiling siphasher v0.3.9
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]    Compiling memchr v2.4.1
[INFO] [stderr]     Checking cfg-if v0.1.10
[INFO] [stderr]    Compiling nix v0.17.0
[INFO] [stderr]     Checking phf_shared v0.8.0
[INFO] [stderr]     Checking tinyvec v1.5.1
[INFO] [stderr]     Checking smallvec v1.8.0
[INFO] [stderr]     Checking phf v0.8.0
[INFO] [stderr]     Checking bitflags v1.3.2
[INFO] [stderr]    Compiling nom v5.1.2
[INFO] [stderr]     Checking void v1.0.2
[INFO] [stderr]     Checking smallstr v0.2.0
[INFO] [stderr]     Checking unicode-width v0.1.9
[INFO] [stderr]     Checking unicode-normalization v0.1.19
[INFO] [stderr]     Checking dirs-sys v0.3.6
[INFO] [stderr]     Checking dirs v1.0.5
[INFO] [stderr]     Checking dirs v2.0.2
[INFO] [stderr]    Compiling rand_core v0.5.1
[INFO] [stderr]    Compiling rand_pcg v0.2.1
[INFO] [stderr]    Compiling rand_chacha v0.2.2
[INFO] [stderr]    Compiling rand v0.7.3
[INFO] [stderr]    Compiling phf_generator v0.8.0
[INFO] [stderr]    Compiling phf_codegen v0.8.0
[INFO] [stderr]    Compiling terminfo v0.7.3
[INFO] [stderr]     Checking mortal v0.2.2
[INFO] [stderr]     Checking linefeed v0.6.0
[INFO] [stderr]     Checking experimental-lang v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_syntax)]
[INFO] [stdout]   |            ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_syntax)]
[INFO] [stdout]   |            ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:179:48
[INFO] [stdout]     |
[INFO] [stdout] 179 |                         expr = Expr::Lambda(p, box expr);
[INFO] [stdout]     |                                                ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 179 |                         expr = Expr::Lambda(p, Box::new(expr));
[INFO] [stdout]     |                                                ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:179:48
[INFO] [stdout]     |
[INFO] [stdout] 179 |                         expr = Expr::Lambda(p, box expr);
[INFO] [stdout]     |                                                ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 179 |                         expr = Expr::Lambda(p, Box::new(expr));
[INFO] [stdout]     |                                                ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:385:51
[INFO] [stdout]     |
[INFO] [stdout] 385 |                 return Ok(Expr::LetBinding(ident, box bind_val, box body));
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 385 |                 return Ok(Expr::LetBinding(ident, Box::new(bind_val), box body));
[INFO] [stdout]     |                                                   ~~~~~~~~~        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:385:51
[INFO] [stdout]     |
[INFO] [stdout] 385 |                 return Ok(Expr::LetBinding(ident, box bind_val, box body));
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 385 |                 return Ok(Expr::LetBinding(ident, Box::new(bind_val), box body));
[INFO] [stdout]     |                                                   ~~~~~~~~~        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:385:65
[INFO] [stdout]     |
[INFO] [stdout] 385 |                 return Ok(Expr::LetBinding(ident, box bind_val, box body));
[INFO] [stdout]     |                                                                 ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 385 |                 return Ok(Expr::LetBinding(ident, box bind_val, Box::new(body)));
[INFO] [stdout]     |                                                                 ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:385:65
[INFO] [stdout]     |
[INFO] [stdout] 385 |                 return Ok(Expr::LetBinding(ident, box bind_val, box body));
[INFO] [stdout]     |                                                                 ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 385 |                 return Ok(Expr::LetBinding(ident, box bind_val, Box::new(body)));
[INFO] [stdout]     |                                                                 ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:394:35
[INFO] [stdout]     |
[INFO] [stdout] 394 |                 Expr::Conditional(box cond, box consequent, box alternate)
[INFO] [stdout]     |                                   ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 394 |                 Expr::Conditional(Box::new(cond), box consequent, box alternate)
[INFO] [stdout]     |                                   ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:394:35
[INFO] [stdout]     |
[INFO] [stdout] 394 |                 Expr::Conditional(box cond, box consequent, box alternate)
[INFO] [stdout]     |                                   ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 394 |                 Expr::Conditional(Box::new(cond), box consequent, box alternate)
[INFO] [stdout]     |                                   ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:394:45
[INFO] [stdout]     |
[INFO] [stdout] 394 |                 Expr::Conditional(box cond, box consequent, box alternate)
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 394 |                 Expr::Conditional(box cond, Box::new(consequent), box alternate)
[INFO] [stdout]     |                                             ~~~~~~~~~          +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:394:45
[INFO] [stdout]     |
[INFO] [stdout] 394 |                 Expr::Conditional(box cond, box consequent, box alternate)
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 394 |                 Expr::Conditional(box cond, Box::new(consequent), box alternate)
[INFO] [stdout]     |                                             ~~~~~~~~~          +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:394:61
[INFO] [stdout]     |
[INFO] [stdout] 394 |                 Expr::Conditional(box cond, box consequent, box alternate)
[INFO] [stdout]     |                                                             ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 394 |                 Expr::Conditional(box cond, box consequent, Box::new(alternate))
[INFO] [stdout]     |                                                             ~~~~~~~~~         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:394:61
[INFO] [stdout]     |
[INFO] [stdout] 394 |                 Expr::Conditional(box cond, box consequent, box alternate)
[INFO] [stdout]     |                                                             ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 394 |                 Expr::Conditional(box cond, box consequent, Box::new(alternate))
[INFO] [stdout]     |                                                             ~~~~~~~~~         +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:413:39
[INFO] [stdout]     |
[INFO] [stdout] 413 |                 return Ok(Expr::Match(box expr, arms));
[INFO] [stdout]     |                                       ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 413 |                 return Ok(Expr::Match(Box::new(expr), arms));
[INFO] [stdout]     |                                       ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:413:39
[INFO] [stdout]     |
[INFO] [stdout] 413 |                 return Ok(Expr::Match(box expr, arms));
[INFO] [stdout]     |                                       ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 413 |                 return Ok(Expr::Match(Box::new(expr), arms));
[INFO] [stdout]     |                                       ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:421:43
[INFO] [stdout]     |
[INFO] [stdout] 421 |                 return Ok(Expr::Lambda(p, box body));
[INFO] [stdout]     |                                           ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 421 |                 return Ok(Expr::Lambda(p, Box::new(body)));
[INFO] [stdout]     |                                           ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:478:45
[INFO] [stdout]     |
[INFO] [stdout] 478 |                     lhs = Expr::FieldAccess(box lhs, field);
[INFO] [stdout]     |                                             ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 478 |                     lhs = Expr::FieldAccess(Box::new(lhs), field);
[INFO] [stdout]     |                                             ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:421:43
[INFO] [stdout]     |
[INFO] [stdout] 421 |                 return Ok(Expr::Lambda(p, box body));
[INFO] [stdout]     |                                           ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 421 |                 return Ok(Expr::Lambda(p, Box::new(body)));
[INFO] [stdout]     |                                           ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:497:48
[INFO] [stdout]     |
[INFO] [stdout] 497 |                         _ => Expr::Application(box lhs, vec![rhs]),
[INFO] [stdout]     |                                                ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 497 |                         _ => Expr::Application(Box::new(lhs), vec![rhs]),
[INFO] [stdout]     |                                                ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:478:45
[INFO] [stdout]     |
[INFO] [stdout] 478 |                     lhs = Expr::FieldAccess(box lhs, field);
[INFO] [stdout]     |                                             ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 478 |                     lhs = Expr::FieldAccess(Box::new(lhs), field);
[INFO] [stdout]     |                                             ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:497:48
[INFO] [stdout]     |
[INFO] [stdout] 497 |                         _ => Expr::Application(box lhs, vec![rhs]),
[INFO] [stdout]     |                                                ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 497 |                         _ => Expr::Application(Box::new(lhs), vec![rhs]),
[INFO] [stdout]     |                                                ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:528:17
[INFO] [stdout]     |
[INFO] [stdout] 528 |                 box lhs,
[INFO] [stdout]     |                 ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 528 |                 Box::new(lhs),
[INFO] [stdout]     |                 ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:528:17
[INFO] [stdout]     |
[INFO] [stdout] 528 |                 box lhs,
[INFO] [stdout]     |                 ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 528 |                 Box::new(lhs),
[INFO] [stdout]     |                 ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:529:17
[INFO] [stdout]     |
[INFO] [stdout] 529 |                 box rhs,
[INFO] [stdout]     |                 ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 529 |                 Box::new(rhs),
[INFO] [stdout]     |                 ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:529:17
[INFO] [stdout]     |
[INFO] [stdout] 529 |                 box rhs,
[INFO] [stdout]     |                 ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 529 |                 Box::new(rhs),
[INFO] [stdout]     |                 ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:609:25
[INFO] [stdout]     |
[INFO] [stdout] 609 |             Ok(Ty::Func(box lhs, box self.parse_type()?))
[INFO] [stdout]     |                         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 609 |             Ok(Ty::Func(Box::new(lhs), box self.parse_type()?))
[INFO] [stdout]     |                         ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:609:34
[INFO] [stdout]     |
[INFO] [stdout] 609 |             Ok(Ty::Func(box lhs, box self.parse_type()?))
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 609 |             Ok(Ty::Func(box lhs, Box::new(self.parse_type()?)))
[INFO] [stdout]     |                                  ~~~~~~~~~                  +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:609:25
[INFO] [stdout]     |
[INFO] [stdout] 609 |             Ok(Ty::Func(box lhs, box self.parse_type()?))
[INFO] [stdout]     |                         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 609 |             Ok(Ty::Func(Box::new(lhs), box self.parse_type()?))
[INFO] [stdout]     |                         ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:614:29
[INFO] [stdout]     |
[INFO] [stdout] 614 |                 Ok(Ty::List(box lhs))
[INFO] [stdout]     |                             ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 614 |                 Ok(Ty::List(Box::new(lhs)))
[INFO] [stdout]     |                             ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:609:34
[INFO] [stdout]     |
[INFO] [stdout] 609 |             Ok(Ty::Func(box lhs, box self.parse_type()?))
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 609 |             Ok(Ty::Func(box lhs, Box::new(self.parse_type()?)))
[INFO] [stdout]     |                                  ~~~~~~~~~                  +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser/recdec.rs:614:29
[INFO] [stdout]     |
[INFO] [stdout] 614 |                 Ok(Ty::List(box lhs))
[INFO] [stdout]     |                             ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 614 |                 Ok(Ty::List(Box::new(lhs)))
[INFO] [stdout]     |                             ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:140:37
[INFO] [stdout]     |
[INFO] [stdout] 140 |                 (ExprT::Conditional(box cond, box cons, box alt), ty.clone())
[INFO] [stdout]     |                                     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 140 |                 (ExprT::Conditional(Box::new(cond), box cons, box alt), ty.clone())
[INFO] [stdout]     |                                     ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:140:47
[INFO] [stdout]     |
[INFO] [stdout] 140 |                 (ExprT::Conditional(box cond, box cons, box alt), ty.clone())
[INFO] [stdout]     |                                               ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 140 |                 (ExprT::Conditional(box cond, Box::new(cons), box alt), ty.clone())
[INFO] [stdout]     |                                               ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:140:57
[INFO] [stdout]     |
[INFO] [stdout] 140 |                 (ExprT::Conditional(box cond, box cons, box alt), ty.clone())
[INFO] [stdout]     |                                                         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 140 |                 (ExprT::Conditional(box cond, box cons, Box::new(alt)), ty.clone())
[INFO] [stdout]     |                                                         ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:219:53
[INFO] [stdout]     |
[INFO] [stdout] 219 | ...                   ExprT::MatchSum(box (matchee_te, matched_ty), t_arms),
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 219 |                                     ExprT::MatchSum(Box::new((matchee_te, matched_ty)), t_arms),
[INFO] [stdout]     |                                                     ~~~~~~~~~                        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:247:59
[INFO] [stdout]     |
[INFO] [stdout] 247 |                 rhs.map(|rhs| (ExprT::Lambda(p.0.clone(), box rhs), ty.clone()))
[INFO] [stdout]     |                                                           ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 247 |                 rhs.map(|rhs| (ExprT::Lambda(p.0.clone(), Box::new(rhs)), ty.clone()))
[INFO] [stdout]     |                                                           ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:267:58
[INFO] [stdout]     |
[INFO] [stdout] 267 |                     ExprT::LetBinding(binding.0.clone(), box rhs, box body),
[INFO] [stdout]     |                                                          ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 267 |                     ExprT::LetBinding(binding.0.clone(), Box::new(rhs), box body),
[INFO] [stdout]     |                                                          ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:267:67
[INFO] [stdout]     |
[INFO] [stdout] 267 |                     ExprT::LetBinding(binding.0.clone(), box rhs, box body),
[INFO] [stdout]     |                                                                   ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 267 |                     ExprT::LetBinding(binding.0.clone(), box rhs, Box::new(body)),
[INFO] [stdout]     |                                                                   ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:140:37
[INFO] [stdout]     |
[INFO] [stdout] 140 |                 (ExprT::Conditional(box cond, box cons, box alt), ty.clone())
[INFO] [stdout]     |                                     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 140 |                 (ExprT::Conditional(Box::new(cond), box cons, box alt), ty.clone())
[INFO] [stdout]     |                                     ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:452:55
[INFO] [stdout]     |
[INFO] [stdout] 452 |         .map(|(lhs, (exprs, rt))| (ExprT::Application(box lhs, exprs), rt.clone()))
[INFO] [stdout]     |                                                       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 452 |         .map(|(lhs, (exprs, rt))| (ExprT::Application(Box::new(lhs), exprs), rt.clone()))
[INFO] [stdout]     |                                                       ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:140:47
[INFO] [stdout]     |
[INFO] [stdout] 140 |                 (ExprT::Conditional(box cond, box cons, box alt), ty.clone())
[INFO] [stdout]     |                                               ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 140 |                 (ExprT::Conditional(box cond, Box::new(cons), box alt), ty.clone())
[INFO] [stdout]     |                                               ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:140:57
[INFO] [stdout]     |
[INFO] [stdout] 140 |                 (ExprT::Conditional(box cond, box cons, box alt), ty.clone())
[INFO] [stdout]     |                                                         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 140 |                 (ExprT::Conditional(box cond, box cons, Box::new(alt)), ty.clone())
[INFO] [stdout]     |                                                         ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:219:53
[INFO] [stdout]     |
[INFO] [stdout] 219 | ...                   ExprT::MatchSum(box (matchee_te, matched_ty), t_arms),
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 219 |                                     ExprT::MatchSum(Box::new((matchee_te, matched_ty)), t_arms),
[INFO] [stdout]     |                                                     ~~~~~~~~~                        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:247:59
[INFO] [stdout]     |
[INFO] [stdout] 247 |                 rhs.map(|rhs| (ExprT::Lambda(p.0.clone(), box rhs), ty.clone()))
[INFO] [stdout]     |                                                           ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 247 |                 rhs.map(|rhs| (ExprT::Lambda(p.0.clone(), Box::new(rhs)), ty.clone()))
[INFO] [stdout]     |                                                           ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:508:37
[INFO] [stdout]     |
[INFO] [stdout] 508 |                 (ExprT::Conditional(box cond, box cons, box alt), rt)
[INFO] [stdout]     |                                     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 508 |                 (ExprT::Conditional(Box::new(cond), box cons, box alt), rt)
[INFO] [stdout]     |                                     ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:267:58
[INFO] [stdout]     |
[INFO] [stdout] 267 |                     ExprT::LetBinding(binding.0.clone(), box rhs, box body),
[INFO] [stdout]     |                                                          ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 267 |                     ExprT::LetBinding(binding.0.clone(), Box::new(rhs), box body),
[INFO] [stdout]     |                                                          ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:267:67
[INFO] [stdout]     |
[INFO] [stdout] 267 |                     ExprT::LetBinding(binding.0.clone(), box rhs, box body),
[INFO] [stdout]     |                                                                   ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 267 |                     ExprT::LetBinding(binding.0.clone(), box rhs, Box::new(body)),
[INFO] [stdout]     |                                                                   ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:508:47
[INFO] [stdout]     |
[INFO] [stdout] 508 |                 (ExprT::Conditional(box cond, box cons, box alt), rt)
[INFO] [stdout]     |                                               ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 508 |                 (ExprT::Conditional(box cond, Box::new(cons), box alt), rt)
[INFO] [stdout]     |                                               ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:508:57
[INFO] [stdout]     |
[INFO] [stdout] 508 |                 (ExprT::Conditional(box cond, box cons, box alt), rt)
[INFO] [stdout]     |                                                         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 508 |                 (ExprT::Conditional(box cond, box cons, Box::new(alt)), rt)
[INFO] [stdout]     |                                                         ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:527:65
[INFO] [stdout]     |
[INFO] [stdout] 527 |                     unifiedT.map(|finalT| (ExprT::BinaryOp(*op, box lhs.clone(), box rhs.clone()), finalT))
[INFO] [stdout]     |                                                                 ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 527 |                     unifiedT.map(|finalT| (ExprT::BinaryOp(*op, Box::new(lhs.clone()), box rhs.clone()), finalT))
[INFO] [stdout]     |                                                                 ~~~~~~~~~           +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:527:82
[INFO] [stdout]     |
[INFO] [stdout] 527 |                     unifiedT.map(|finalT| (ExprT::BinaryOp(*op, box lhs.clone(), box rhs.clone()), finalT))
[INFO] [stdout]     |                                                                                  ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 527 |                     unifiedT.map(|finalT| (ExprT::BinaryOp(*op, box lhs.clone(), Box::new(rhs.clone())), finalT))
[INFO] [stdout]     |                                                                                  ~~~~~~~~~           +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:547:55
[INFO] [stdout]     |
[INFO] [stdout] 547 |                 (ExprT::LetBinding(binding.0.clone(), box rhs, box body), bt)
[INFO] [stdout]     |                                                       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 547 |                 (ExprT::LetBinding(binding.0.clone(), Box::new(rhs), box body), bt)
[INFO] [stdout]     |                                                       ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:547:64
[INFO] [stdout]     |
[INFO] [stdout] 547 |                 (ExprT::LetBinding(binding.0.clone(), box rhs, box body), bt)
[INFO] [stdout]     |                                                                ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 547 |                 (ExprT::LetBinding(binding.0.clone(), box rhs, Box::new(body)), bt)
[INFO] [stdout]     |                                                                ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:579:48
[INFO] [stdout]     |
[INFO] [stdout] 579 |             let e = ExprT::Lambda(p.0.clone(), box (r.0, r.1.clone()));
[INFO] [stdout]     |                                                ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 579 |             let e = ExprT::Lambda(p.0.clone(), Box::new((r.0, r.1.clone())));
[INFO] [stdout]     |                                                ~~~~~~~~~                  +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:613:41
[INFO] [stdout]     |
[INFO] [stdout] 613 | ...                   box (te, Type::user_type(th.clone(), ty_params)),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 613 |                                         Box::new((te, Type::user_type(th.clone(), ty_params))),
[INFO] [stdout]     |                                         ~~~~~~~~~                                            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:645:48
[INFO] [stdout]     |
[INFO] [stdout] 645 | ...                   ExprT::FieldAccess(box (te, Type::tuple(ty_params)), index),
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 645 |                             ExprT::FieldAccess(Box::new((te, Type::tuple(ty_params))), index),
[INFO] [stdout]     |                                                ~~~~~~~~~                            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:452:55
[INFO] [stdout]     |
[INFO] [stdout] 452 |         .map(|(lhs, (exprs, rt))| (ExprT::Application(box lhs, exprs), rt.clone()))
[INFO] [stdout]     |                                                       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 452 |         .map(|(lhs, (exprs, rt))| (ExprT::Application(Box::new(lhs), exprs), rt.clone()))
[INFO] [stdout]     |                                                       ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:508:37
[INFO] [stdout]     |
[INFO] [stdout] 508 |                 (ExprT::Conditional(box cond, box cons, box alt), rt)
[INFO] [stdout]     |                                     ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 508 |                 (ExprT::Conditional(Box::new(cond), box cons, box alt), rt)
[INFO] [stdout]     |                                     ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:508:47
[INFO] [stdout]     |
[INFO] [stdout] 508 |                 (ExprT::Conditional(box cond, box cons, box alt), rt)
[INFO] [stdout]     |                                               ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 508 |                 (ExprT::Conditional(box cond, Box::new(cons), box alt), rt)
[INFO] [stdout]     |                                               ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:508:57
[INFO] [stdout]     |
[INFO] [stdout] 508 |                 (ExprT::Conditional(box cond, box cons, box alt), rt)
[INFO] [stdout]     |                                                         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 508 |                 (ExprT::Conditional(box cond, box cons, Box::new(alt)), rt)
[INFO] [stdout]     |                                                         ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:527:65
[INFO] [stdout]     |
[INFO] [stdout] 527 |                     unifiedT.map(|finalT| (ExprT::BinaryOp(*op, box lhs.clone(), box rhs.clone()), finalT))
[INFO] [stdout]     |                                                                 ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 527 |                     unifiedT.map(|finalT| (ExprT::BinaryOp(*op, Box::new(lhs.clone()), box rhs.clone()), finalT))
[INFO] [stdout]     |                                                                 ~~~~~~~~~           +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:527:82
[INFO] [stdout]     |
[INFO] [stdout] 527 |                     unifiedT.map(|finalT| (ExprT::BinaryOp(*op, box lhs.clone(), box rhs.clone()), finalT))
[INFO] [stdout]     |                                                                                  ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 527 |                     unifiedT.map(|finalT| (ExprT::BinaryOp(*op, box lhs.clone(), Box::new(rhs.clone())), finalT))
[INFO] [stdout]     |                                                                                  ~~~~~~~~~           +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:547:55
[INFO] [stdout]     |
[INFO] [stdout] 547 |                 (ExprT::LetBinding(binding.0.clone(), box rhs, box body), bt)
[INFO] [stdout]     |                                                       ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 547 |                 (ExprT::LetBinding(binding.0.clone(), Box::new(rhs), box body), bt)
[INFO] [stdout]     |                                                       ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:547:64
[INFO] [stdout]     |
[INFO] [stdout] 547 |                 (ExprT::LetBinding(binding.0.clone(), box rhs, box body), bt)
[INFO] [stdout]     |                                                                ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 547 |                 (ExprT::LetBinding(binding.0.clone(), box rhs, Box::new(body)), bt)
[INFO] [stdout]     |                                                                ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:579:48
[INFO] [stdout]     |
[INFO] [stdout] 579 |             let e = ExprT::Lambda(p.0.clone(), box (r.0, r.1.clone()));
[INFO] [stdout]     |                                                ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 579 |             let e = ExprT::Lambda(p.0.clone(), Box::new((r.0, r.1.clone())));
[INFO] [stdout]     |                                                ~~~~~~~~~                  +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:613:41
[INFO] [stdout]     |
[INFO] [stdout] 613 | ...                   box (te, Type::user_type(th.clone(), ty_params)),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 613 |                                         Box::new((te, Type::user_type(th.clone(), ty_params))),
[INFO] [stdout]     |                                         ~~~~~~~~~                                            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/typecheck/mod.rs:645:48
[INFO] [stdout]     |
[INFO] [stdout] 645 | ...                   ExprT::FieldAccess(box (te, Type::tuple(ty_params)), index),
[INFO] [stdout]     |                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 645 |                             ExprT::FieldAccess(Box::new((te, Type::tuple(ty_params))), index),
[INFO] [stdout]     |                                                ~~~~~~~~~                            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:45:93
[INFO] [stdout]    |
[INFO] [stdout] 45 | ...                   ast::untyped::Expr::Lambda(Spanned("()".into(), Span::empty()), box ast),
[INFO] [stdout]    |                                                                                       ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 45 |                             ast::untyped::Expr::Lambda(Spanned("()".into(), Span::empty()), Box::new(ast)),
[INFO] [stdout]    |                                                                                             ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/main.rs:45:93
[INFO] [stdout]    |
[INFO] [stdout] 45 | ...                   ast::untyped::Expr::Lambda(Spanned("()".into(), Span::empty()), box ast),
[INFO] [stdout]    |                                                                                       ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 45 |                             ast::untyped::Expr::Lambda(Spanned("()".into(), Span::empty()), Box::new(ast)),
[INFO] [stdout]    |                                                                                             ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `experimental-lang` (bin "experimental-lang") due to 35 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `experimental-lang` (bin "experimental-lang" test) due to 35 previous errors
[INFO] running `Command { std: "docker" "inspect" "9bfe21fd8195c90e6c6fa4ef8dd86f0066859b40d201e57b5fe8839719a2b3a7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9bfe21fd8195c90e6c6fa4ef8dd86f0066859b40d201e57b5fe8839719a2b3a7", kill_on_drop: false }`
[INFO] [stdout] 9bfe21fd8195c90e6c6fa4ef8dd86f0066859b40d201e57b5fe8839719a2b3a7