[INFO] cloning repository https://github.com/serbanrobu/tree-calculus
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/serbanrobu/tree-calculus" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fserbanrobu%2Ftree-calculus", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fserbanrobu%2Ftree-calculus'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3973dd390426ed0e08eade953804b4bca8913cd3
[INFO] checking serbanrobu/tree-calculus against 3154cc1a3e6424e44f438a95007d043ed5ceaaf6+rustflags=-Znext-solver=coherence for pr-133502-30
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fserbanrobu%2Ftree-calculus" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/serbanrobu/tree-calculus
[INFO] finished tweaking git repo https://github.com/serbanrobu/tree-calculus
[INFO] tweaked toml for git repo https://github.com/serbanrobu/tree-calculus written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/serbanrobu/tree-calculus on toolchain 3154cc1a3e6424e44f438a95007d043ed5ceaaf6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/serbanrobu/tree-calculus 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" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded thiserror-impl v2.0.11
[INFO] [stderr]   Downloaded thiserror v2.0.11
[INFO] [stderr]   Downloaded unicode-ident v1.0.17
[INFO] [stderr]   Downloaded serde v1.0.218
[INFO] [stderr]   Downloaded anstyle v1.0.10
[INFO] [stderr]   Downloaded terminal_size v0.4.1
[INFO] [stderr]   Downloaded salsa-macro-rules v0.1.0
[INFO] [stderr]   Downloaded supports-unicode v3.0.0
[INFO] [stderr]   Downloaded colorchoice v1.0.3
[INFO] [stderr]   Downloaded anstyle-wincon v3.0.7
[INFO] [stderr]   Downloaded ascii-canvas v4.0.0
[INFO] [stderr]   Downloaded anstyle-query v1.1.2
[INFO] [stderr]   Downloaded siphasher v1.0.1
[INFO] [stderr]   Downloaded is_ci v1.2.0
[INFO] [stderr]   Downloaded home v0.5.11
[INFO] [stderr]   Downloaded backtrace-ext v0.2.1
[INFO] [stderr]   Downloaded winapi-util v0.1.9
[INFO] [stderr]   Downloaded keccak v0.1.5
[INFO] [stderr]   Downloaded adler2 v2.0.0
[INFO] [stderr]   Downloaded is_terminal_polyfill v1.70.1
[INFO] [stderr]   Downloaded errno v0.3.10
[INFO] [stderr]   Downloaded supports-hyperlinks v3.1.0
[INFO] [stderr]   Downloaded beef v0.5.2
[INFO] [stderr]   Downloaded lalrpop-util v0.22.1
[INFO] [stderr]   Downloaded clap_lex v0.7.4
[INFO] [stderr]   Downloaded logos-derive v0.15.0
[INFO] [stderr]   Downloaded supports-color v3.0.2
[INFO] [stderr]   Downloaded salsa-macros v0.18.0
[INFO] [stderr]   Downloaded synstructure v0.13.1
[INFO] [stderr]   Downloaded hashlink v0.9.1
[INFO] [stderr]   Downloaded dashmap v6.1.0
[INFO] [stderr]   Downloaded boxcar v0.2.10
[INFO] [stderr]   Downloaded pin-project-lite v0.2.16
[INFO] [stderr]   Downloaded autocfg v1.4.0
[INFO] [stderr]   Downloaded parking_lot v0.12.3
[INFO] [stderr]   Downloaded parking_lot_core v0.9.10
[INFO] [stderr]   Downloaded rustversion v1.0.19
[INFO] [stderr]   Downloaded owo-colors v4.1.0
[INFO] [stderr]   Downloaded string_cache v0.8.8
[INFO] [stderr]   Downloaded fixedbitset v0.5.7
[INFO] [stderr]   Downloaded ena v0.14.3
[INFO] [stderr]   Downloaded anstream v0.6.18
[INFO] [stderr]   Downloaded once_cell v1.20.3
[INFO] [stderr]   Downloaded tracing-attributes v0.1.28
[INFO] [stderr]   Downloaded redox_syscall v0.5.9
[INFO] [stderr]   Downloaded lock_api v0.4.12
[INFO] [stderr]   Downloaded miette-derive v7.5.0
[INFO] [stderr]   Downloaded rustc-demangle v0.1.24
[INFO] [stderr]   Downloaded semver v1.0.25
[INFO] [stderr]   Downloaded generator v0.8.4
[INFO] [stderr]   Downloaded anstyle-parse v0.2.6
[INFO] [stderr]   Downloaded zerocopy-derive v0.7.35
[INFO] [stderr]   Downloaded log v0.4.26
[INFO] [stderr]   Downloaded textwrap v0.16.1
[INFO] [stderr]   Downloaded addr2line v0.24.2
[INFO] [stderr]   Downloaded term v1.0.1
[INFO] [stderr]   Downloaded clap v4.5.30
[INFO] [stderr]   Downloaded clap_derive v4.5.28
[INFO] [stderr]   Downloaded serde_derive v1.0.218
[INFO] [stderr]   Downloaded bitflags v2.8.0
[INFO] [stderr]   Downloaded loom v0.7.2
[INFO] [stderr]   Downloaded arc-swap v1.7.1
[INFO] [stderr]   Downloaded logos-codegen v0.15.0
[INFO] [stderr]   Downloaded typenum v1.18.0
[INFO] [stderr]   Downloaded tracing v0.1.41
[INFO] [stderr]   Downloaded tracing-core v0.1.33
[INFO] [stderr]   Downloaded smallvec v1.14.0
[INFO] [stderr]   Downloaded rayon-core v1.12.1
[INFO] [stderr]   Downloaded backtrace v0.3.74
[INFO] [stderr]   Downloaded miniz_oxide v0.8.5
[INFO] [stderr]   Downloaded indexmap v2.7.1
[INFO] [stderr]   Downloaded miette v7.5.0
[INFO] [stderr]   Downloaded hashbrown v0.15.2
[INFO] [stderr]   Downloaded zerocopy v0.7.35
[INFO] [stderr]   Downloaded rayon v1.10.0
[INFO] [stderr]   Downloaded syn v2.0.98
[INFO] [stderr]   Downloaded clap_builder v4.5.30
[INFO] [stderr]   Downloaded tracing-subscriber v0.3.19
[INFO] [stderr]   Downloaded lalrpop v0.22.1
[INFO] [stderr]   Downloaded gimli v0.31.1
[INFO] [stderr]   Downloaded object v0.36.7
[INFO] [stderr]   Downloaded salsa v0.18.0
[INFO] [stderr]   Downloaded petgraph v0.7.1
[INFO] [stderr]   Downloaded sha3 v0.10.8
[INFO] [stderr]   Downloaded logos v0.15.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 9298598ef9bca5bcd614f7921b56535ee6d617b9a2976ac084a50193d13d02ec
[INFO] running `Command { std: "docker" "start" "9298598ef9bca5bcd614f7921b56535ee6d617b9a2976ac084a50193d13d02ec", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9298598ef9bca5bcd614f7921b56535ee6d617b9a2976ac084a50193d13d02ec", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9298598ef9bca5bcd614f7921b56535ee6d617b9a2976ac084a50193d13d02ec" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9298598ef9bca5bcd614f7921b56535ee6d617b9a2976ac084a50193d13d02ec", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Znext-solver=coherence" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "9298598ef9bca5bcd614f7921b56535ee6d617b9a2976ac084a50193d13d02ec" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.93
[INFO] [stderr]    Compiling unicode-ident v1.0.17
[INFO] [stderr]    Compiling libc v0.2.169
[INFO] [stderr]    Compiling autocfg v1.4.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.10
[INFO] [stderr]    Compiling typenum v1.18.0
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling semver v1.0.25
[INFO] [stderr]     Checking once_cell v1.20.3
[INFO] [stderr]    Compiling rustversion v1.0.19
[INFO] [stderr]     Checking memchr v2.7.4
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling smallvec v1.14.0
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling hashbrown v0.15.2
[INFO] [stderr]    Compiling equivalent v1.0.2
[INFO] [stderr]    Compiling object v0.36.7
[INFO] [stderr]    Compiling home v0.5.11
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]    Compiling siphasher v1.0.1
[INFO] [stderr]    Compiling term v1.0.1
[INFO] [stderr]    Compiling log v0.4.26
[INFO] [stderr]    Compiling lock_api v0.4.12
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]    Compiling indexmap v2.7.1
[INFO] [stderr]     Checking adler2 v2.0.0
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]     Checking gimli v0.31.1
[INFO] [stderr]    Compiling logos-codegen v0.15.0
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling keccak v0.1.5
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]     Checking allocator-api2 v0.2.21
[INFO] [stderr]     Checking crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling rustix v0.38.44
[INFO] [stderr]    Compiling fixedbitset v0.5.7
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]     Checking utf8parse v0.2.2
[INFO] [stderr]    Compiling quote v1.0.38
[INFO] [stderr]     Checking anstyle-parse v0.2.6
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]     Checking crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling parking_lot v0.12.3
[INFO] [stderr]    Compiling syn v2.0.98
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]     Checking miniz_oxide v0.8.5
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling ascii-canvas v4.0.0
[INFO] [stderr]     Checking hashbrown v0.14.5
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.1
[INFO] [stderr]     Checking rustc-demangle v0.1.24
[INFO] [stderr]     Checking linux-raw-sys v0.4.15
[INFO] [stderr]     Checking anstyle v1.0.10
[INFO] [stderr]    Compiling beef v0.5.2
[INFO] [stderr]     Checking colorchoice v1.0.3
[INFO] [stderr]    Compiling string_cache v0.8.8
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]     Checking bitflags v2.8.0
[INFO] [stderr]    Compiling petgraph v0.7.1
[INFO] [stderr]     Checking anstyle-query v1.1.2
[INFO] [stderr]    Compiling owo-colors v4.1.0
[INFO] [stderr]     Checking anstream v0.6.18
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.6
[INFO] [stderr]     Checking tracing-core v0.1.33
[INFO] [stderr]     Checking strsim v0.11.1
[INFO] [stderr]    Compiling serde v1.0.218
[INFO] [stderr]     Checking is_ci v1.2.0
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling sha3 v0.10.8
[INFO] [stderr]    Compiling thiserror v2.0.11
[INFO] [stderr]     Checking unicode-linebreak v0.1.5
[INFO] [stderr]     Checking pin-project-lite v0.2.16
[INFO] [stderr]     Checking clap_lex v0.7.4
[INFO] [stderr]     Checking rayon v1.10.0
[INFO] [stderr]     Checking textwrap v0.16.1
[INFO] [stderr]     Checking clap_builder v4.5.30
[INFO] [stderr]     Checking supports-color v3.0.2
[INFO] [stderr]     Checking dashmap v6.1.0
[INFO] [stderr]     Checking hashlink v0.9.1
[INFO] [stderr]     Checking crossbeam-queue v0.3.12
[INFO] [stderr]     Checking supports-unicode v3.0.0
[INFO] [stderr]     Checking arc-swap v1.7.1
[INFO] [stderr]     Checking boxcar v0.2.10
[INFO] [stderr]     Checking salsa-macro-rules v0.1.0
[INFO] [stderr]     Checking rustc-hash v2.1.1
[INFO] [stderr]     Checking supports-hyperlinks v3.1.0
[INFO] [stderr]     Checking terminal_size v0.4.1
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]     Checking addr2line v0.24.2
[INFO] [stderr]     Checking backtrace v0.3.74
[INFO] [stderr]    Compiling lalrpop-util v0.22.1
[INFO] [stderr]    Compiling regex v1.11.1
[INFO] [stderr]     Checking backtrace-ext v0.2.1
[INFO] [stderr]    Compiling lalrpop v0.22.1
[INFO] [stderr]    Compiling synstructure v0.13.1
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling tracing-attributes v0.1.28
[INFO] [stderr]    Compiling thiserror-impl v2.0.11
[INFO] [stderr]    Compiling miette-derive v7.5.0
[INFO] [stderr]    Compiling clap_derive v4.5.28
[INFO] [stderr]    Compiling serde_derive v1.0.218
[INFO] [stderr]    Compiling salsa-macros v0.18.0
[INFO] [stderr]    Compiling logos-derive v0.15.0
[INFO] [stderr]     Checking logos v0.15.0
[INFO] [stderr]     Checking tracing v0.1.41
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]     Checking miette v7.5.0
[INFO] [stderr]     Checking salsa v0.18.0
[INFO] [stderr]     Checking clap v4.5.30
[INFO] [stderr]    Compiling tree-calculus v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: removed in 1.100.0
[INFO] [stdout]   = note: superseded by `deref_patterns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:28:26
[INFO] [stdout]    |
[INFO] [stdout] 28 |             (Value::Fork(box Value::ListTag, box t_ty), Self::List(ts)) => {
[INFO] [stdout]    |                          ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 28 -             (Value::Fork(box Value::ListTag, box t_ty), Self::List(ts)) => {
[INFO] [stdout] 28 +             (Value::Fork(Value::ListTag, box t_ty), Self::List(ts)) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 28 -             (Value::Fork(box Value::ListTag, box t_ty), Self::List(ts)) => {
[INFO] [stdout] 28 +             (Value::Fork(deref!(Value::ListTag), box t_ty), Self::List(ts)) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:28:46
[INFO] [stdout]    |
[INFO] [stdout] 28 |             (Value::Fork(box Value::ListTag, box t_ty), Self::List(ts)) => {
[INFO] [stdout]    |                                              ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 28 -             (Value::Fork(box Value::ListTag, box t_ty), Self::List(ts)) => {
[INFO] [stdout] 28 +             (Value::Fork(box Value::ListTag, t_ty), Self::List(ts)) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 28 -             (Value::Fork(box Value::ListTag, box t_ty), Self::List(ts)) => {
[INFO] [stdout] 28 +             (Value::Fork(box Value::ListTag, deref!(t_ty)), Self::List(ts)) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: removed in 1.100.0
[INFO] [stdout]   = note: superseded by `deref_patterns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:37:29
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout]    |                             ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(deref!(Value::PiTag), box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:37:63
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout]    |                                                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(box Value::PiTag, box Value::Fork(s_ty, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(box Value::PiTag, box Value::Fork(deref!(s_ty), box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:37:73
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout]    |                                                                         ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, deref!(t_ty))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:37:47
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout]    |                                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(box Value::PiTag, Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(box Value::PiTag, deref!(Value::Fork(box s_ty, box t_ty))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:38:33
[INFO] [stdout]    |
[INFO] [stdout] 38 |                 Self::Lambda(x, box t),
[INFO] [stdout]    |                                 ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 38 -                 Self::Lambda(x, box t),
[INFO] [stdout] 38 +                 Self::Lambda(x, t),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 38 -                 Self::Lambda(x, box t),
[INFO] [stdout] 38 +                 Self::Lambda(x, deref!(t)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:53:29
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout]    |                             ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(deref!(Value::SigmaTag), box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:28:26
[INFO] [stdout]    |
[INFO] [stdout] 28 |             (Value::Fork(box Value::ListTag, box t_ty), Self::List(ts)) => {
[INFO] [stdout]    |                          ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 28 -             (Value::Fork(box Value::ListTag, box t_ty), Self::List(ts)) => {
[INFO] [stdout] 28 +             (Value::Fork(Value::ListTag, box t_ty), Self::List(ts)) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 28 -             (Value::Fork(box Value::ListTag, box t_ty), Self::List(ts)) => {
[INFO] [stdout] 28 +             (Value::Fork(deref!(Value::ListTag), box t_ty), Self::List(ts)) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:53:66
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout]    |                                                                  ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(box Value::SigmaTag, box Value::Fork(t_ty, box u_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(box Value::SigmaTag, box Value::Fork(deref!(t_ty), box u_ty)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:28:46
[INFO] [stdout]    |
[INFO] [stdout] 28 |             (Value::Fork(box Value::ListTag, box t_ty), Self::List(ts)) => {
[INFO] [stdout]    |                                              ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 28 -             (Value::Fork(box Value::ListTag, box t_ty), Self::List(ts)) => {
[INFO] [stdout] 28 +             (Value::Fork(box Value::ListTag, t_ty), Self::List(ts)) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 28 -             (Value::Fork(box Value::ListTag, box t_ty), Self::List(ts)) => {
[INFO] [stdout] 28 +             (Value::Fork(box Value::ListTag, deref!(t_ty)), Self::List(ts)) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:53:76
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout]    |                                                                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, u_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, deref!(u_ty))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:37:29
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout]    |                             ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(deref!(Value::PiTag), box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:53:50
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout]    |                                                  ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(box Value::SigmaTag, Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(box Value::SigmaTag, deref!(Value::Fork(box t_ty, box u_ty))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:37:63
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout]    |                                                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(box Value::PiTag, box Value::Fork(s_ty, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(box Value::PiTag, box Value::Fork(deref!(s_ty), box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:64:29
[INFO] [stdout]    |
[INFO] [stdout] 64 |                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout]    |                             ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(deref!(Value::VectorTag), box Value::Fork(box len, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:37:73
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout]    |                                                                         ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, deref!(t_ty))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:64:67
[INFO] [stdout]    |
[INFO] [stdout] 64 |                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout]    |                                                                   ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(box Value::VectorTag, box Value::Fork(len, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(box Value::VectorTag, box Value::Fork(deref!(len), box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:37:47
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout]    |                                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(box Value::PiTag, Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 37 -                 Value::Fork(box Value::PiTag, box Value::Fork(box s_ty, box t_ty)),
[INFO] [stdout] 37 +                 Value::Fork(box Value::PiTag, deref!(Value::Fork(box s_ty, box t_ty))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:64:76
[INFO] [stdout]    |
[INFO] [stdout] 64 |                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout]    |                                                                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, deref!(t_ty))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:38:33
[INFO] [stdout]    |
[INFO] [stdout] 38 |                 Self::Lambda(x, box t),
[INFO] [stdout]    |                                 ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 38 -                 Self::Lambda(x, box t),
[INFO] [stdout] 38 +                 Self::Lambda(x, t),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 38 -                 Self::Lambda(x, box t),
[INFO] [stdout] 38 +                 Self::Lambda(x, deref!(t)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:53:29
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout]    |                             ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(deref!(Value::SigmaTag), box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:64:51
[INFO] [stdout]    |
[INFO] [stdout] 64 |                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout]    |                                                   ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(box Value::VectorTag, Value::Fork(box len, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(box Value::VectorTag, deref!(Value::Fork(box len, box t_ty))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:53:66
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout]    |                                                                  ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(box Value::SigmaTag, box Value::Fork(t_ty, box u_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(box Value::SigmaTag, box Value::Fork(deref!(t_ty), box u_ty)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:90:31
[INFO] [stdout]    |
[INFO] [stdout] 90 |             Self::Application(box t, box u) => {
[INFO] [stdout]    |                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 90 -             Self::Application(box t, box u) => {
[INFO] [stdout] 90 +             Self::Application(t, box u) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 90 -             Self::Application(box t, box u) => {
[INFO] [stdout] 90 +             Self::Application(deref!(t), box u) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:53:76
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout]    |                                                                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, u_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, deref!(u_ty))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:90:38
[INFO] [stdout]    |
[INFO] [stdout] 90 |             Self::Application(box t, box u) => {
[INFO] [stdout]    |                                      ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 90 -             Self::Application(box t, box u) => {
[INFO] [stdout] 90 +             Self::Application(box t, u) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 90 -             Self::Application(box t, box u) => {
[INFO] [stdout] 90 +             Self::Application(box t, deref!(u)) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:53:50
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout]    |                                                  ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(box Value::SigmaTag, Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 53 -                 Value::Fork(box Value::SigmaTag, box Value::Fork(box t_ty, box u_ty)),
[INFO] [stdout] 53 +                 Value::Fork(box Value::SigmaTag, deref!(Value::Fork(box t_ty, box u_ty))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:93:34
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout]    |                                  ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(deref!(Value::PiTag), box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:64:29
[INFO] [stdout]    |
[INFO] [stdout] 64 |                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout]    |                             ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(deref!(Value::VectorTag), box Value::Fork(box len, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:93:68
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout]    |                                                                    ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(box Value::PiTag, box Value::Fork(u_ty, box v_ty)), t) =
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(box Value::PiTag, box Value::Fork(deref!(u_ty), box v_ty)), t) =
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:64:67
[INFO] [stdout]    |
[INFO] [stdout] 64 |                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout]    |                                                                   ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(box Value::VectorTag, box Value::Fork(len, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(box Value::VectorTag, box Value::Fork(deref!(len), box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:93:78
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout]    |                                                                              ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, v_ty)), t) =
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, deref!(v_ty))), t) =
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:93:52
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout]    |                                                    ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(box Value::PiTag, Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(box Value::PiTag, deref!(Value::Fork(box u_ty, box v_ty))), t) =
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:64:76
[INFO] [stdout]    |
[INFO] [stdout] 64 |                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout]    |                                                                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, deref!(t_ty))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:109:23
[INFO] [stdout]     |
[INFO] [stdout] 109 |             Self::Dot(box t, x) => {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 109 -             Self::Dot(box t, x) => {
[INFO] [stdout] 109 +             Self::Dot(t, x) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 109 -             Self::Dot(box t, x) => {
[INFO] [stdout] 109 +             Self::Dot(deref!(t), x) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:64:51
[INFO] [stdout]    |
[INFO] [stdout] 64 |                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout]    |                                                   ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(box Value::VectorTag, Value::Fork(box len, box t_ty)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 64 -                 Value::Fork(box Value::VectorTag, box Value::Fork(box len, box t_ty)),
[INFO] [stdout] 64 +                 Value::Fork(box Value::VectorTag, deref!(Value::Fork(box len, box t_ty))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:90:31
[INFO] [stdout]    |
[INFO] [stdout] 90 |             Self::Application(box t, box u) => {
[INFO] [stdout]    |                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 90 -             Self::Application(box t, box u) => {
[INFO] [stdout] 90 +             Self::Application(t, box u) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 90 -             Self::Application(box t, box u) => {
[INFO] [stdout] 90 +             Self::Application(deref!(t), box u) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:124:34
[INFO] [stdout]     |
[INFO] [stdout] 124 |                     (Value::Fork(box Value::ListTag, u_ty), "prepend") => Ok((
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 124 -                     (Value::Fork(box Value::ListTag, u_ty), "prepend") => Ok((
[INFO] [stdout] 124 +                     (Value::Fork(Value::ListTag, u_ty), "prepend") => Ok((
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 124 -                     (Value::Fork(box Value::ListTag, u_ty), "prepend") => Ok((
[INFO] [stdout] 124 +                     (Value::Fork(deref!(Value::ListTag), u_ty), "prepend") => Ok((
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:134:34
[INFO] [stdout]     |
[INFO] [stdout] 134 |                     (Value::Fork(box Value::VectorTag, box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 134 -                     (Value::Fork(box Value::VectorTag, box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout] 134 +                     (Value::Fork(Value::VectorTag, box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 134 -                     (Value::Fork(box Value::VectorTag, box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout] 134 +                     (Value::Fork(deref!(Value::VectorTag), box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:134:56
[INFO] [stdout]     |
[INFO] [stdout] 134 |                     (Value::Fork(box Value::VectorTag, box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout]     |                                                        ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 134 -                     (Value::Fork(box Value::VectorTag, box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout] 134 +                     (Value::Fork(box Value::VectorTag, Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 134 -                     (Value::Fork(box Value::VectorTag, box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout] 134 +                     (Value::Fork(box Value::VectorTag, deref!(Value::Fork(n, u_ty))), "prepend") => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:153:37
[INFO] [stdout]     |
[INFO] [stdout] 153 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout]     |                                     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(deref!(Value::SigmaTag), box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:90:38
[INFO] [stdout]    |
[INFO] [stdout] 90 |             Self::Application(box t, box u) => {
[INFO] [stdout]    |                                      ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 90 -             Self::Application(box t, box u) => {
[INFO] [stdout] 90 +             Self::Application(box t, u) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 90 -             Self::Application(box t, box u) => {
[INFO] [stdout] 90 +             Self::Application(box t, deref!(u)) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:93:34
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout]    |                                  ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(deref!(Value::PiTag), box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:93:68
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout]    |                                                                    ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(box Value::PiTag, box Value::Fork(u_ty, box v_ty)), t) =
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(box Value::PiTag, box Value::Fork(deref!(u_ty), box v_ty)), t) =
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:93:78
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout]    |                                                                              ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, v_ty)), t) =
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, deref!(v_ty))), t) =
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/elaboration.rs:93:52
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout]    |                                                    ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(box Value::PiTag, Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 93 -                 let (Value::Fork(box Value::PiTag, box Value::Fork(box u_ty, box v_ty)), t) =
[INFO] [stdout] 93 +                 let (Value::Fork(box Value::PiTag, deref!(Value::Fork(box u_ty, box v_ty))), t) =
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:109:23
[INFO] [stdout]     |
[INFO] [stdout] 109 |             Self::Dot(box t, x) => {
[INFO] [stdout]     |                       ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 109 -             Self::Dot(box t, x) => {
[INFO] [stdout] 109 +             Self::Dot(t, x) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 109 -             Self::Dot(box t, x) => {
[INFO] [stdout] 109 +             Self::Dot(deref!(t), x) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:124:34
[INFO] [stdout]     |
[INFO] [stdout] 124 |                     (Value::Fork(box Value::ListTag, u_ty), "prepend") => Ok((
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 124 -                     (Value::Fork(box Value::ListTag, u_ty), "prepend") => Ok((
[INFO] [stdout] 124 +                     (Value::Fork(Value::ListTag, u_ty), "prepend") => Ok((
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 124 -                     (Value::Fork(box Value::ListTag, u_ty), "prepend") => Ok((
[INFO] [stdout] 124 +                     (Value::Fork(deref!(Value::ListTag), u_ty), "prepend") => Ok((
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:134:34
[INFO] [stdout]     |
[INFO] [stdout] 134 |                     (Value::Fork(box Value::VectorTag, box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout]     |                                  ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 134 -                     (Value::Fork(box Value::VectorTag, box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout] 134 +                     (Value::Fork(Value::VectorTag, box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 134 -                     (Value::Fork(box Value::VectorTag, box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout] 134 +                     (Value::Fork(deref!(Value::VectorTag), box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:153:74
[INFO] [stdout]     |
[INFO] [stdout] 153 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout]     |                                                                          ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(u_ty, box _v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(deref!(u_ty), box _v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:153:84
[INFO] [stdout]     |
[INFO] [stdout] 153 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout]     |                                                                                    ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, _v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, deref!(_v_ty))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:153:58
[INFO] [stdout]     |
[INFO] [stdout] 153 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout]     |                                                          ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(box Value::SigmaTag, Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(box Value::SigmaTag, deref!(Value::Fork(box u_ty, box _v_ty))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:134:56
[INFO] [stdout]     |
[INFO] [stdout] 134 |                     (Value::Fork(box Value::VectorTag, box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout]     |                                                        ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 134 -                     (Value::Fork(box Value::VectorTag, box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout] 134 +                     (Value::Fork(box Value::VectorTag, Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 134 -                     (Value::Fork(box Value::VectorTag, box Value::Fork(n, u_ty)), "prepend") => {
[INFO] [stdout] 134 +                     (Value::Fork(box Value::VectorTag, deref!(Value::Fork(n, u_ty))), "prepend") => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:157:37
[INFO] [stdout]     |
[INFO] [stdout] 157 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout]     |                                     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(deref!(Value::SigmaTag), box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:157:74
[INFO] [stdout]     |
[INFO] [stdout] 157 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout]     |                                                                          ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(_u_ty, box v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(deref!(_u_ty), box v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:157:85
[INFO] [stdout]     |
[INFO] [stdout] 157 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout]     |                                                                                     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, deref!(v_ty))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:153:37
[INFO] [stdout]     |
[INFO] [stdout] 153 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout]     |                                     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(deref!(Value::SigmaTag), box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:157:58
[INFO] [stdout]     |
[INFO] [stdout] 157 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout]     |                                                          ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(box Value::SigmaTag, Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(box Value::SigmaTag, deref!(Value::Fork(box _u_ty, box v_ty))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:153:74
[INFO] [stdout]     |
[INFO] [stdout] 153 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout]     |                                                                          ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(u_ty, box _v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(deref!(u_ty), box _v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:153:84
[INFO] [stdout]     |
[INFO] [stdout] 153 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout]     |                                                                                    ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, _v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, deref!(_v_ty))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:153:58
[INFO] [stdout]     |
[INFO] [stdout] 153 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout]     |                                                          ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(box Value::SigmaTag, Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 153 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box u_ty, box _v_ty)),
[INFO] [stdout] 153 +                         Value::Fork(box Value::SigmaTag, deref!(Value::Fork(box u_ty, box _v_ty))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:157:37
[INFO] [stdout]     |
[INFO] [stdout] 157 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout]     |                                     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(deref!(Value::SigmaTag), box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:12:35
[INFO] [stdout]    |
[INFO] [stdout] 12 |                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout]    |                                   ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 12 -                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout] 12 +                 Self::Application(t_1, box u_ty_1, box u_1),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 12 -                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout] 12 +                 Self::Application(deref!(t_1), box u_ty_1, box u_1),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:12:44
[INFO] [stdout]    |
[INFO] [stdout] 12 |                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout]    |                                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 12 -                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout] 12 +                 Self::Application(box t_1, u_ty_1, box u_1),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 12 -                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout] 12 +                 Self::Application(box t_1, deref!(u_ty_1), box u_1),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:12:56
[INFO] [stdout]    |
[INFO] [stdout] 12 |                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout]    |                                                        ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 12 -                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout] 12 +                 Self::Application(box t_1, box u_ty_1, u_1),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 12 -                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout] 12 +                 Self::Application(box t_1, box u_ty_1, deref!(u_1)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:13:35
[INFO] [stdout]    |
[INFO] [stdout] 13 |                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout]    |                                   ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 13 -                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout] 13 +                 Self::Application(t_2, box u_ty_2, box u_2),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 13 -                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout] 13 +                 Self::Application(deref!(t_2), box u_ty_2, box u_2),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:13:44
[INFO] [stdout]    |
[INFO] [stdout] 13 |                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout]    |                                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 13 -                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout] 13 +                 Self::Application(box t_2, u_ty_2, box u_2),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 13 -                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout] 13 +                 Self::Application(box t_2, deref!(u_ty_2), box u_2),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:157:74
[INFO] [stdout]     |
[INFO] [stdout] 157 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout]     |                                                                          ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(_u_ty, box v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(deref!(_u_ty), box v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:13:56
[INFO] [stdout]    |
[INFO] [stdout] 13 |                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout]    |                                                        ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 13 -                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout] 13 +                 Self::Application(box t_2, box u_ty_2, u_2),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 13 -                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout] 13 +                 Self::Application(box t_2, box u_ty_2, deref!(u_2)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:157:85
[INFO] [stdout]     |
[INFO] [stdout] 157 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout]     |                                                                                     ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, deref!(v_ty))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/elaboration.rs:157:58
[INFO] [stdout]     |
[INFO] [stdout] 157 |                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout]     |                                                          ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(box Value::SigmaTag, Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 157 -                         Value::Fork(box Value::SigmaTag, box Value::Fork(box _u_ty, box v_ty)),
[INFO] [stdout] 157 +                         Value::Fork(box Value::SigmaTag, deref!(Value::Fork(box _u_ty, box v_ty))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:28:31
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Self::Application(box t, box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout]    |                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 28 -             Self::Application(box t, box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout] 28 +             Self::Application(t, box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 28 -             Self::Application(box t, box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout] 28 +             Self::Application(deref!(t), box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:28:38
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Self::Application(box t, box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout]    |                                      ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 28 -             Self::Application(box t, box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout] 28 +             Self::Application(box t, u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 28 -             Self::Application(box t, box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout] 28 +             Self::Application(box t, deref!(u)) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:39:28
[INFO] [stdout]    |
[INFO] [stdout] 39 |             Self::Variable(box ref x) => Err(miette!("variable not found: `{}`", x)),
[INFO] [stdout]    |                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 39 -             Self::Variable(box ref x) => Err(miette!("variable not found: `{}`", x)),
[INFO] [stdout] 39 +             Self::Variable(ref x) => Err(miette!("variable not found: `{}`", x)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 39 -             Self::Variable(box ref x) => Err(miette!("variable not found: `{}`", x)),
[INFO] [stdout] 39 +             Self::Variable(deref!(ref x)) => Err(miette!("variable not found: `{}`", x)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:12:35
[INFO] [stdout]    |
[INFO] [stdout] 12 |                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout]    |                                   ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 12 -                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout] 12 +                 Self::Application(t_1, box u_ty_1, box u_1),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 12 -                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout] 12 +                 Self::Application(deref!(t_1), box u_ty_1, box u_1),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:48:24
[INFO] [stdout]    |
[INFO] [stdout] 48 |             Self::Fork(box t, box u) => match t {
[INFO] [stdout]    |                        ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 48 -             Self::Fork(box t, box u) => match t {
[INFO] [stdout] 48 +             Self::Fork(t, box u) => match t {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 48 -             Self::Fork(box t, box u) => match t {
[INFO] [stdout] 48 +             Self::Fork(deref!(t), box u) => match t {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:12:44
[INFO] [stdout]    |
[INFO] [stdout] 12 |                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout]    |                                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 12 -                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout] 12 +                 Self::Application(box t_1, u_ty_1, box u_1),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 12 -                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout] 12 +                 Self::Application(box t_1, deref!(u_ty_1), box u_1),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:48:31
[INFO] [stdout]    |
[INFO] [stdout] 48 |             Self::Fork(box t, box u) => match t {
[INFO] [stdout]    |                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 48 -             Self::Fork(box t, box u) => match t {
[INFO] [stdout] 48 +             Self::Fork(box t, u) => match t {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 48 -             Self::Fork(box t, box u) => match t {
[INFO] [stdout] 48 +             Self::Fork(box t, deref!(u)) => match t {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:12:56
[INFO] [stdout]    |
[INFO] [stdout] 12 |                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout]    |                                                        ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 12 -                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout] 12 +                 Self::Application(box t_1, box u_ty_1, u_1),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 12 -                 Self::Application(box t_1, box u_ty_1, box u_1),
[INFO] [stdout] 12 +                 Self::Application(box t_1, box u_ty_1, deref!(u_1)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:49:28
[INFO] [stdout]    |
[INFO] [stdout] 49 |                 Self::Fork(box r, box s) => match other {
[INFO] [stdout]    |                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 49 -                 Self::Fork(box r, box s) => match other {
[INFO] [stdout] 49 +                 Self::Fork(r, box s) => match other {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 49 -                 Self::Fork(box r, box s) => match other {
[INFO] [stdout] 49 +                 Self::Fork(deref!(r), box s) => match other {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:13:35
[INFO] [stdout]    |
[INFO] [stdout] 13 |                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout]    |                                   ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 13 -                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout] 13 +                 Self::Application(t_2, box u_ty_2, box u_2),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 13 -                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout] 13 +                 Self::Application(deref!(t_2), box u_ty_2, box u_2),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:13:44
[INFO] [stdout]    |
[INFO] [stdout] 13 |                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout]    |                                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 13 -                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout] 13 +                 Self::Application(box t_2, u_ty_2, box u_2),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 13 -                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout] 13 +                 Self::Application(box t_2, deref!(u_ty_2), box u_2),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:13:56
[INFO] [stdout]    |
[INFO] [stdout] 13 |                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout]    |                                                        ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 13 -                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout] 13 +                 Self::Application(box t_2, box u_ty_2, u_2),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 13 -                 Self::Application(box t_2, box u_ty_2, box u_2),
[INFO] [stdout] 13 +                 Self::Application(box t_2, box u_ty_2, deref!(u_2)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:49:35
[INFO] [stdout]    |
[INFO] [stdout] 49 |                 Self::Fork(box r, box s) => match other {
[INFO] [stdout]    |                                   ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 49 -                 Self::Fork(box r, box s) => match other {
[INFO] [stdout] 49 +                 Self::Fork(box r, s) => match other {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 49 -                 Self::Fork(box r, box s) => match other {
[INFO] [stdout] 49 +                 Self::Fork(box r, deref!(s)) => match other {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:50:32
[INFO] [stdout]    |
[INFO] [stdout] 50 |                     Self::Fork(box v, box w) => u.apply(v)?.apply(w),
[INFO] [stdout]    |                                ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 50 -                     Self::Fork(box v, box w) => u.apply(v)?.apply(w),
[INFO] [stdout] 50 +                     Self::Fork(v, box w) => u.apply(v)?.apply(w),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 50 -                     Self::Fork(box v, box w) => u.apply(v)?.apply(w),
[INFO] [stdout] 50 +                     Self::Fork(deref!(v), box w) => u.apply(v)?.apply(w),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:50:39
[INFO] [stdout]    |
[INFO] [stdout] 50 |                     Self::Fork(box v, box w) => u.apply(v)?.apply(w),
[INFO] [stdout]    |                                       ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 50 -                     Self::Fork(box v, box w) => u.apply(v)?.apply(w),
[INFO] [stdout] 50 +                     Self::Fork(box v, w) => u.apply(v)?.apply(w),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 50 -                     Self::Fork(box v, box w) => u.apply(v)?.apply(w),
[INFO] [stdout] 50 +                     Self::Fork(box v, deref!(w)) => u.apply(v)?.apply(w),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:28:31
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Self::Application(box t, box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout]    |                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 28 -             Self::Application(box t, box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout] 28 +             Self::Application(t, box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 28 -             Self::Application(box t, box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout] 28 +             Self::Application(deref!(t), box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:52:32
[INFO] [stdout]    |
[INFO] [stdout] 52 |                     Self::Stem(box v) => s.apply(v),
[INFO] [stdout]    |                                ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 52 -                     Self::Stem(box v) => s.apply(v),
[INFO] [stdout] 52 +                     Self::Stem(v) => s.apply(v),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 52 -                     Self::Stem(box v) => s.apply(v),
[INFO] [stdout] 52 +                     Self::Stem(deref!(v)) => s.apply(v),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:28:38
[INFO] [stdout]    |
[INFO] [stdout] 28 |             Self::Application(box t, box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout]    |                                      ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 28 -             Self::Application(box t, box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout] 28 +             Self::Application(box t, u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 28 -             Self::Application(box t, box u) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout] 28 +             Self::Application(box t, deref!(u)) => t.evaluate()?.apply(u.evaluate()?),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:39:28
[INFO] [stdout]    |
[INFO] [stdout] 39 |             Self::Variable(box ref x) => Err(miette!("variable not found: `{}`", x)),
[INFO] [stdout]    |                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 39 -             Self::Variable(box ref x) => Err(miette!("variable not found: `{}`", x)),
[INFO] [stdout] 39 +             Self::Variable(ref x) => Err(miette!("variable not found: `{}`", x)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 39 -             Self::Variable(box ref x) => Err(miette!("variable not found: `{}`", x)),
[INFO] [stdout] 39 +             Self::Variable(deref!(ref x)) => Err(miette!("variable not found: `{}`", x)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:56:28
[INFO] [stdout]    |
[INFO] [stdout] 56 |                 Self::Stem(box s) => s.apply(other.clone())?.apply(u.apply(other)?),
[INFO] [stdout]    |                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 56 -                 Self::Stem(box s) => s.apply(other.clone())?.apply(u.apply(other)?),
[INFO] [stdout] 56 +                 Self::Stem(s) => s.apply(other.clone())?.apply(u.apply(other)?),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 56 -                 Self::Stem(box s) => s.apply(other.clone())?.apply(u.apply(other)?),
[INFO] [stdout] 56 +                 Self::Stem(deref!(s)) => s.apply(other.clone())?.apply(u.apply(other)?),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:60:27
[INFO] [stdout]    |
[INFO] [stdout] 60 |             Self::Neutral(box t_ty, t) => {
[INFO] [stdout]    |                           ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 60 -             Self::Neutral(box t_ty, t) => {
[INFO] [stdout] 60 +             Self::Neutral(t_ty, t) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 60 -             Self::Neutral(box t_ty, t) => {
[INFO] [stdout] 60 +             Self::Neutral(deref!(t_ty), t) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:61:32
[INFO] [stdout]    |
[INFO] [stdout] 61 |                 let Self::Fork(box Self::PiTag, box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout]    |                                ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 61 -                 let Self::Fork(box Self::PiTag, box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout] 61 +                 let Self::Fork(Self::PiTag, box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 61 -                 let Self::Fork(box Self::PiTag, box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout] 61 +                 let Self::Fork(deref!(Self::PiTag), box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:61:49
[INFO] [stdout]    |
[INFO] [stdout] 61 |                 let Self::Fork(box Self::PiTag, box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout]    |                                                 ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 61 -                 let Self::Fork(box Self::PiTag, box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout] 61 +                 let Self::Fork(box Self::PiTag, Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 61 -                 let Self::Fork(box Self::PiTag, box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout] 61 +                 let Self::Fork(box Self::PiTag, deref!(Self::Fork(u_ty, v_ty))) = t_ty else {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:78:25
[INFO] [stdout]    |
[INFO] [stdout] 78 |             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout]    |                         ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 78 -             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout] 78 +             (Self::Fork(Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 78 -             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout] 78 +             (Self::Fork(deref!(Self::PiTag), box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:48:24
[INFO] [stdout]    |
[INFO] [stdout] 48 |             Self::Fork(box t, box u) => match t {
[INFO] [stdout]    |                        ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 48 -             Self::Fork(box t, box u) => match t {
[INFO] [stdout] 48 +             Self::Fork(t, box u) => match t {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 48 -             Self::Fork(box t, box u) => match t {
[INFO] [stdout] 48 +             Self::Fork(deref!(t), box u) => match t {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:78:63
[INFO] [stdout]    |
[INFO] [stdout] 78 |             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout]    |                                                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 78 -             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout] 78 +             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, u_ty)), f_1, f_2) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 78 -             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout] 78 +             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, deref!(u_ty))), f_1, f_2) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:48:31
[INFO] [stdout]    |
[INFO] [stdout] 48 |             Self::Fork(box t, box u) => match t {
[INFO] [stdout]    |                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 48 -             Self::Fork(box t, box u) => match t {
[INFO] [stdout] 48 +             Self::Fork(box t, u) => match t {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 48 -             Self::Fork(box t, box u) => match t {
[INFO] [stdout] 48 +             Self::Fork(box t, deref!(u)) => match t {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:78:42
[INFO] [stdout]    |
[INFO] [stdout] 78 |             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout]    |                                          ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 78 -             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout] 78 +             (Self::Fork(box Self::PiTag, Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 78 -             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout] 78 +             (Self::Fork(box Self::PiTag, deref!(Self::Fork(t_ty, box u_ty))), f_1, f_2) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:49:28
[INFO] [stdout]    |
[INFO] [stdout] 49 |                 Self::Fork(box r, box s) => match other {
[INFO] [stdout]    |                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 49 -                 Self::Fork(box r, box s) => match other {
[INFO] [stdout] 49 +                 Self::Fork(r, box s) => match other {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 49 -                 Self::Fork(box r, box s) => match other {
[INFO] [stdout] 49 +                 Self::Fork(deref!(r), box s) => match other {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:89:28
[INFO] [stdout]    |
[INFO] [stdout] 89 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout]    |                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(deref!(Self::PiTag), box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:49:35
[INFO] [stdout]    |
[INFO] [stdout] 49 |                 Self::Fork(box r, box s) => match other {
[INFO] [stdout]    |                                   ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 49 -                 Self::Fork(box r, box s) => match other {
[INFO] [stdout] 49 +                 Self::Fork(box r, s) => match other {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 49 -                 Self::Fork(box r, box s) => match other {
[INFO] [stdout] 49 +                 Self::Fork(box r, deref!(s)) => match other {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:50:32
[INFO] [stdout]    |
[INFO] [stdout] 50 |                     Self::Fork(box v, box w) => u.apply(v)?.apply(w),
[INFO] [stdout]    |                                ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 50 -                     Self::Fork(box v, box w) => u.apply(v)?.apply(w),
[INFO] [stdout] 50 +                     Self::Fork(v, box w) => u.apply(v)?.apply(w),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 50 -                     Self::Fork(box v, box w) => u.apply(v)?.apply(w),
[INFO] [stdout] 50 +                     Self::Fork(deref!(v), box w) => u.apply(v)?.apply(w),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:50:39
[INFO] [stdout]    |
[INFO] [stdout] 50 |                     Self::Fork(box v, box w) => u.apply(v)?.apply(w),
[INFO] [stdout]    |                                       ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 50 -                     Self::Fork(box v, box w) => u.apply(v)?.apply(w),
[INFO] [stdout] 50 +                     Self::Fork(box v, w) => u.apply(v)?.apply(w),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 50 -                     Self::Fork(box v, box w) => u.apply(v)?.apply(w),
[INFO] [stdout] 50 +                     Self::Fork(box v, deref!(w)) => u.apply(v)?.apply(w),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:89:60
[INFO] [stdout]    |
[INFO] [stdout] 89 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout]    |                                                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(box Self::PiTag, box Self::Fork(t_ty_1, box u_ty_1)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(box Self::PiTag, box Self::Fork(deref!(t_ty_1), box u_ty_1)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:52:32
[INFO] [stdout]    |
[INFO] [stdout] 52 |                     Self::Stem(box v) => s.apply(v),
[INFO] [stdout]    |                                ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 52 -                     Self::Stem(box v) => s.apply(v),
[INFO] [stdout] 52 +                     Self::Stem(v) => s.apply(v),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 52 -                     Self::Stem(box v) => s.apply(v),
[INFO] [stdout] 52 +                     Self::Stem(deref!(v)) => s.apply(v),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:56:28
[INFO] [stdout]    |
[INFO] [stdout] 56 |                 Self::Stem(box s) => s.apply(other.clone())?.apply(u.apply(other)?),
[INFO] [stdout]    |                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 56 -                 Self::Stem(box s) => s.apply(other.clone())?.apply(u.apply(other)?),
[INFO] [stdout] 56 +                 Self::Stem(s) => s.apply(other.clone())?.apply(u.apply(other)?),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 56 -                 Self::Stem(box s) => s.apply(other.clone())?.apply(u.apply(other)?),
[INFO] [stdout] 56 +                 Self::Stem(deref!(s)) => s.apply(other.clone())?.apply(u.apply(other)?),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:89:72
[INFO] [stdout]    |
[INFO] [stdout] 89 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout]    |                                                                        ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, u_ty_1)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, deref!(u_ty_1))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:89:45
[INFO] [stdout]    |
[INFO] [stdout] 89 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout]    |                                             ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(box Self::PiTag, Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(box Self::PiTag, deref!(Self::Fork(box t_ty_1, box u_ty_1))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:90:28
[INFO] [stdout]    |
[INFO] [stdout] 90 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout]    |                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(deref!(Self::PiTag), box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:90:60
[INFO] [stdout]    |
[INFO] [stdout] 90 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout]    |                                                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(box Self::PiTag, box Self::Fork(t_ty_2, box u_ty_2)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(box Self::PiTag, box Self::Fork(deref!(t_ty_2), box u_ty_2)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:60:27
[INFO] [stdout]    |
[INFO] [stdout] 60 |             Self::Neutral(box t_ty, t) => {
[INFO] [stdout]    |                           ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 60 -             Self::Neutral(box t_ty, t) => {
[INFO] [stdout] 60 +             Self::Neutral(t_ty, t) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 60 -             Self::Neutral(box t_ty, t) => {
[INFO] [stdout] 60 +             Self::Neutral(deref!(t_ty), t) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:61:32
[INFO] [stdout]    |
[INFO] [stdout] 61 |                 let Self::Fork(box Self::PiTag, box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout]    |                                ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 61 -                 let Self::Fork(box Self::PiTag, box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout] 61 +                 let Self::Fork(Self::PiTag, box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 61 -                 let Self::Fork(box Self::PiTag, box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout] 61 +                 let Self::Fork(deref!(Self::PiTag), box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:61:49
[INFO] [stdout]    |
[INFO] [stdout] 61 |                 let Self::Fork(box Self::PiTag, box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout]    |                                                 ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 61 -                 let Self::Fork(box Self::PiTag, box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout] 61 +                 let Self::Fork(box Self::PiTag, Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 61 -                 let Self::Fork(box Self::PiTag, box Self::Fork(u_ty, v_ty)) = t_ty else {
[INFO] [stdout] 61 +                 let Self::Fork(box Self::PiTag, deref!(Self::Fork(u_ty, v_ty))) = t_ty else {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:78:25
[INFO] [stdout]    |
[INFO] [stdout] 78 |             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout]    |                         ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 78 -             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout] 78 +             (Self::Fork(Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 78 -             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout] 78 +             (Self::Fork(deref!(Self::PiTag), box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:78:63
[INFO] [stdout]    |
[INFO] [stdout] 78 |             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout]    |                                                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 78 -             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout] 78 +             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, u_ty)), f_1, f_2) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 78 -             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout] 78 +             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, deref!(u_ty))), f_1, f_2) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:78:42
[INFO] [stdout]    |
[INFO] [stdout] 78 |             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout]    |                                          ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 78 -             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout] 78 +             (Self::Fork(box Self::PiTag, Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 78 -             (Self::Fork(box Self::PiTag, box Self::Fork(t_ty, box u_ty)), f_1, f_2) => {
[INFO] [stdout] 78 +             (Self::Fork(box Self::PiTag, deref!(Self::Fork(t_ty, box u_ty))), f_1, f_2) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:89:28
[INFO] [stdout]    |
[INFO] [stdout] 89 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout]    |                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(deref!(Self::PiTag), box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:89:60
[INFO] [stdout]    |
[INFO] [stdout] 89 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout]    |                                                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(box Self::PiTag, box Self::Fork(t_ty_1, box u_ty_1)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(box Self::PiTag, box Self::Fork(deref!(t_ty_1), box u_ty_1)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:90:72
[INFO] [stdout]    |
[INFO] [stdout] 90 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout]    |                                                                        ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, u_ty_2)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, deref!(u_ty_2))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:90:45
[INFO] [stdout]    |
[INFO] [stdout] 90 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout]    |                                             ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(box Self::PiTag, Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(box Self::PiTag, deref!(Self::Fork(box t_ty_2, box u_ty_2))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/normalization.rs:110:31
[INFO] [stdout]     |
[INFO] [stdout] 110 |             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout]     |                               ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 110 -             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout] 110 +             (_, Self::Neutral(t_ty_1, t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 110 -             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout] 110 +             (_, Self::Neutral(deref!(t_ty_1), t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/normalization.rs:110:63
[INFO] [stdout]     |
[INFO] [stdout] 110 |             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout]     |                                                               ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 110 -             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout] 110 +             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(t_ty_2, t_2)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 110 -             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout] 110 +             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(deref!(t_ty_2), t_2)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/term.rs:34:31
[INFO] [stdout]    |
[INFO] [stdout] 34 |             Self::Application(box t, box u) => t.contains(x) || u.contains(x),
[INFO] [stdout]    |                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 34 -             Self::Application(box t, box u) => t.contains(x) || u.contains(x),
[INFO] [stdout] 34 +             Self::Application(t, box u) => t.contains(x) || u.contains(x),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 34 -             Self::Application(box t, box u) => t.contains(x) || u.contains(x),
[INFO] [stdout] 34 +             Self::Application(deref!(t), box u) => t.contains(x) || u.contains(x),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:89:72
[INFO] [stdout]    |
[INFO] [stdout] 89 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout]    |                                                                        ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, u_ty_1)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, deref!(u_ty_1))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:89:45
[INFO] [stdout]    |
[INFO] [stdout] 89 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout]    |                                             ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(box Self::PiTag, Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 89 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_1, box u_ty_1)),
[INFO] [stdout] 89 +                 Self::Fork(box Self::PiTag, deref!(Self::Fork(box t_ty_1, box u_ty_1))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/term.rs:34:38
[INFO] [stdout]    |
[INFO] [stdout] 34 |             Self::Application(box t, box u) => t.contains(x) || u.contains(x),
[INFO] [stdout]    |                                      ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 34 -             Self::Application(box t, box u) => t.contains(x) || u.contains(x),
[INFO] [stdout] 34 +             Self::Application(box t, u) => t.contains(x) || u.contains(x),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 34 -             Self::Application(box t, box u) => t.contains(x) || u.contains(x),
[INFO] [stdout] 34 +             Self::Application(box t, deref!(u)) => t.contains(x) || u.contains(x),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:90:28
[INFO] [stdout]    |
[INFO] [stdout] 90 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout]    |                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(deref!(Self::PiTag), box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:90:60
[INFO] [stdout]    |
[INFO] [stdout] 90 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout]    |                                                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(box Self::PiTag, box Self::Fork(t_ty_2, box u_ty_2)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(box Self::PiTag, box Self::Fork(deref!(t_ty_2), box u_ty_2)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/term.rs:44:28
[INFO] [stdout]    |
[INFO] [stdout] 44 |             Self::Variable(box y) => x == y,
[INFO] [stdout]    |                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 44 -             Self::Variable(box y) => x == y,
[INFO] [stdout] 44 +             Self::Variable(y) => x == y,
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 44 -             Self::Variable(box y) => x == y,
[INFO] [stdout] 44 +             Self::Variable(deref!(y)) => x == y,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:90:72
[INFO] [stdout]    |
[INFO] [stdout] 90 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout]    |                                                                        ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, u_ty_2)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, deref!(u_ty_2))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/normalization.rs:90:45
[INFO] [stdout]    |
[INFO] [stdout] 90 |                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout]    |                                             ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(box Self::PiTag, Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 90 -                 Self::Fork(box Self::PiTag, box Self::Fork(box t_ty_2, box u_ty_2)),
[INFO] [stdout] 90 +                 Self::Fork(box Self::PiTag, deref!(Self::Fork(box t_ty_2, box u_ty_2))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/normalization.rs:110:31
[INFO] [stdout]     |
[INFO] [stdout] 110 |             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout]     |                               ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 110 -             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout] 110 +             (_, Self::Neutral(t_ty_1, t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 110 -             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout] 110 +             (_, Self::Neutral(deref!(t_ty_1), t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/term.rs:81:31
[INFO] [stdout]    |
[INFO] [stdout] 81 |             Self::Application(box ref u, box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout]    |                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 81 -             Self::Application(box ref u, box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout] 81 +             Self::Application(ref u, box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 81 -             Self::Application(box ref u, box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout] 81 +             Self::Application(deref!(ref u), box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/normalization.rs:110:63
[INFO] [stdout]     |
[INFO] [stdout] 110 |             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout]     |                                                               ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 110 -             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout] 110 +             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(t_ty_2, t_2)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 110 -             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(box t_ty_2, t_2)) => {
[INFO] [stdout] 110 +             (_, Self::Neutral(box t_ty_1, t_1), Self::Neutral(deref!(t_ty_2), t_2)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/term.rs:81:42
[INFO] [stdout]    |
[INFO] [stdout] 81 |             Self::Application(box ref u, box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout]    |                                          ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 81 -             Self::Application(box ref u, box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout] 81 +             Self::Application(box ref u, ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 81 -             Self::Application(box ref u, box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout] 81 +             Self::Application(box ref u, deref!(ref v)) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/term.rs:34:31
[INFO] [stdout]    |
[INFO] [stdout] 34 |             Self::Application(box t, box u) => t.contains(x) || u.contains(x),
[INFO] [stdout]    |                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 34 -             Self::Application(box t, box u) => t.contains(x) || u.contains(x),
[INFO] [stdout] 34 +             Self::Application(t, box u) => t.contains(x) || u.contains(x),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 34 -             Self::Application(box t, box u) => t.contains(x) || u.contains(x),
[INFO] [stdout] 34 +             Self::Application(deref!(t), box u) => t.contains(x) || u.contains(x),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/term.rs:34:38
[INFO] [stdout]    |
[INFO] [stdout] 34 |             Self::Application(box t, box u) => t.contains(x) || u.contains(x),
[INFO] [stdout]    |                                      ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 34 -             Self::Application(box t, box u) => t.contains(x) || u.contains(x),
[INFO] [stdout] 34 +             Self::Application(box t, u) => t.contains(x) || u.contains(x),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 34 -             Self::Application(box t, box u) => t.contains(x) || u.contains(x),
[INFO] [stdout] 34 +             Self::Application(box t, deref!(u)) => t.contains(x) || u.contains(x),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/term.rs:84:31
[INFO] [stdout]    |
[INFO] [stdout] 84 |             Self::Application(box u, box v) => Self::Application(
[INFO] [stdout]    |                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 84 -             Self::Application(box u, box v) => Self::Application(
[INFO] [stdout] 84 +             Self::Application(u, box v) => Self::Application(
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 84 -             Self::Application(box u, box v) => Self::Application(
[INFO] [stdout] 84 +             Self::Application(deref!(u), box v) => Self::Application(
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/term.rs:84:38
[INFO] [stdout]    |
[INFO] [stdout] 84 |             Self::Application(box u, box v) => Self::Application(
[INFO] [stdout]    |                                      ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 84 -             Self::Application(box u, box v) => Self::Application(
[INFO] [stdout] 84 +             Self::Application(box u, v) => Self::Application(
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 84 -             Self::Application(box u, box v) => Self::Application(
[INFO] [stdout] 84 +             Self::Application(box u, deref!(v)) => Self::Application(
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/term.rs:103:28
[INFO] [stdout]     |
[INFO] [stdout] 103 |             Self::Variable(box ref y) if x == y => Self::i(),
[INFO] [stdout]     |                            ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 103 -             Self::Variable(box ref y) if x == y => Self::i(),
[INFO] [stdout] 103 +             Self::Variable(ref y) if x == y => Self::i(),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 103 -             Self::Variable(box ref y) if x == y => Self::i(),
[INFO] [stdout] 103 +             Self::Variable(deref!(ref y)) if x == y => Self::i(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/term.rs:104:28
[INFO] [stdout]     |
[INFO] [stdout] 104 |             Self::Variable(box ref _y) => Self::constant(Box::new(t)),
[INFO] [stdout]     |                            ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 104 -             Self::Variable(box ref _y) => Self::constant(Box::new(t)),
[INFO] [stdout] 104 +             Self::Variable(ref _y) => Self::constant(Box::new(t)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 104 -             Self::Variable(box ref _y) => Self::constant(Box::new(t)),
[INFO] [stdout] 104 +             Self::Variable(deref!(ref _y)) => Self::constant(Box::new(t)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/term.rs:152:31
[INFO] [stdout]     |
[INFO] [stdout] 152 |             Self::Application(box t, box u) => {
[INFO] [stdout]     |                               ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 152 -             Self::Application(box t, box u) => {
[INFO] [stdout] 152 +             Self::Application(t, box u) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 152 -             Self::Application(box t, box u) => {
[INFO] [stdout] 152 +             Self::Application(deref!(t), box u) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/term.rs:152:38
[INFO] [stdout]     |
[INFO] [stdout] 152 |             Self::Application(box t, box u) => {
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 152 -             Self::Application(box t, box u) => {
[INFO] [stdout] 152 +             Self::Application(box t, u) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 152 -             Self::Application(box t, box u) => {
[INFO] [stdout] 152 +             Self::Application(box t, deref!(u)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/term.rs:165:28
[INFO] [stdout]     |
[INFO] [stdout] 165 |             Self::Variable(box x) => f.write_str(x),
[INFO] [stdout]     |                            ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 165 -             Self::Variable(box x) => f.write_str(x),
[INFO] [stdout] 165 +             Self::Variable(x) => f.write_str(x),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 165 -             Self::Variable(box x) => f.write_str(x),
[INFO] [stdout] 165 +             Self::Variable(deref!(x)) => f.write_str(x),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/term.rs:44:28
[INFO] [stdout]    |
[INFO] [stdout] 44 |             Self::Variable(box y) => x == y,
[INFO] [stdout]    |                            ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 44 -             Self::Variable(box y) => x == y,
[INFO] [stdout] 44 +             Self::Variable(y) => x == y,
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 44 -             Self::Variable(box y) => x == y,
[INFO] [stdout] 44 +             Self::Variable(deref!(y)) => x == y,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/term.rs:81:31
[INFO] [stdout]    |
[INFO] [stdout] 81 |             Self::Application(box ref u, box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout]    |                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 81 -             Self::Application(box ref u, box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout] 81 +             Self::Application(ref u, box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 81 -             Self::Application(box ref u, box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout] 81 +             Self::Application(deref!(ref u), box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/term.rs:81:42
[INFO] [stdout]    |
[INFO] [stdout] 81 |             Self::Application(box ref u, box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout]    |                                          ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 81 -             Self::Application(box ref u, box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout] 81 +             Self::Application(box ref u, ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 81 -             Self::Application(box ref u, box ref v) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout] 81 +             Self::Application(box ref u, deref!(ref v)) if !u.contains(x) && !v.contains(x) => {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/term.rs:84:31
[INFO] [stdout]    |
[INFO] [stdout] 84 |             Self::Application(box u, box v) => Self::Application(
[INFO] [stdout]    |                               ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 84 -             Self::Application(box u, box v) => Self::Application(
[INFO] [stdout] 84 +             Self::Application(u, box v) => Self::Application(
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 84 -             Self::Application(box u, box v) => Self::Application(
[INFO] [stdout] 84 +             Self::Application(deref!(u), box v) => Self::Application(
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/term.rs:84:38
[INFO] [stdout]    |
[INFO] [stdout] 84 |             Self::Application(box u, box v) => Self::Application(
[INFO] [stdout]    |                                      ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 84 -             Self::Application(box u, box v) => Self::Application(
[INFO] [stdout] 84 +             Self::Application(box u, v) => Self::Application(
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 84 -             Self::Application(box u, box v) => Self::Application(
[INFO] [stdout] 84 +             Self::Application(box u, deref!(v)) => Self::Application(
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/term.rs:103:28
[INFO] [stdout]     |
[INFO] [stdout] 103 |             Self::Variable(box ref y) if x == y => Self::i(),
[INFO] [stdout]     |                            ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 103 -             Self::Variable(box ref y) if x == y => Self::i(),
[INFO] [stdout] 103 +             Self::Variable(ref y) if x == y => Self::i(),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 103 -             Self::Variable(box ref y) if x == y => Self::i(),
[INFO] [stdout] 103 +             Self::Variable(deref!(ref y)) if x == y => Self::i(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/value.rs:83:25
[INFO] [stdout]    |
[INFO] [stdout] 83 |             Value::Stem(box n) => Ok(1 + usize::try_from(n)?),
[INFO] [stdout]    |                         ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 83 -             Value::Stem(box n) => Ok(1 + usize::try_from(n)?),
[INFO] [stdout] 83 +             Value::Stem(n) => Ok(1 + usize::try_from(n)?),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 83 -             Value::Stem(box n) => Ok(1 + usize::try_from(n)?),
[INFO] [stdout] 83 +             Value::Stem(deref!(n)) => Ok(1 + usize::try_from(n)?),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/term.rs:104:28
[INFO] [stdout]     |
[INFO] [stdout] 104 |             Self::Variable(box ref _y) => Self::constant(Box::new(t)),
[INFO] [stdout]     |                            ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 104 -             Self::Variable(box ref _y) => Self::constant(Box::new(t)),
[INFO] [stdout] 104 +             Self::Variable(ref _y) => Self::constant(Box::new(t)),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 104 -             Self::Variable(box ref _y) => Self::constant(Box::new(t)),
[INFO] [stdout] 104 +             Self::Variable(deref!(ref _y)) => Self::constant(Box::new(t)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/term.rs:152:31
[INFO] [stdout]     |
[INFO] [stdout] 152 |             Self::Application(box t, box u) => {
[INFO] [stdout]     |                               ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 152 -             Self::Application(box t, box u) => {
[INFO] [stdout] 152 +             Self::Application(t, box u) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 152 -             Self::Application(box t, box u) => {
[INFO] [stdout] 152 +             Self::Application(deref!(t), box u) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/term.rs:152:38
[INFO] [stdout]     |
[INFO] [stdout] 152 |             Self::Application(box t, box u) => {
[INFO] [stdout]     |                                      ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 152 -             Self::Application(box t, box u) => {
[INFO] [stdout] 152 +             Self::Application(box t, u) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 152 -             Self::Application(box t, box u) => {
[INFO] [stdout] 152 +             Self::Application(box t, deref!(u)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/term.rs:165:28
[INFO] [stdout]     |
[INFO] [stdout] 165 |             Self::Variable(box x) => f.write_str(x),
[INFO] [stdout]     |                            ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]     |
[INFO] [stdout] 165 -             Self::Variable(box x) => f.write_str(x),
[INFO] [stdout] 165 +             Self::Variable(x) => f.write_str(x),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 165 -             Self::Variable(box x) => f.write_str(x),
[INFO] [stdout] 165 +             Self::Variable(deref!(x)) => f.write_str(x),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/value.rs:83:25
[INFO] [stdout]    |
[INFO] [stdout] 83 |             Value::Stem(box n) => Ok(1 + usize::try_from(n)?),
[INFO] [stdout]    |                         ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: enable feature `deref_patterns` instead and...
[INFO] [stdout] help: ...if possible just remove keyword `box`...
[INFO] [stdout]    |
[INFO] [stdout] 83 -             Value::Stem(box n) => Ok(1 + usize::try_from(n)?),
[INFO] [stdout] 83 +             Value::Stem(n) => Ok(1 + usize::try_from(n)?),
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 83 -             Value::Stem(box n) => Ok(1 + usize::try_from(n)?),
[INFO] [stdout] 83 +             Value::Stem(deref!(n)) => Ok(1 + usize::try_from(n)?),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variant_index`
[INFO] [stdout]    --> src/ty.rs:124:21
[INFO] [stdout]     |
[INFO] [stdout] 124 |                 let variant_index = fork.left_branch(db);
[INFO] [stdout]     |                     ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_variant_index`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> src/ty.rs:125:21
[INFO] [stdout]     |
[INFO] [stdout] 125 |                 let value = fork.right_branch(db);
[INFO] [stdout]     |                     ^^^^^ help: if this is intentional, prefix it with an underscore: `_value`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `neutral_value`
[INFO] [stdout]    --> src/ty.rs:129:30
[INFO] [stdout]     |
[INFO] [stdout] 129 |             Self::Reflection(neutral_value) => {
[INFO] [stdout]     |                              ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_neutral_value`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `variant_index`
[INFO] [stdout]    --> src/ty.rs:124:21
[INFO] [stdout]     |
[INFO] [stdout] 124 |                 let variant_index = fork.left_branch(db);
[INFO] [stdout]     |                     ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_variant_index`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `value`
[INFO] [stdout]    --> src/ty.rs:125:21
[INFO] [stdout]     |
[INFO] [stdout] 125 |                 let value = fork.right_branch(db);
[INFO] [stdout]     |                     ^^^^^ help: if this is intentional, prefix it with an underscore: `_value`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `neutral_value`
[INFO] [stdout]    --> src/ty.rs:129:30
[INFO] [stdout]     |
[INFO] [stdout] 129 |             Self::Reflection(neutral_value) => {
[INFO] [stdout]     |                              ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_neutral_value`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `tree-calculus` (lib) due to 80 previous errors; 3 warnings emitted
[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 `tree-calculus` (lib test) due to 80 previous errors; 3 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "9298598ef9bca5bcd614f7921b56535ee6d617b9a2976ac084a50193d13d02ec", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9298598ef9bca5bcd614f7921b56535ee6d617b9a2976ac084a50193d13d02ec", kill_on_drop: false }`
[INFO] [stdout] 9298598ef9bca5bcd614f7921b56535ee6d617b9a2976ac084a50193d13d02ec
