[INFO] cloning repository https://github.com/aripiprazole/bidir
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/aripiprazole/bidir" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Faripiprazole%2Fbidir", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Faripiprazole%2Fbidir'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 2cfe575d91a647b705f77ff230a1aff2d1816ab1
[INFO] checking aripiprazole/bidir 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%2Faripiprazole%2Fbidir" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/aripiprazole/bidir
[INFO] finished tweaking git repo https://github.com/aripiprazole/bidir
[INFO] tweaked toml for git repo https://github.com/aripiprazole/bidir written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/aripiprazole/bidir 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/aripiprazole/bidir 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 typenum v1.16.0
[INFO] [stderr]   Downloaded im-rc v15.1.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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] 9a0497353cea23a2c3469d120111b7f8e072d2964d3595b9b177d3247134c1ee
[INFO] running `Command { std: "docker" "start" "9a0497353cea23a2c3469d120111b7f8e072d2964d3595b9b177d3247134c1ee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9a0497353cea23a2c3469d120111b7f8e072d2964d3595b9b177d3247134c1ee", 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" "9a0497353cea23a2c3469d120111b7f8e072d2964d3595b9b177d3247134c1ee" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9a0497353cea23a2c3469d120111b7f8e072d2964d3595b9b177d3247134c1ee", 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" "9a0497353cea23a2c3469d120111b7f8e072d2964d3595b9b177d3247134c1ee" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling typenum v1.16.0
[INFO] [stderr]    Compiling im-rc v15.1.0
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking byteorder v1.4.3
[INFO] [stderr]     Checking rand_xoshiro v0.6.0
[INFO] [stderr]     Checking fxhash v0.2.1
[INFO] [stderr]     Checking bitmaps v2.1.0
[INFO] [stderr]     Checking sized-chunks v0.6.5
[INFO] [stderr]     Checking bidir v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:323:30
[INFO] [stdout]     |
[INFO] [stdout] 323 |                 Forall(name, box type_repr) => Type::Forall(name.text, Box::new(type_repr.into())),
[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] 323 -                 Forall(name, box type_repr) => Type::Forall(name.text, Box::new(type_repr.into())),
[INFO] [stdout] 323 +                 Forall(name, type_repr) => Type::Forall(name.text, Box::new(type_repr.into())),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 323 -                 Forall(name, box type_repr) => Type::Forall(name.text, Box::new(type_repr.into())),
[INFO] [stdout] 323 +                 Forall(name, deref!(type_repr)) => Type::Forall(name.text, Box::new(type_repr.into())),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:324:21
[INFO] [stdout]     |
[INFO] [stdout] 324 |                 Fun(box domain, box codomain) => {
[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] 324 -                 Fun(box domain, box codomain) => {
[INFO] [stdout] 324 +                 Fun(domain, box codomain) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 324 -                 Fun(box domain, box codomain) => {
[INFO] [stdout] 324 +                 Fun(deref!(domain), box codomain) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:324:33
[INFO] [stdout]     |
[INFO] [stdout] 324 |                 Fun(box domain, box codomain) => {
[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] 324 -                 Fun(box domain, box codomain) => {
[INFO] [stdout] 324 +                 Fun(box domain, codomain) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 324 -                 Fun(box domain, box codomain) => {
[INFO] [stdout] 324 +                 Fun(box domain, deref!(codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:664:29
[INFO] [stdout]     |
[INFO] [stdout] 664 |             Type::Forall(_, box type_repr) => {
[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] 664 -             Type::Forall(_, box type_repr) => {
[INFO] [stdout] 664 +             Type::Forall(_, type_repr) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 664 -             Type::Forall(_, box type_repr) => {
[INFO] [stdout] 664 +             Type::Forall(_, deref!(type_repr)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:728:24
[INFO] [stdout]     |
[INFO] [stdout] 728 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(deref!(domain_a), box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:728:38
[INFO] [stdout]     |
[INFO] [stdout] 728 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(box domain_a, codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(box domain_a, deref!(codomain_a)), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:728:65
[INFO] [stdout]     |
[INFO] [stdout] 728 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(deref!(domain_b), box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:728:79
[INFO] [stdout]     |
[INFO] [stdout] 728 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, deref!(codomain_b))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:734:55
[INFO] [stdout]     |
[INFO] [stdout] 734 |             (Type::Forall(a, type_a), Type::Forall(b, box type_b)) => {
[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] 734 -             (Type::Forall(a, type_a), Type::Forall(b, box type_b)) => {
[INFO] [stdout] 734 +             (Type::Forall(a, type_a), Type::Forall(b, type_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 734 -             (Type::Forall(a, type_a), Type::Forall(b, box type_b)) => {
[INFO] [stdout] 734 +             (Type::Forall(a, type_a), Type::Forall(b, deref!(type_b))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:806:66
[INFO] [stdout]     |
[INFO] [stdout] 806 |             (Hole::Empty(_), Direction::Left, Type::Forall(name, box type_repr)) => {
[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] 806 -             (Hole::Empty(_), Direction::Left, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 806 +             (Hole::Empty(_), Direction::Left, Type::Forall(name, type_repr)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 806 -             (Hole::Empty(_), Direction::Left, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 806 +             (Hole::Empty(_), Direction::Left, Type::Forall(name, deref!(type_repr))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:817:61
[INFO] [stdout]     |
[INFO] [stdout] 817 |             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, box codomain)) => {
[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] 817 -             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 817 +             (Hole::Empty(scope), Direction::Left, Type::Fun(domain, box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 817 -             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 817 +             (Hole::Empty(scope), Direction::Left, Type::Fun(deref!(domain), box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:817:73
[INFO] [stdout]     |
[INFO] [stdout] 817 |             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, box codomain)) => {
[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] 817 -             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 817 +             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 817 -             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 817 +             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, deref!(codomain))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:840:67
[INFO] [stdout]     |
[INFO] [stdout] 840 |             (Hole::Empty(_), Direction::Right, Type::Forall(name, box type_repr)) => {
[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] 840 -             (Hole::Empty(_), Direction::Right, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 840 +             (Hole::Empty(_), Direction::Right, Type::Forall(name, type_repr)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 840 -             (Hole::Empty(_), Direction::Right, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 840 +             (Hole::Empty(_), Direction::Right, Type::Forall(name, deref!(type_repr))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:851:62
[INFO] [stdout]     |
[INFO] [stdout] 851 |             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, box codomain)) => {
[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] 851 -             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 851 +             (Hole::Empty(scope), Direction::Right, Type::Fun(domain, box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 851 -             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 851 +             (Hole::Empty(scope), Direction::Right, Type::Fun(deref!(domain), box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:851:74
[INFO] [stdout]     |
[INFO] [stdout] 851 |             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, box codomain)) => {
[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] 851 -             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 851 +             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 851 -             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 851 +             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, deref!(codomain))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:903:41
[INFO] [stdout]     |
[INFO] [stdout] 903 |             (sema_a, Type::Forall(name, box type_repr)) => {
[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] 903 -             (sema_a, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 903 +             (sema_a, Type::Forall(name, type_repr)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 903 -             (sema_a, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 903 +             (sema_a, Type::Forall(name, deref!(type_repr))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:920:33
[INFO] [stdout]     |
[INFO] [stdout] 920 |             (Type::Forall(name, box type_repr), sema_b) => {
[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] 920 -             (Type::Forall(name, box type_repr), sema_b) => {
[INFO] [stdout] 920 +             (Type::Forall(name, type_repr), sema_b) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 920 -             (Type::Forall(name, box type_repr), sema_b) => {
[INFO] [stdout] 920 +             (Type::Forall(name, deref!(type_repr)), sema_b) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:932:24
[INFO] [stdout]     |
[INFO] [stdout] 932 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(deref!(domain_a), box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:932:38
[INFO] [stdout]     |
[INFO] [stdout] 932 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(box domain_a, codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(box domain_a, deref!(codomain_a)), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:932:65
[INFO] [stdout]     |
[INFO] [stdout] 932 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(deref!(domain_b), box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:932:79
[INFO] [stdout]     |
[INFO] [stdout] 932 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, deref!(codomain_b))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:985:43
[INFO] [stdout]     |
[INFO] [stdout] 985 |                 (term, Type::Forall(name, box type_repr)) => {
[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] 985 -                 (term, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 985 +                 (term, Type::Forall(name, type_repr)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 985 -                 (term, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 985 +                 (term, Type::Forall(name, deref!(type_repr))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:999:36
[INFO] [stdout]     |
[INFO] [stdout] 999 |                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[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] 999 -                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 999 +                 (Expr::Abstr(name, expr_e), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 999 -                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 999 +                 (Expr::Abstr(name, deref!(expr_e)), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:323:30
[INFO] [stdout]     |
[INFO] [stdout] 323 |                 Forall(name, box type_repr) => Type::Forall(name.text, Box::new(type_repr.into())),
[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] 323 -                 Forall(name, box type_repr) => Type::Forall(name.text, Box::new(type_repr.into())),
[INFO] [stdout] 323 +                 Forall(name, type_repr) => Type::Forall(name.text, Box::new(type_repr.into())),
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 323 -                 Forall(name, box type_repr) => Type::Forall(name.text, Box::new(type_repr.into())),
[INFO] [stdout] 323 +                 Forall(name, deref!(type_repr)) => Type::Forall(name.text, Box::new(type_repr.into())),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:324:21
[INFO] [stdout]     |
[INFO] [stdout] 324 |                 Fun(box domain, box codomain) => {
[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] 324 -                 Fun(box domain, box codomain) => {
[INFO] [stdout] 324 +                 Fun(domain, box codomain) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 324 -                 Fun(box domain, box codomain) => {
[INFO] [stdout] 324 +                 Fun(deref!(domain), box codomain) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:324:33
[INFO] [stdout]     |
[INFO] [stdout] 324 |                 Fun(box domain, box codomain) => {
[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] 324 -                 Fun(box domain, box codomain) => {
[INFO] [stdout] 324 +                 Fun(box domain, codomain) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 324 -                 Fun(box domain, box codomain) => {
[INFO] [stdout] 324 +                 Fun(box domain, deref!(codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:664:29
[INFO] [stdout]     |
[INFO] [stdout] 664 |             Type::Forall(_, box type_repr) => {
[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] 664 -             Type::Forall(_, box type_repr) => {
[INFO] [stdout] 664 +             Type::Forall(_, type_repr) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 664 -             Type::Forall(_, box type_repr) => {
[INFO] [stdout] 664 +             Type::Forall(_, deref!(type_repr)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:728:24
[INFO] [stdout]     |
[INFO] [stdout] 728 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(deref!(domain_a), box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:728:38
[INFO] [stdout]     |
[INFO] [stdout] 728 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(box domain_a, codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(box domain_a, deref!(codomain_a)), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:728:65
[INFO] [stdout]     |
[INFO] [stdout] 728 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(deref!(domain_b), box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:728:79
[INFO] [stdout]     |
[INFO] [stdout] 728 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 728 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 728 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, deref!(codomain_b))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:734:55
[INFO] [stdout]     |
[INFO] [stdout] 734 |             (Type::Forall(a, type_a), Type::Forall(b, box type_b)) => {
[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] 734 -             (Type::Forall(a, type_a), Type::Forall(b, box type_b)) => {
[INFO] [stdout] 734 +             (Type::Forall(a, type_a), Type::Forall(b, type_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 734 -             (Type::Forall(a, type_a), Type::Forall(b, box type_b)) => {
[INFO] [stdout] 734 +             (Type::Forall(a, type_a), Type::Forall(b, deref!(type_b))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:806:66
[INFO] [stdout]     |
[INFO] [stdout] 806 |             (Hole::Empty(_), Direction::Left, Type::Forall(name, box type_repr)) => {
[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] 806 -             (Hole::Empty(_), Direction::Left, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 806 +             (Hole::Empty(_), Direction::Left, Type::Forall(name, type_repr)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 806 -             (Hole::Empty(_), Direction::Left, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 806 +             (Hole::Empty(_), Direction::Left, Type::Forall(name, deref!(type_repr))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:817:61
[INFO] [stdout]     |
[INFO] [stdout] 817 |             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, box codomain)) => {
[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] 817 -             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 817 +             (Hole::Empty(scope), Direction::Left, Type::Fun(domain, box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 817 -             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 817 +             (Hole::Empty(scope), Direction::Left, Type::Fun(deref!(domain), box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:817:73
[INFO] [stdout]     |
[INFO] [stdout] 817 |             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, box codomain)) => {
[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] 817 -             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 817 +             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 817 -             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 817 +             (Hole::Empty(scope), Direction::Left, Type::Fun(box domain, deref!(codomain))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:840:67
[INFO] [stdout]     |
[INFO] [stdout] 840 |             (Hole::Empty(_), Direction::Right, Type::Forall(name, box type_repr)) => {
[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] 840 -             (Hole::Empty(_), Direction::Right, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 840 +             (Hole::Empty(_), Direction::Right, Type::Forall(name, type_repr)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 840 -             (Hole::Empty(_), Direction::Right, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 840 +             (Hole::Empty(_), Direction::Right, Type::Forall(name, deref!(type_repr))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:851:62
[INFO] [stdout]     |
[INFO] [stdout] 851 |             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, box codomain)) => {
[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] 851 -             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 851 +             (Hole::Empty(scope), Direction::Right, Type::Fun(domain, box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 851 -             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 851 +             (Hole::Empty(scope), Direction::Right, Type::Fun(deref!(domain), box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:851:74
[INFO] [stdout]     |
[INFO] [stdout] 851 |             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, box codomain)) => {
[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] 851 -             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 851 +             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 851 -             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 851 +             (Hole::Empty(scope), Direction::Right, Type::Fun(box domain, deref!(codomain))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:903:41
[INFO] [stdout]     |
[INFO] [stdout] 903 |             (sema_a, Type::Forall(name, box type_repr)) => {
[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] 903 -             (sema_a, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 903 +             (sema_a, Type::Forall(name, type_repr)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 903 -             (sema_a, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 903 +             (sema_a, Type::Forall(name, deref!(type_repr))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:920:33
[INFO] [stdout]     |
[INFO] [stdout] 920 |             (Type::Forall(name, box type_repr), sema_b) => {
[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] 920 -             (Type::Forall(name, box type_repr), sema_b) => {
[INFO] [stdout] 920 +             (Type::Forall(name, type_repr), sema_b) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 920 -             (Type::Forall(name, box type_repr), sema_b) => {
[INFO] [stdout] 920 +             (Type::Forall(name, deref!(type_repr)), sema_b) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:932:24
[INFO] [stdout]     |
[INFO] [stdout] 932 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(deref!(domain_a), box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:932:38
[INFO] [stdout]     |
[INFO] [stdout] 932 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(box domain_a, codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(box domain_a, deref!(codomain_a)), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:932:65
[INFO] [stdout]     |
[INFO] [stdout] 932 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(domain_b, box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(deref!(domain_b), box codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:932:79
[INFO] [stdout]     |
[INFO] [stdout] 932 |             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[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] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, codomain_b)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 932 -             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, box codomain_b)) => {
[INFO] [stdout] 932 +             (Type::Fun(box domain_a, box codomain_a), Type::Fun(box domain_b, deref!(codomain_b))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:985:43
[INFO] [stdout]     |
[INFO] [stdout] 985 |                 (term, Type::Forall(name, box type_repr)) => {
[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] 985 -                 (term, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 985 +                 (term, Type::Forall(name, type_repr)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 985 -                 (term, Type::Forall(name, box type_repr)) => {
[INFO] [stdout] 985 +                 (term, Type::Forall(name, deref!(type_repr))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:999:59
[INFO] [stdout]     |
[INFO] [stdout] 999 |                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[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] 999 -                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 999 +                 (Expr::Abstr(name, box expr_e), Type::Fun(domain, box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 999 -                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 999 +                 (Expr::Abstr(name, box expr_e), Type::Fun(deref!(domain), box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:999:71
[INFO] [stdout]     |
[INFO] [stdout] 999 |                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[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] 999 -                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 999 +                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 999 -                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 999 +                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, deref!(codomain))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1004:34
[INFO] [stdout]      |
[INFO] [stdout] 1004 |                 (Expr::Let(name, box value, box expr), type_repr) => {
[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] 1004 -                 (Expr::Let(name, box value, box expr), type_repr) => {
[INFO] [stdout] 1004 +                 (Expr::Let(name, value, box expr), type_repr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1004 -                 (Expr::Let(name, box value, box expr), type_repr) => {
[INFO] [stdout] 1004 +                 (Expr::Let(name, deref!(value), box expr), type_repr) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:999:36
[INFO] [stdout]     |
[INFO] [stdout] 999 |                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[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] 999 -                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 999 +                 (Expr::Abstr(name, expr_e), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 999 -                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 999 +                 (Expr::Abstr(name, deref!(expr_e)), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:999:59
[INFO] [stdout]     |
[INFO] [stdout] 999 |                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[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] 999 -                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 999 +                 (Expr::Abstr(name, box expr_e), Type::Fun(domain, box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 999 -                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 999 +                 (Expr::Abstr(name, box expr_e), Type::Fun(deref!(domain), box codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/main.rs:999:71
[INFO] [stdout]     |
[INFO] [stdout] 999 |                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[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] 999 -                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 999 +                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, codomain)) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 999 -                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, box codomain)) => {
[INFO] [stdout] 999 +                 (Expr::Abstr(name, box expr_e), Type::Fun(box domain, deref!(codomain))) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1004:34
[INFO] [stdout]      |
[INFO] [stdout] 1004 |                 (Expr::Let(name, box value, box expr), type_repr) => {
[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] 1004 -                 (Expr::Let(name, box value, box expr), type_repr) => {
[INFO] [stdout] 1004 +                 (Expr::Let(name, value, box expr), type_repr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1004 -                 (Expr::Let(name, box value, box expr), type_repr) => {
[INFO] [stdout] 1004 +                 (Expr::Let(name, deref!(value), box expr), type_repr) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1004:45
[INFO] [stdout]      |
[INFO] [stdout] 1004 |                 (Expr::Let(name, box value, box expr), type_repr) => {
[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] 1004 -                 (Expr::Let(name, box value, box expr), type_repr) => {
[INFO] [stdout] 1004 +                 (Expr::Let(name, box value, expr), type_repr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1004 -                 (Expr::Let(name, box value, box expr), type_repr) => {
[INFO] [stdout] 1004 +                 (Expr::Let(name, box value, deref!(expr)), type_repr) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1054:29
[INFO] [stdout]      |
[INFO] [stdout] 1054 |                 Expr::Annot(box expr, type_repr) => {
[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] 1054 -                 Expr::Annot(box expr, type_repr) => {
[INFO] [stdout] 1054 +                 Expr::Annot(expr, type_repr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1054 -                 Expr::Annot(box expr, type_repr) => {
[INFO] [stdout] 1054 +                 Expr::Annot(deref!(expr), type_repr) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1067:29
[INFO] [stdout]      |
[INFO] [stdout] 1067 |                 Expr::Apply(box f, box arg) => self.apply(self.infer(f)?, arg),
[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] 1067 -                 Expr::Apply(box f, box arg) => self.apply(self.infer(f)?, arg),
[INFO] [stdout] 1067 +                 Expr::Apply(f, box arg) => self.apply(self.infer(f)?, arg),
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1067 -                 Expr::Apply(box f, box arg) => self.apply(self.infer(f)?, arg),
[INFO] [stdout] 1067 +                 Expr::Apply(deref!(f), box arg) => self.apply(self.infer(f)?, arg),
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1067:36
[INFO] [stdout]      |
[INFO] [stdout] 1067 |                 Expr::Apply(box f, box arg) => self.apply(self.infer(f)?, arg),
[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] 1067 -                 Expr::Apply(box f, box arg) => self.apply(self.infer(f)?, arg),
[INFO] [stdout] 1067 +                 Expr::Apply(box f, arg) => self.apply(self.infer(f)?, arg),
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1067 -                 Expr::Apply(box f, box arg) => self.apply(self.infer(f)?, arg),
[INFO] [stdout] 1067 +                 Expr::Apply(box f, deref!(arg)) => self.apply(self.infer(f)?, arg),
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1077:33
[INFO] [stdout]      |
[INFO] [stdout] 1077 |                 Expr::Let(name, box value @ Expr::Abstr(_, _), box expr) => {
[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] 1077 -                 Expr::Let(name, box value @ Expr::Abstr(_, _), box expr) => {
[INFO] [stdout] 1077 +                 Expr::Let(name, value @ Expr::Abstr(_, _), box expr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1077 -                 Expr::Let(name, box value @ Expr::Abstr(_, _), box expr) => {
[INFO] [stdout] 1077 +                 Expr::Let(name, deref!(value @ Expr::Abstr(_, _)), box expr) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1077:64
[INFO] [stdout]      |
[INFO] [stdout] 1077 |                 Expr::Let(name, box value @ Expr::Abstr(_, _), box expr) => {
[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] 1077 -                 Expr::Let(name, box value @ Expr::Abstr(_, _), box expr) => {
[INFO] [stdout] 1077 +                 Expr::Let(name, box value @ Expr::Abstr(_, _), expr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1077 -                 Expr::Let(name, box value @ Expr::Abstr(_, _), box expr) => {
[INFO] [stdout] 1077 +                 Expr::Let(name, box value @ Expr::Abstr(_, _), deref!(expr)) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1004:45
[INFO] [stdout]      |
[INFO] [stdout] 1004 |                 (Expr::Let(name, box value, box expr), type_repr) => {
[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] 1004 -                 (Expr::Let(name, box value, box expr), type_repr) => {
[INFO] [stdout] 1004 +                 (Expr::Let(name, box value, expr), type_repr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1004 -                 (Expr::Let(name, box value, box expr), type_repr) => {
[INFO] [stdout] 1004 +                 (Expr::Let(name, box value, deref!(expr)), type_repr) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1054:29
[INFO] [stdout]      |
[INFO] [stdout] 1054 |                 Expr::Annot(box expr, type_repr) => {
[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] 1054 -                 Expr::Annot(box expr, type_repr) => {
[INFO] [stdout] 1054 +                 Expr::Annot(expr, type_repr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1054 -                 Expr::Annot(box expr, type_repr) => {
[INFO] [stdout] 1054 +                 Expr::Annot(deref!(expr), type_repr) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1067:29
[INFO] [stdout]      |
[INFO] [stdout] 1067 |                 Expr::Apply(box f, box arg) => self.apply(self.infer(f)?, arg),
[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] 1067 -                 Expr::Apply(box f, box arg) => self.apply(self.infer(f)?, arg),
[INFO] [stdout] 1067 +                 Expr::Apply(f, box arg) => self.apply(self.infer(f)?, arg),
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1067 -                 Expr::Apply(box f, box arg) => self.apply(self.infer(f)?, arg),
[INFO] [stdout] 1067 +                 Expr::Apply(deref!(f), box arg) => self.apply(self.infer(f)?, arg),
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1067:36
[INFO] [stdout]      |
[INFO] [stdout] 1067 |                 Expr::Apply(box f, box arg) => self.apply(self.infer(f)?, arg),
[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] 1067 -                 Expr::Apply(box f, box arg) => self.apply(self.infer(f)?, arg),
[INFO] [stdout] 1067 +                 Expr::Apply(box f, arg) => self.apply(self.infer(f)?, arg),
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1067 -                 Expr::Apply(box f, box arg) => self.apply(self.infer(f)?, arg),
[INFO] [stdout] 1067 +                 Expr::Apply(box f, deref!(arg)) => self.apply(self.infer(f)?, arg),
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1077:33
[INFO] [stdout]      |
[INFO] [stdout] 1077 |                 Expr::Let(name, box value @ Expr::Abstr(_, _), box expr) => {
[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] 1077 -                 Expr::Let(name, box value @ Expr::Abstr(_, _), box expr) => {
[INFO] [stdout] 1077 +                 Expr::Let(name, value @ Expr::Abstr(_, _), box expr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1077 -                 Expr::Let(name, box value @ Expr::Abstr(_, _), box expr) => {
[INFO] [stdout] 1077 +                 Expr::Let(name, deref!(value @ Expr::Abstr(_, _)), box expr) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1077:64
[INFO] [stdout]      |
[INFO] [stdout] 1077 |                 Expr::Let(name, box value @ Expr::Abstr(_, _), box expr) => {
[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] 1077 -                 Expr::Let(name, box value @ Expr::Abstr(_, _), box expr) => {
[INFO] [stdout] 1077 +                 Expr::Let(name, box value @ Expr::Abstr(_, _), expr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1077 -                 Expr::Let(name, box value @ Expr::Abstr(_, _), box expr) => {
[INFO] [stdout] 1077 +                 Expr::Let(name, box value @ Expr::Abstr(_, _), deref!(expr)) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1094:33
[INFO] [stdout]      |
[INFO] [stdout] 1094 |                 Expr::Let(name, box value, box expr) => {
[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] 1094 -                 Expr::Let(name, box value, box expr) => {
[INFO] [stdout] 1094 +                 Expr::Let(name, value, box expr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1094 -                 Expr::Let(name, box value, box expr) => {
[INFO] [stdout] 1094 +                 Expr::Let(name, deref!(value), box expr) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1094:44
[INFO] [stdout]      |
[INFO] [stdout] 1094 |                 Expr::Let(name, box value, box expr) => {
[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] 1094 -                 Expr::Let(name, box value, box expr) => {
[INFO] [stdout] 1094 +                 Expr::Let(name, box value, expr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1094 -                 Expr::Let(name, box value, box expr) => {
[INFO] [stdout] 1094 +                 Expr::Let(name, box value, deref!(expr)) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1114:35
[INFO] [stdout]      |
[INFO] [stdout] 1114 |                 Expr::Abstr(name, box expr) => {
[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] 1114 -                 Expr::Abstr(name, box expr) => {
[INFO] [stdout] 1114 +                 Expr::Abstr(name, expr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1114 -                 Expr::Abstr(name, box expr) => {
[INFO] [stdout] 1114 +                 Expr::Abstr(name, deref!(expr)) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1094:33
[INFO] [stdout]      |
[INFO] [stdout] 1094 |                 Expr::Let(name, box value, box expr) => {
[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] 1094 -                 Expr::Let(name, box value, box expr) => {
[INFO] [stdout] 1094 +                 Expr::Let(name, value, box expr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1094 -                 Expr::Let(name, box value, box expr) => {
[INFO] [stdout] 1094 +                 Expr::Let(name, deref!(value), box expr) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1140:27
[INFO] [stdout]      |
[INFO] [stdout] 1140 |                 Type::Fun(box domain, box codomain) => {
[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] 1140 -                 Type::Fun(box domain, box codomain) => {
[INFO] [stdout] 1140 +                 Type::Fun(domain, box codomain) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1140 -                 Type::Fun(box domain, box codomain) => {
[INFO] [stdout] 1140 +                 Type::Fun(deref!(domain), box codomain) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1094:44
[INFO] [stdout]      |
[INFO] [stdout] 1094 |                 Expr::Let(name, box value, box expr) => {
[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] 1094 -                 Expr::Let(name, box value, box expr) => {
[INFO] [stdout] 1094 +                 Expr::Let(name, box value, expr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1094 -                 Expr::Let(name, box value, box expr) => {
[INFO] [stdout] 1094 +                 Expr::Let(name, box value, deref!(expr)) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1140:39
[INFO] [stdout]      |
[INFO] [stdout] 1140 |                 Type::Fun(box domain, box codomain) => {
[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] 1140 -                 Type::Fun(box domain, box codomain) => {
[INFO] [stdout] 1140 +                 Type::Fun(box domain, codomain) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1140 -                 Type::Fun(box domain, box codomain) => {
[INFO] [stdout] 1140 +                 Type::Fun(box domain, deref!(codomain)) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1114:35
[INFO] [stdout]      |
[INFO] [stdout] 1114 |                 Expr::Abstr(name, box expr) => {
[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] 1114 -                 Expr::Abstr(name, box expr) => {
[INFO] [stdout] 1114 +                 Expr::Abstr(name, expr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1114 -                 Expr::Abstr(name, box expr) => {
[INFO] [stdout] 1114 +                 Expr::Abstr(name, deref!(expr)) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1158:36
[INFO] [stdout]      |
[INFO] [stdout] 1158 |                 Type::Forall(name, box type_repr) => {
[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] 1158 -                 Type::Forall(name, box type_repr) => {
[INFO] [stdout] 1158 +                 Type::Forall(name, type_repr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1158 -                 Type::Forall(name, box type_repr) => {
[INFO] [stdout] 1158 +                 Type::Forall(name, deref!(type_repr)) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1140:27
[INFO] [stdout]      |
[INFO] [stdout] 1140 |                 Type::Fun(box domain, box codomain) => {
[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] 1140 -                 Type::Fun(box domain, box codomain) => {
[INFO] [stdout] 1140 +                 Type::Fun(domain, box codomain) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1140 -                 Type::Fun(box domain, box codomain) => {
[INFO] [stdout] 1140 +                 Type::Fun(deref!(domain), box codomain) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1140:39
[INFO] [stdout]      |
[INFO] [stdout] 1140 |                 Type::Fun(box domain, box codomain) => {
[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] 1140 -                 Type::Fun(box domain, box codomain) => {
[INFO] [stdout] 1140 +                 Type::Fun(box domain, codomain) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1140 -                 Type::Fun(box domain, box codomain) => {
[INFO] [stdout] 1140 +                 Type::Fun(box domain, deref!(codomain)) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]     --> src/main.rs:1158:36
[INFO] [stdout]      |
[INFO] [stdout] 1158 |                 Type::Forall(name, box type_repr) => {
[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] 1158 -                 Type::Forall(name, box type_repr) => {
[INFO] [stdout] 1158 +                 Type::Forall(name, type_repr) => {
[INFO] [stdout]      |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]      |
[INFO] [stdout] 1158 -                 Type::Forall(name, box type_repr) => {
[INFO] [stdout] 1158 +                 Type::Forall(name, deref!(type_repr)) => {
[INFO] [stdout]      |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_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[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.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] [stderr] error: could not compile `bidir` (bin "bidir" test) due to 39 previous errors
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[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 `bidir` (bin "bidir") due to 39 previous errors
[INFO] running `Command { std: "docker" "inspect" "9a0497353cea23a2c3469d120111b7f8e072d2964d3595b9b177d3247134c1ee", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9a0497353cea23a2c3469d120111b7f8e072d2964d3595b9b177d3247134c1ee", kill_on_drop: false }`
[INFO] [stdout] 9a0497353cea23a2c3469d120111b7f8e072d2964d3595b9b177d3247134c1ee
