[INFO] cloning repository https://github.com/Hexadecimaaal/hexcalc
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Hexadecimaaal/hexcalc" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHexadecimaaal%2Fhexcalc", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHexadecimaaal%2Fhexcalc'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 9262aa0fe23af545174f4e61ae312194816178bc
[INFO] building Hexadecimaaal/hexcalc against master#ad211ced81509462cdfe4c29ed10f97279a0acae for pr-135216
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHexadecimaaal%2Fhexcalc" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Hexadecimaaal/hexcalc on toolchain ad211ced81509462cdfe4c29ed10f97279a0acae
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ad211ced81509462cdfe4c29ed10f97279a0acae" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/Hexadecimaaal/hexcalc
[INFO] finished tweaking git repo https://github.com/Hexadecimaaal/hexcalc
[INFO] tweaked toml for git repo https://github.com/Hexadecimaaal/hexcalc written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/Hexadecimaaal/hexcalc 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" "+ad211ced81509462cdfe4c29ed10f97279a0acae" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded usbd-hid-descriptors v0.1.1
[INFO] [stderr]   Downloaded usbd-hid v0.5.2
[INFO] [stderr]   Downloaded linked_list_allocator v0.8.11
[INFO] [stderr]   Downloaded alloc-cortex-m v0.4.2
[INFO] [stderr]   Downloaded rp2040-boot2 v0.2.0
[INFO] [stderr]   Downloaded ssmarshal v1.0.0
[INFO] [stderr]   Downloaded usbd-hid-macros v0.5.2
[INFO] [stderr]   Downloaded embedded-time v0.12.1
[INFO] [stderr]   Downloaded crc-any v2.4.2
[INFO] [stderr]   Downloaded pio v0.2.0
[INFO] [stderr]   Downloaded cortex-m-rt v0.7.1
[INFO] [stderr]   Downloaded proc-macro2 v1.0.38
[INFO] [stderr]   Downloaded cortex-m v0.7.4
[INFO] [stderr]   Downloaded rp2040-hal v0.4.0
[INFO] [stderr]   Downloaded usb-device v0.2.8
[INFO] [stderr]   Downloaded rp2040-pac v0.3.0
[INFO] [stderr]   Downloaded rp-pico v0.3.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+ad211ced81509462cdfe4c29ed10f97279a0acae" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6de61e91ea18671ccdfffe013944dead7be750ef2107bac3d4b3096858713c12
[INFO] running `Command { std: "docker" "start" "-a" "6de61e91ea18671ccdfffe013944dead7be750ef2107bac3d4b3096858713c12", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6de61e91ea18671ccdfffe013944dead7be750ef2107bac3d4b3096858713c12", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6de61e91ea18671ccdfffe013944dead7be750ef2107bac3d4b3096858713c12", kill_on_drop: false }`
[INFO] [stdout] 6de61e91ea18671ccdfffe013944dead7be750ef2107bac3d4b3096858713c12
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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=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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+ad211ced81509462cdfe4c29ed10f97279a0acae" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5f674fc475d33af976baac9ecf5ac95b009a5675470e5755e7d44e419f0f8293
[INFO] running `Command { std: "docker" "start" "-a" "5f674fc475d33af976baac9ecf5ac95b009a5675470e5755e7d44e419f0f8293", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.38
[INFO] [stderr]    Compiling unicode-xid v0.2.3
[INFO] [stderr]    Compiling syn v1.0.92
[INFO] [stderr]    Compiling libm v0.2.2
[INFO] [stderr]    Compiling semver-parser v0.7.0
[INFO] [stderr]    Compiling nb v1.0.0
[INFO] [stderr]    Compiling bitfield v0.13.2
[INFO] [stderr]    Compiling void v1.0.2
[INFO] [stderr]    Compiling cortex-m v0.7.4
[INFO] [stderr]    Compiling serde v1.0.137
[INFO] [stderr]    Compiling cortex-m-rt v0.7.1
[INFO] [stderr]    Compiling vcell v0.1.3
[INFO] [stderr]    Compiling byteorder v1.3.4
[INFO] [stderr]    Compiling debug-helper v0.3.13
[INFO] [stderr]    Compiling critical-section v0.2.7
[INFO] [stderr]    Compiling volatile-register v0.2.1
[INFO] [stderr]    Compiling crc-any v2.4.2
[INFO] [stderr]    Compiling nb v0.1.3
[INFO] [stderr]    Compiling usb-device v0.2.8
[INFO] [stderr]    Compiling rp2040-pac v0.3.0
[INFO] [stderr]    Compiling bare-metal v1.0.0
[INFO] [stderr]    Compiling encode_unicode v0.3.6
[INFO] [stderr]    Compiling embedded-hal v0.2.7
[INFO] [stderr]    Compiling usbd-hid-descriptors v0.1.1
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling arrayvec v0.7.2
[INFO] [stderr]    Compiling paste v1.0.7
[INFO] [stderr]    Compiling either v1.6.1
[INFO] [stderr]    Compiling semver v0.9.0
[INFO] [stderr]    Compiling rand_core v0.6.3
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling num-rational v0.3.2
[INFO] [stderr]    Compiling num-iter v0.1.43
[INFO] [stderr]    Compiling rustc_version v0.2.3
[INFO] [stderr]    Compiling itertools v0.10.3
[INFO] [stderr]    Compiling usbd-serial v0.1.1
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling linked_list_allocator v0.8.11
[INFO] [stderr]    Compiling rp2040-boot2 v0.2.0
[INFO] [stderr]    Compiling bare-metal v0.2.5
[INFO] [stderr]    Compiling nom v7.1.1
[INFO] [stderr]    Compiling quote v1.0.18
[INFO] [stderr]    Compiling alloc-cortex-m v0.4.2
[INFO] [stderr]    Compiling num-complex v0.3.1
[INFO] [stderr]    Compiling num v0.3.1
[INFO] [stderr]    Compiling embedded-time v0.12.1
[INFO] [stderr]    Compiling ssmarshal v1.0.0
[INFO] [stderr]    Compiling num_enum_derive v0.5.7
[INFO] [stderr]    Compiling cortex-m-rt-macros v0.7.0
[INFO] [stderr]    Compiling usbd-hid-macros v0.5.2
[INFO] [stderr]    Compiling usbd-hid v0.5.2
[INFO] [stderr]    Compiling num_enum v0.5.7
[INFO] [stderr]    Compiling pio v0.2.0
[INFO] [stderr]    Compiling rp2040-hal v0.4.0
[INFO] [stderr]    Compiling rp-pico v0.3.0
[INFO] [stderr]    Compiling hexcalc v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/lib/mod.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(box_syntax, box_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:152:25
[INFO] [stdout]     |
[INFO] [stdout] 152 |           Ok(Lam(bound, box body.subst(name, to)?))
[INFO] [stdout]     |                         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 152 |           Ok(Lam(bound, Box::new(body.subst(name, to)?)))
[INFO] [stdout]     |                         ~~~~~~~~~                     +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:162:32
[INFO] [stdout]     |
[INFO] [stdout] 162 |       App(func, val) => Ok(App(box func.subst(name, to)?, box val.subst(name, to)?)),
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 162 |       App(func, val) => Ok(App(Box::new(func.subst(name, to)?), box val.subst(name, to)?)),
[INFO] [stdout]     |                                ~~~~~~~~~                     +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:162:59
[INFO] [stdout]     |
[INFO] [stdout] 162 |       App(func, val) => Ok(App(box func.subst(name, to)?, box val.subst(name, to)?)),
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 162 |       App(func, val) => Ok(App(box func.subst(name, to)?, Box::new(val.subst(name, to)?))),
[INFO] [stdout]     |                                                           ~~~~~~~~~                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:171:33
[INFO] [stdout]     |
[INFO] [stdout] 171 |       Cons(fst, snd) => Ok(Cons(box fst.subst(name, to)?, box snd.subst(name, to)?)),
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 171 |       Cons(fst, snd) => Ok(Cons(Box::new(fst.subst(name, to)?), box snd.subst(name, to)?)),
[INFO] [stdout]     |                                 ~~~~~~~~~                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:171:59
[INFO] [stdout]     |
[INFO] [stdout] 171 |       Cons(fst, snd) => Ok(Cons(box fst.subst(name, to)?, box snd.subst(name, to)?)),
[INFO] [stdout]     |                                                           ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 171 |       Cons(fst, snd) => Ok(Cons(box fst.subst(name, to)?, Box::new(snd.subst(name, to)?))),
[INFO] [stdout]     |                                                           ~~~~~~~~~                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:174:9
[INFO] [stdout]     |
[INFO] [stdout] 174 |         box with.subst(name, to)?,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 174 |         Box::new(with.subst(name, to)?),
[INFO] [stdout]     |         ~~~~~~~~~                     +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:175:9
[INFO] [stdout]     |
[INFO] [stdout] 175 |         box inl.subst(name, to)?,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 175 |         Box::new(inl.subst(name, to)?),
[INFO] [stdout]     |         ~~~~~~~~~                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:176:9
[INFO] [stdout]     |
[INFO] [stdout] 176 |         box inr.subst(name, to)?,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 176 |         Box::new(inr.subst(name, to)?),
[INFO] [stdout]     |         ~~~~~~~~~                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:202:31
[INFO] [stdout]     |
[INFO] [stdout] 202 |         (func, val) => Ok(App(box func.red()?, box val)),
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 202 |         (func, val) => Ok(App(Box::new(func.red()?), box val)),
[INFO] [stdout]     |                               ~~~~~~~~~           +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:202:48
[INFO] [stdout]     |
[INFO] [stdout] 202 |         (func, val) => Ok(App(box func.red()?, box val)),
[INFO] [stdout]     |                                                ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 202 |         (func, val) => Ok(App(box func.red()?, Box::new(val))),
[INFO] [stdout]     |                                                ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:207:19
[INFO] [stdout]     |
[INFO] [stdout] 207 |           Ok(Cons(box fst.red().unwrap(), snd))
[INFO] [stdout]     |                   ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 207 |           Ok(Cons(Box::new(fst.red().unwrap()), snd))
[INFO] [stdout]     |                   ~~~~~~~~~                  +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:209:24
[INFO] [stdout]     |
[INFO] [stdout] 209 |           Ok(Cons(fst, box snd.red()?))
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 209 |           Ok(Cons(fst, Box::new(snd.red()?)))
[INFO] [stdout]     |                        ~~~~~~~~~          +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:214:24
[INFO] [stdout]     |
[INFO] [stdout] 214 |       Fst(e) => Ok(Fst(box e.red()?)),
[INFO] [stdout]     |                        ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 214 |       Fst(e) => Ok(Fst(Box::new(e.red()?))),
[INFO] [stdout]     |                        ~~~~~~~~~        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:215:24
[INFO] [stdout]     |
[INFO] [stdout] 215 |       Snd(e) => Ok(Snd(box e.red()?)),
[INFO] [stdout]     |                        ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 215 |       Snd(e) => Ok(Snd(Box::new(e.red()?))),
[INFO] [stdout]     |                        ~~~~~~~~~        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:218:38
[INFO] [stdout]     |
[INFO] [stdout] 218 |       Match(e, inl, inr) => Ok(Match(box e.red()?, inl, inr)),
[INFO] [stdout]     |                                      ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 218 |       Match(e, inl, inr) => Ok(Match(Box::new(e.red()?), inl, inr)),
[INFO] [stdout]     |                                      ~~~~~~~~~        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:220:24
[INFO] [stdout]     |
[INFO] [stdout] 220 |       Inl(e) => Ok(Inl(box e.red()?)),
[INFO] [stdout]     |                        ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 220 |       Inl(e) => Ok(Inl(Box::new(e.red()?))),
[INFO] [stdout]     |                        ~~~~~~~~~        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/expr.rs:221:24
[INFO] [stdout]     |
[INFO] [stdout] 221 |       Inr(e) => Ok(Inr(box e.red()?)),
[INFO] [stdout]     |                        ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 221 |       Inr(e) => Ok(Inr(Box::new(e.red()?))),
[INFO] [stdout]     |                        ~~~~~~~~~        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/state.rs:173:40
[INFO] [stdout]     |
[INFO] [stdout] 173 |         self.eval(Stmt::Push(Expr::App(box fun, box top)))
[INFO] [stdout]     |                                        ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 173 |         self.eval(Stmt::Push(Expr::App(Box::new(fun), box top)))
[INFO] [stdout]     |                                        ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/state.rs:173:49
[INFO] [stdout]     |
[INFO] [stdout] 173 |         self.eval(Stmt::Push(Expr::App(box fun, box top)))
[INFO] [stdout]     |                                                 ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 173 |         self.eval(Stmt::Push(Expr::App(box fun, Box::new(top))))
[INFO] [stdout]     |                                                 ~~~~~~~~~   +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/typing.rs:51:11
[INFO] [stdout]    |
[INFO] [stdout] 51 |       Err(box Incomplete(incomplete))
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 51 |       Err(Box::new(Incomplete(incomplete)))
[INFO] [stdout]    |           ~~~~~~~~~                      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/typing.rs:97:22
[INFO] [stdout]    |
[INFO] [stdout] 97 |       .ok_or_else(|| box Unbound(Type::EVar(evar.to_string())))?;
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 97 |       .ok_or_else(|| Box::new(Unbound(Type::EVar(evar.to_string()))))?;
[INFO] [stdout]    |                      ~~~~~~~~~                                     +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:109:9
[INFO] [stdout]     |
[INFO] [stdout] 109 |     Err(box Untyped(var.to_string()))
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 109 |     Err(Box::new(Untyped(var.to_string())))
[INFO] [stdout]     |         ~~~~~~~~~                        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:162:9
[INFO] [stdout]     |
[INFO] [stdout] 162 |         box a.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 162 |         Box::new(a.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~                              +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:163:9
[INFO] [stdout]     |
[INFO] [stdout] 163 |         box b.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 163 |         Box::new(b.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~                              +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:166:9
[INFO] [stdout]     |
[INFO] [stdout] 166 |         box a.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 166 |         Box::new(a.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~                              +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:167:9
[INFO] [stdout]     |
[INFO] [stdout] 167 |         box b.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 167 |         Box::new(b.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~                              +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |         box a.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 170 |         Box::new(a.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~                              +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |         box b.instantiate_uvar(uvar, evar),
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 171 |         Box::new(b.instantiate_uvar(uvar, evar)),
[INFO] [stdout]     |         ~~~~~~~~~                              +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:183:21
[INFO] [stdout]     |
[INFO] [stdout] 183 |           Forall(u, box a)
[INFO] [stdout]     |                     ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 183 |           Forall(u, Box::new(a))
[INFO] [stdout]     |                     ~~~~~~~~~ +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:185:21
[INFO] [stdout]     |
[INFO] [stdout] 185 |           Forall(u, box a.instantiate_uvar(uvar, evar))
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 185 |           Forall(u, Box::new(a.instantiate_uvar(uvar, evar)))
[INFO] [stdout]     |                     ~~~~~~~~~                              +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:195:36
[INFO] [stdout]     |
[INFO] [stdout] 195 |       Arrow(box a, box b) => Arrow(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 195 |       Arrow(box a, box b) => Arrow(Box::new(a.subst(ctx)), box b.subst(ctx)),
[INFO] [stdout]     |                                    ~~~~~~~~~            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:195:54
[INFO] [stdout]     |
[INFO] [stdout] 195 |       Arrow(box a, box b) => Arrow(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 195 |       Arrow(box a, box b) => Arrow(box a.subst(ctx), Box::new(b.subst(ctx))),
[INFO] [stdout]     |                                                      ~~~~~~~~~            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:196:34
[INFO] [stdout]     |
[INFO] [stdout] 196 |       Pair(box a, box b) => Pair(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                  ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 196 |       Pair(box a, box b) => Pair(Box::new(a.subst(ctx)), box b.subst(ctx)),
[INFO] [stdout]     |                                  ~~~~~~~~~            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:196:52
[INFO] [stdout]     |
[INFO] [stdout] 196 |       Pair(box a, box b) => Pair(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 196 |       Pair(box a, box b) => Pair(box a.subst(ctx), Box::new(b.subst(ctx))),
[INFO] [stdout]     |                                                    ~~~~~~~~~            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:197:38
[INFO] [stdout]     |
[INFO] [stdout] 197 |       Either(box a, box b) => Either(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                      ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 197 |       Either(box a, box b) => Either(Box::new(a.subst(ctx)), box b.subst(ctx)),
[INFO] [stdout]     |                                      ~~~~~~~~~            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:197:56
[INFO] [stdout]     |
[INFO] [stdout] 197 |       Either(box a, box b) => Either(box a.subst(ctx), box b.subst(ctx)),
[INFO] [stdout]     |                                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 197 |       Either(box a, box b) => Either(box a.subst(ctx), Box::new(b.subst(ctx))),
[INFO] [stdout]     |                                                        ~~~~~~~~~            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:212:44
[INFO] [stdout]     |
[INFO] [stdout] 212 |       Forall(uvar, box ty) => Forall(uvar, box ty.subst(ctx)),
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 212 |       Forall(uvar, box ty) => Forall(uvar, Box::new(ty.subst(ctx))),
[INFO] [stdout]     |                                            ~~~~~~~~~             +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:232:13
[INFO] [stdout]     |
[INFO] [stdout] 232 |         Err(box Unbound(self.clone()))
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 232 |         Err(Box::new(Unbound(self.clone())))
[INFO] [stdout]     |             ~~~~~~~~~                     +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:247:13
[INFO] [stdout]     |
[INFO] [stdout] 247 |         Err(box Unbound(self.clone()))
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 247 |         Err(Box::new(Unbound(self.clone())))
[INFO] [stdout]     |             ~~~~~~~~~                     +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:270:15
[INFO] [stdout]     |
[INFO] [stdout] 270 |           Err(box Cyclic(EVar(evar.to_string()), self.clone()))
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 270 |           Err(Box::new(Cyclic(EVar(evar.to_string()), self.clone())))
[INFO] [stdout]     |               ~~~~~~~~~                                            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:276:40
[INFO] [stdout]     |
[INFO] [stdout] 276 |         .map_err(|box Cyclic(evar, _)| box Cyclic(evar, self.clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 276 |         .map_err(|box Cyclic(evar, _)| Box::new(Cyclic(evar, self.clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~                          +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:280:40
[INFO] [stdout]     |
[INFO] [stdout] 280 |         .map_err(|box Cyclic(evar, _)| box Cyclic(evar, self.clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 280 |         .map_err(|box Cyclic(evar, _)| Box::new(Cyclic(evar, self.clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~                          +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:291:15
[INFO] [stdout]     |
[INFO] [stdout] 291 |           Err(box Cyclic(UVar(uvar.to_string()), self.clone()))
[INFO] [stdout]     |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 291 |           Err(Box::new(Cyclic(UVar(uvar.to_string()), self.clone())))
[INFO] [stdout]     |               ~~~~~~~~~                                            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:297:40
[INFO] [stdout]     |
[INFO] [stdout] 297 |         .map_err(|box Cyclic(evar, _)| box Cyclic(evar, self.clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 297 |         .map_err(|box Cyclic(evar, _)| Box::new(Cyclic(evar, self.clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~                          +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:301:40
[INFO] [stdout]     |
[INFO] [stdout] 301 |         .map_err(|box Cyclic(evar, _)| box Cyclic(evar, self.clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 301 |         .map_err(|box Cyclic(evar, _)| Box::new(Cyclic(evar, self.clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~                          +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:355:21
[INFO] [stdout]     |
[INFO] [stdout] 355 |       (l, r) => Err(box Subtype(l.clone(), r.clone())),
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 355 |       (l, r) => Err(Box::new(Subtype(l.clone(), r.clone()))),
[INFO] [stdout]     |                     ~~~~~~~~~                             +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:374:23
[INFO] [stdout]     |
[INFO] [stdout] 374 |           Type::Arrow(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 374 |           Type::Arrow(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                       ~~~~~~~~~                      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:374:51
[INFO] [stdout]     |
[INFO] [stdout] 374 |           Type::Arrow(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 374 |           Type::Arrow(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                   ~~~~~~~~~                      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:388:22
[INFO] [stdout]     |
[INFO] [stdout] 388 |           Type::Pair(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 388 |           Type::Pair(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                      ~~~~~~~~~                      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:388:50
[INFO] [stdout]     |
[INFO] [stdout] 388 |           Type::Pair(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 388 |           Type::Pair(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                  ~~~~~~~~~                      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:402:24
[INFO] [stdout]     |
[INFO] [stdout] 402 |           Type::Either(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 402 |           Type::Either(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                        ~~~~~~~~~                      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:402:52
[INFO] [stdout]     |
[INFO] [stdout] 402 |           Type::Either(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 402 |           Type::Either(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                    ~~~~~~~~~                      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:441:23
[INFO] [stdout]     |
[INFO] [stdout] 441 |           Type::Arrow(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 441 |           Type::Arrow(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                       ~~~~~~~~~                      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:441:51
[INFO] [stdout]     |
[INFO] [stdout] 441 |           Type::Arrow(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 441 |           Type::Arrow(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                   ~~~~~~~~~                      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:455:22
[INFO] [stdout]     |
[INFO] [stdout] 455 |           Type::Pair(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 455 |           Type::Pair(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                      ~~~~~~~~~                      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:455:50
[INFO] [stdout]     |
[INFO] [stdout] 455 |           Type::Pair(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 455 |           Type::Pair(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                  ~~~~~~~~~                      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:469:24
[INFO] [stdout]     |
[INFO] [stdout] 469 |           Type::Either(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 469 |           Type::Either(Box::new(Type::EVar(et.clone())), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                        ~~~~~~~~~                      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:469:52
[INFO] [stdout]     |
[INFO] [stdout] 469 |           Type::Either(box Type::EVar(et.clone()), box Type::EVar(eu.clone())),
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 469 |           Type::Either(box Type::EVar(et.clone()), Box::new(Type::EVar(eu.clone()))),
[INFO] [stdout]     |                                                    ~~~~~~~~~                      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:525:15
[INFO] [stdout]     |
[INFO] [stdout] 525 |             Err(box Cyclic(
[INFO] [stdout]     |  _______________^
[INFO] [stdout] 526 | |             Type::UVar(uvar.to_string()),
[INFO] [stdout] 527 | |             Type::UVar(s.to_string()),
[INFO] [stdout] 528 | |           ))
[INFO] [stdout]     | |___________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 525 ~           Err(Box::new(Cyclic(
[INFO] [stdout] 526 |             Type::UVar(uvar.to_string()),
[INFO] [stdout] 527 |             Type::UVar(s.to_string()),
[INFO] [stdout] 528 ~           )))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:534:40
[INFO] [stdout]     |
[INFO] [stdout] 534 |         .map_err(|box Cyclic(uvar, _)| box Cyclic(uvar, (*ty).clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 534 |         .map_err(|box Cyclic(uvar, _)| Box::new(Cyclic(uvar, (*ty).clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~                           +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:547:15
[INFO] [stdout]     |
[INFO] [stdout] 547 |             Err(box Cyclic(
[INFO] [stdout]     |  _______________^
[INFO] [stdout] 548 | |             Type::EVar(evar.to_string()),
[INFO] [stdout] 549 | |             Type::EVar(s.to_string()),
[INFO] [stdout] 550 | |           ))
[INFO] [stdout]     | |___________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 547 ~           Err(Box::new(Cyclic(
[INFO] [stdout] 548 |             Type::EVar(evar.to_string()),
[INFO] [stdout] 549 |             Type::EVar(s.to_string()),
[INFO] [stdout] 550 ~           )))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:556:13
[INFO] [stdout]     |
[INFO] [stdout] 556 |           Err(box Cyclic(
[INFO] [stdout]     |  _____________^
[INFO] [stdout] 557 | |           Type::EVar(evar.to_string()),
[INFO] [stdout] 558 | |           Type::EVar(s.to_string()),
[INFO] [stdout] 559 | |         ))
[INFO] [stdout]     | |_________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 556 ~         Err(Box::new(Cyclic(
[INFO] [stdout] 557 |           Type::EVar(evar.to_string()),
[INFO] [stdout] 558 |           Type::EVar(s.to_string()),
[INFO] [stdout] 559 ~         )))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:621:24
[INFO] [stdout]     |
[INFO] [stdout] 621 |         Ok(Type::Arrow(box Type::EVar(evar1), box Type::EVar(evar2)))
[INFO] [stdout]     |                        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 621 |         Ok(Type::Arrow(Box::new(Type::EVar(evar1)), box Type::EVar(evar2)))
[INFO] [stdout]     |                        ~~~~~~~~~                 +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:621:47
[INFO] [stdout]     |
[INFO] [stdout] 621 |         Ok(Type::Arrow(box Type::EVar(evar1), box Type::EVar(evar2)))
[INFO] [stdout]     |                                               ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 621 |         Ok(Type::Arrow(box Type::EVar(evar1), Box::new(Type::EVar(evar2))))
[INFO] [stdout]     |                                               ~~~~~~~~~                 +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:628:47
[INFO] [stdout]     |
[INFO] [stdout] 628 |       Cons(box fst, box snd) => Ok(Type::Pair(box fst.infer(ctx)?, box snd.infer(ctx)?)),
[INFO] [stdout]     |                                               ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 628 |       Cons(box fst, box snd) => Ok(Type::Pair(Box::new(fst.infer(ctx)?), box snd.infer(ctx)?)),
[INFO] [stdout]     |                                               ~~~~~~~~~               +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:628:68
[INFO] [stdout]     |
[INFO] [stdout] 628 |       Cons(box fst, box snd) => Ok(Type::Pair(box fst.infer(ctx)?, box snd.infer(ctx)?)),
[INFO] [stdout]     |                                                                    ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 628 |       Cons(box fst, box snd) => Ok(Type::Pair(box fst.infer(ctx)?, Box::new(snd.infer(ctx)?))),
[INFO] [stdout]     |                                                                    ~~~~~~~~~               +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:666:17
[INFO] [stdout]     |
[INFO] [stdout] 666 |           Arrow(box EVar(eva.clone()), box EVar(evb.clone())),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 666 |           Arrow(Box::new(EVar(eva.clone())), box EVar(evb.clone())),
[INFO] [stdout]     |                 ~~~~~~~~~                 +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/lib/typing.rs:666:40
[INFO] [stdout]     |
[INFO] [stdout] 666 |           Arrow(box EVar(eva.clone()), box EVar(evb.clone())),
[INFO] [stdout]     |                                        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 666 |           Arrow(box EVar(eva.clone()), Box::new(EVar(evb.clone()))),
[INFO] [stdout]     |                                        ~~~~~~~~~                 +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:17:13
[INFO] [stdout]    |
[INFO] [stdout] 17 |     let A = box Var("a".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 17 |     let A = Box::new(Var("a".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 |     let B = box Var("b".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 18 |     let B = Box::new(Var("b".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:19:13
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let X = box Var("x".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 19 |     let X = Box::new(Var("x".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:20:13
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let Y = box Var("y".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let Y = Box::new(Var("y".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:22:17
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let EXPR0 = box Lam("y".into(), X.clone());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let EXPR0 = Box::new(Lam("y".into(), X.clone()));
[INFO] [stdout]    |                 ~~~~~~~~~                          +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:23:17
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let EXPR1 = box Lam("x".into(), EXPR0.clone()); // \x. \y. x
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let EXPR1 = Box::new(Lam("x".into(), EXPR0.clone())); // \x. \y. x
[INFO] [stdout]    |                 ~~~~~~~~~                              +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:25:17
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let EXPR2 = box App(EXPR1.clone(), A.clone()); // (\x. \y. x) a
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 25 |     let EXPR2 = Box::new(App(EXPR1.clone(), A.clone())); // (\x. \y. x) a
[INFO] [stdout]    |                 ~~~~~~~~~                             +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:26:17
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let EXPR3 = box App(EXPR1.clone(), B.clone()); // (\x. \y. x) b
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 26 |     let EXPR3 = Box::new(App(EXPR1.clone(), B.clone())); // (\x. \y. x) b
[INFO] [stdout]    |                 ~~~~~~~~~                             +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:27:17
[INFO] [stdout]    |
[INFO] [stdout] 27 |     let EXPR4 = box App(EXPR2.clone(), B.clone()); // (\x. \y. x) a b
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 27 |     let EXPR4 = Box::new(App(EXPR2.clone(), B.clone())); // (\x. \y. x) a b
[INFO] [stdout]    |                 ~~~~~~~~~                             +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:58:13
[INFO] [stdout]    |
[INFO] [stdout] 58 |     let A = box Var("a".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 58 |     let A = Box::new(Var("a".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:59:13
[INFO] [stdout]    |
[INFO] [stdout] 59 |     let B = box Var("b".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 59 |     let B = Box::new(Var("b".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:60:13
[INFO] [stdout]    |
[INFO] [stdout] 60 |     let X = box Var("x".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 60 |     let X = Box::new(Var("x".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:61:13
[INFO] [stdout]    |
[INFO] [stdout] 61 |     let Y = box Var("y".to_string());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 61 |     let Y = Box::new(Var("y".to_string()));
[INFO] [stdout]    |             ~~~~~~~~~                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:63:17
[INFO] [stdout]    |
[INFO] [stdout] 63 |     let EXPR0 = box Cons(A.clone(), B.clone());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 63 |     let EXPR0 = Box::new(Cons(A.clone(), B.clone()));
[INFO] [stdout]    |                 ~~~~~~~~~                          +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:64:17
[INFO] [stdout]    |
[INFO] [stdout] 64 |     let EXPR1 = box Inl(EXPR0.clone());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 64 |     let EXPR1 = Box::new(Inl(EXPR0.clone()));
[INFO] [stdout]    |                 ~~~~~~~~~                  +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:65:17
[INFO] [stdout]    |
[INFO] [stdout] 65 |     let EXPR2 = box Inr(EXPR0.clone());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 65 |     let EXPR2 = Box::new(Inr(EXPR0.clone()));
[INFO] [stdout]    |                 ~~~~~~~~~                  +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/lib/tests.rs:66:17
[INFO] [stdout]    |
[INFO] [stdout] 66 |     let EXPR3 = box Cons(X.clone(), EXPR0.clone());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 66 |     let EXPR3 = Box::new(Cons(X.clone(), EXPR0.clone()));
[INFO] [stdout]    |                 ~~~~~~~~~                              +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Subtype`
[INFO] [stdout]  --> src/lib/typing.rs:9:47
[INFO] [stdout]   |
[INFO] [stdout] 9 |   errors::{CheckingError, Cyclic, Incomplete, Subtype, Unbound, Untyped},
[INFO] [stdout]   |                                               ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `Parser`, `bytes::complete::take_while`, `char`, `digit0`, `is_hex_digit`, `number::complete::hex_u32`, and `sequence::pair`
[INFO] [stdout]  --> src/lib/parsing/word64.rs:4:17
[INFO] [stdout]   |
[INFO] [stdout] 4 |     complete::{ char, digit0, hex_digit1 },
[INFO] [stdout]   |                 ^^^^  ^^^^^^
[INFO] [stdout] 5 |     is_hex_digit
[INFO] [stdout]   |     ^^^^^^^^^^^^
[INFO] [stdout] 6 |   },
[INFO] [stdout] 7 |   number::complete::hex_u32, sequence::pair, bytes::complete::take_while, Parser
[INFO] [stdout]   |   ^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^  ^^^^^^^^^^^^^^^^^^^^^^^^^^^  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]    --> src/lib/expr.rs:101:15
[INFO] [stdout]     |
[INFO] [stdout] 101 |       Program(p) => todo!(),
[INFO] [stdout]     |               ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `e`
[INFO] [stdout]    --> src/lib/expr.rs:105:17
[INFO] [stdout]     |
[INFO] [stdout] 105 |       Annotated(e, t) => todo!(),
[INFO] [stdout]     |                 ^ help: if this is intentional, prefix it with an underscore: `_e`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `t`
[INFO] [stdout]    --> src/lib/expr.rs:105:20
[INFO] [stdout]     |
[INFO] [stdout] 105 |       Annotated(e, t) => todo!(),
[INFO] [stdout]     |                    ^ help: if this is intentional, prefix it with an underscore: `_t`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/lib/parsing/word64.rs:17:14
[INFO] [stdout]    |
[INFO] [stdout] 17 | fn parse_i64(input : &str) -> IResult<&str, i64> {
[INFO] [stdout]    |              ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `input`
[INFO] [stdout]   --> src/lib/parsing/word64.rs:21:15
[INFO] [stdout]    |
[INFO] [stdout] 21 | fn parse_word(input : &str) -> IResult<&str, Word64> {
[INFO] [stdout]    |               ^^^^^ help: if this is intentional, prefix it with an underscore: `_input`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `hexcalc` (lib) due to 86 previous errors; 7 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "5f674fc475d33af976baac9ecf5ac95b009a5675470e5755e7d44e419f0f8293", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5f674fc475d33af976baac9ecf5ac95b009a5675470e5755e7d44e419f0f8293", kill_on_drop: false }`
[INFO] [stdout] 5f674fc475d33af976baac9ecf5ac95b009a5675470e5755e7d44e419f0f8293
