[INFO] cloning repository https://github.com/adamAndMath/AlgebraicManipulatorRust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/adamAndMath/AlgebraicManipulatorRust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FadamAndMath%2FAlgebraicManipulatorRust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FadamAndMath%2FAlgebraicManipulatorRust'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 04fd0cd94dd8caa97d6b2b7bb934b768f39b5a66
[INFO] checking adamAndMath/AlgebraicManipulatorRust 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%2FadamAndMath%2FAlgebraicManipulatorRust" "/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/adamAndMath/AlgebraicManipulatorRust
[INFO] finished tweaking git repo https://github.com/adamAndMath/AlgebraicManipulatorRust
[INFO] tweaked toml for git repo https://github.com/adamAndMath/AlgebraicManipulatorRust written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/adamAndMath/AlgebraicManipulatorRust 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/adamAndMath/AlgebraicManipulatorRust 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] warning: Cargo.toml: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024`
[INFO] [stderr] warning: `algebra` (manifest) generated 1 warning
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pest_derive v2.0.1
[INFO] [stderr]   Downloaded pest_generator v2.0.0
[INFO] [stderr]   Downloaded quote v0.6.8
[INFO] [stderr]   Downloaded proc-macro2 v0.4.20
[INFO] [stderr]   Downloaded arrayref v0.3.5
[INFO] [stderr]   Downloaded pest v2.0.1
[INFO] [stderr]   Downloaded generic-array v0.9.0
[INFO] [stderr]   Downloaded byte-tools v0.2.0
[INFO] [stderr]   Downloaded sha-1 v0.7.0
[INFO] [stderr]   Downloaded block-buffer v0.3.3
[INFO] [stderr]   Downloaded ucd-trie v0.1.1
[INFO] [stderr]   Downloaded digest v0.7.6
[INFO] [stderr]   Downloaded typenum v1.10.0
[INFO] [stderr]   Downloaded pest_meta v2.0.3
[INFO] [stderr]   Downloaded maplit v1.0.1
[INFO] [stderr]   Downloaded syn v0.14.9
[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] aa6df2e95f19f6eeb991237d89df9c332cde33c9cfb3987b1607562655334c7a
[INFO] running `Command { std: "docker" "start" "aa6df2e95f19f6eeb991237d89df9c332cde33c9cfb3987b1607562655334c7a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "aa6df2e95f19f6eeb991237d89df9c332cde33c9cfb3987b1607562655334c7a", 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" "aa6df2e95f19f6eeb991237d89df9c332cde33c9cfb3987b1607562655334c7a" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "aa6df2e95f19f6eeb991237d89df9c332cde33c9cfb3987b1607562655334c7a", 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" "aa6df2e95f19f6eeb991237d89df9c332cde33c9cfb3987b1607562655334c7a" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: Cargo.toml: `package.edition` is unspecified, defaulting to `2015` while the latest is `2024`
[INFO] [stderr] warning: `algebra` (manifest) generated 1 warning
[INFO] [stderr]    Compiling proc-macro2 v0.4.20
[INFO] [stderr]    Compiling unicode-xid v0.1.0
[INFO] [stderr]    Compiling ucd-trie v0.1.1
[INFO] [stderr]    Compiling maplit v1.0.1
[INFO] [stderr]     Checking pest v2.0.1
[INFO] [stderr]    Compiling quote v0.6.8
[INFO] [stderr]    Compiling syn v0.14.9
[INFO] [stderr]    Compiling pest_meta v2.0.3
[INFO] [stderr]    Compiling pest_generator v2.0.0
[INFO] [stderr]    Compiling pest_derive v2.0.1
[INFO] [stderr]     Checking algebra v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:28
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(range_contains, box_patterns, transpose_result)]
[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/envs/truth_val.rs:21:34
[INFO] [stdout]    |
[INFO] [stdout] 21 |             e = if let Exp::Call(box Exp::Var(f, _), box Exp::Closure(v)) = &e {
[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] 21 -             e = if let Exp::Call(box Exp::Var(f, _), box Exp::Closure(v)) = &e {
[INFO] [stdout] 21 +             e = if let Exp::Call(Exp::Var(f, _), box Exp::Closure(v)) = &e {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 21 -             e = if let Exp::Call(box Exp::Var(f, _), box Exp::Closure(v)) = &e {
[INFO] [stdout] 21 +             e = if let Exp::Call(deref!(Exp::Var(f, _)), box Exp::Closure(v)) = &e {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/envs/truth_val.rs:21:54
[INFO] [stdout]    |
[INFO] [stdout] 21 |             e = if let Exp::Call(box Exp::Var(f, _), box Exp::Closure(v)) = &e {
[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] 21 -             e = if let Exp::Call(box Exp::Var(f, _), box Exp::Closure(v)) = &e {
[INFO] [stdout] 21 +             e = if let Exp::Call(box Exp::Var(f, _), Exp::Closure(v)) = &e {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 21 -             e = if let Exp::Call(box Exp::Var(f, _), box Exp::Closure(v)) = &e {
[INFO] [stdout] 21 +             e = if let Exp::Call(box Exp::Var(f, _), deref!(Exp::Closure(v))) = &e {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/ast/ty.rs:20:24
[INFO] [stdout]    |
[INFO] [stdout] 20 |             Type::Func(box t_in, box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[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] 20 -             Type::Func(box t_in, box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout] 20 +             Type::Func(t_in, box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 20 -             Type::Func(box t_in, box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout] 20 +             Type::Func(deref!(t_in), box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/ast/ty.rs:20:34
[INFO] [stdout]    |
[INFO] [stdout] 20 |             Type::Func(box t_in, box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[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] 20 -             Type::Func(box t_in, box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout] 20 +             Type::Func(box t_in, t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 20 -             Type::Func(box t_in, box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout] 20 +             Type::Func(box t_in, deref!(t_out)) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/id/exp.rs:109:31
[INFO] [stdout]     |
[INFO] [stdout] 109 |                 Exp::Call(e1, box e2) => {
[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 -                 Exp::Call(e1, box e2) => {
[INFO] [stdout] 109 +                 Exp::Call(e1, e2) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 109 -                 Exp::Call(e1, box e2) => {
[INFO] [stdout] 109 +                 Exp::Call(e1, deref!(e2)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/id/pattern.rs:159:34
[INFO] [stdout]     |
[INFO] [stdout] 159 |             Pattern::Comp(c, gs, box p) => {
[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] 159 -             Pattern::Comp(c, gs, box p) => {
[INFO] [stdout] 159 +             Pattern::Comp(c, gs, p) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 159 -             Pattern::Comp(c, gs, box p) => {
[INFO] [stdout] 159 +             Pattern::Comp(c, gs, deref!(p)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/id/pattern.rs:160:34
[INFO] [stdout]     |
[INFO] [stdout] 160 |                 if let Exp::Call(box Exp::Var(f, g), box e) = &e {
[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] 160 -                 if let Exp::Call(box Exp::Var(f, g), box e) = &e {
[INFO] [stdout] 160 +                 if let Exp::Call(Exp::Var(f, g), box e) = &e {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 160 -                 if let Exp::Call(box Exp::Var(f, g), box e) = &e {
[INFO] [stdout] 160 +                 if let Exp::Call(deref!(Exp::Var(f, g)), box e) = &e {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/id/pattern.rs:160:54
[INFO] [stdout]     |
[INFO] [stdout] 160 |                 if let Exp::Call(box Exp::Var(f, g), box e) = &e {
[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] 160 -                 if let Exp::Call(box Exp::Var(f, g), box e) = &e {
[INFO] [stdout] 160 +                 if let Exp::Call(box Exp::Var(f, g), e) = &e {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 160 -                 if let Exp::Call(box Exp::Var(f, g), box e) = &e {
[INFO] [stdout] 160 +                 if let Exp::Call(box Exp::Var(f, g), deref!(e)) = &e {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/id/proof.rs:39:31
[INFO] [stdout]    |
[INFO] [stdout] 39 |                     Exp::Call(box f, box 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] 39 -                     Exp::Call(box f, box arg) =>
[INFO] [stdout] 39 +                     Exp::Call(f, box arg) =>
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 39 -                     Exp::Call(box f, box arg) =>
[INFO] [stdout] 39 +                     Exp::Call(deref!(f), box arg) =>
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/id/proof.rs:39:38
[INFO] [stdout]    |
[INFO] [stdout] 39 |                     Exp::Call(box f, box 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] 39 -                     Exp::Call(box f, box arg) =>
[INFO] [stdout] 39 +                     Exp::Call(box f, arg) =>
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 39 -                     Exp::Call(box f, box arg) =>
[INFO] [stdout] 39 +                     Exp::Call(box f, deref!(arg)) =>
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/id/proof.rs:68:26
[INFO] [stdout]    |
[INFO] [stdout] 68 |         if let Exp::Call(box Exp::Var(eq, t), box Exp::Tuple(v)) = truth {
[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] 68 -         if let Exp::Call(box Exp::Var(eq, t), box Exp::Tuple(v)) = truth {
[INFO] [stdout] 68 +         if let Exp::Call(Exp::Var(eq, t), box Exp::Tuple(v)) = truth {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 68 -         if let Exp::Call(box Exp::Var(eq, t), box Exp::Tuple(v)) = truth {
[INFO] [stdout] 68 +         if let Exp::Call(deref!(Exp::Var(eq, t)), box Exp::Tuple(v)) = truth {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/id/proof.rs:68:47
[INFO] [stdout]    |
[INFO] [stdout] 68 |         if let Exp::Call(box Exp::Var(eq, t), box Exp::Tuple(v)) = truth {
[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] 68 -         if let Exp::Call(box Exp::Var(eq, t), box Exp::Tuple(v)) = truth {
[INFO] [stdout] 68 +         if let Exp::Call(box Exp::Var(eq, t), Exp::Tuple(v)) = truth {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 68 -         if let Exp::Call(box Exp::Var(eq, t), box Exp::Tuple(v)) = truth {
[INFO] [stdout] 68 +         if let Exp::Call(box Exp::Var(eq, t), deref!(Exp::Tuple(v))) = truth {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:28
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(range_contains, box_patterns, transpose_result)]
[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/envs/truth_val.rs:21:34
[INFO] [stdout]    |
[INFO] [stdout] 21 |             e = if let Exp::Call(box Exp::Var(f, _), box Exp::Closure(v)) = &e {
[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] 21 -             e = if let Exp::Call(box Exp::Var(f, _), box Exp::Closure(v)) = &e {
[INFO] [stdout] 21 +             e = if let Exp::Call(Exp::Var(f, _), box Exp::Closure(v)) = &e {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 21 -             e = if let Exp::Call(box Exp::Var(f, _), box Exp::Closure(v)) = &e {
[INFO] [stdout] 21 +             e = if let Exp::Call(deref!(Exp::Var(f, _)), box Exp::Closure(v)) = &e {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/envs/truth_val.rs:21:54
[INFO] [stdout]    |
[INFO] [stdout] 21 |             e = if let Exp::Call(box Exp::Var(f, _), box Exp::Closure(v)) = &e {
[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] 21 -             e = if let Exp::Call(box Exp::Var(f, _), box Exp::Closure(v)) = &e {
[INFO] [stdout] 21 +             e = if let Exp::Call(box Exp::Var(f, _), Exp::Closure(v)) = &e {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 21 -             e = if let Exp::Call(box Exp::Var(f, _), box Exp::Closure(v)) = &e {
[INFO] [stdout] 21 +             e = if let Exp::Call(box Exp::Var(f, _), deref!(Exp::Closure(v))) = &e {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/ast/ty.rs:20:24
[INFO] [stdout]    |
[INFO] [stdout] 20 |             Type::Func(box t_in, box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[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] 20 -             Type::Func(box t_in, box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout] 20 +             Type::Func(t_in, box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 20 -             Type::Func(box t_in, box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout] 20 +             Type::Func(deref!(t_in), box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/ast/ty.rs:20:34
[INFO] [stdout]    |
[INFO] [stdout] 20 |             Type::Func(box t_in, box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[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] 20 -             Type::Func(box t_in, box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout] 20 +             Type::Func(box t_in, t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 20 -             Type::Func(box t_in, box t_out) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout] 20 +             Type::Func(box t_in, deref!(t_out)) => func(t_in.to_id(env)?, t_out.to_id(env)?)
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/id/exp.rs:109:31
[INFO] [stdout]     |
[INFO] [stdout] 109 |                 Exp::Call(e1, box e2) => {
[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 -                 Exp::Call(e1, box e2) => {
[INFO] [stdout] 109 +                 Exp::Call(e1, e2) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 109 -                 Exp::Call(e1, box e2) => {
[INFO] [stdout] 109 +                 Exp::Call(e1, deref!(e2)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/id/pattern.rs:159:34
[INFO] [stdout]     |
[INFO] [stdout] 159 |             Pattern::Comp(c, gs, box p) => {
[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] 159 -             Pattern::Comp(c, gs, box p) => {
[INFO] [stdout] 159 +             Pattern::Comp(c, gs, p) => {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 159 -             Pattern::Comp(c, gs, box p) => {
[INFO] [stdout] 159 +             Pattern::Comp(c, gs, deref!(p)) => {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/id/pattern.rs:160:34
[INFO] [stdout]     |
[INFO] [stdout] 160 |                 if let Exp::Call(box Exp::Var(f, g), box e) = &e {
[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] 160 -                 if let Exp::Call(box Exp::Var(f, g), box e) = &e {
[INFO] [stdout] 160 +                 if let Exp::Call(Exp::Var(f, g), box e) = &e {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 160 -                 if let Exp::Call(box Exp::Var(f, g), box e) = &e {
[INFO] [stdout] 160 +                 if let Exp::Call(deref!(Exp::Var(f, g)), box e) = &e {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]    --> src/id/pattern.rs:160:54
[INFO] [stdout]     |
[INFO] [stdout] 160 |                 if let Exp::Call(box Exp::Var(f, g), box e) = &e {
[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] 160 -                 if let Exp::Call(box Exp::Var(f, g), box e) = &e {
[INFO] [stdout] 160 +                 if let Exp::Call(box Exp::Var(f, g), e) = &e {
[INFO] [stdout]     |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]     |
[INFO] [stdout] 160 -                 if let Exp::Call(box Exp::Var(f, g), box e) = &e {
[INFO] [stdout] 160 +                 if let Exp::Call(box Exp::Var(f, g), deref!(e)) = &e {
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/id/proof.rs:39:31
[INFO] [stdout]    |
[INFO] [stdout] 39 |                     Exp::Call(box f, box 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] 39 -                     Exp::Call(box f, box arg) =>
[INFO] [stdout] 39 +                     Exp::Call(f, box arg) =>
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 39 -                     Exp::Call(box f, box arg) =>
[INFO] [stdout] 39 +                     Exp::Call(deref!(f), box arg) =>
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/id/proof.rs:39:38
[INFO] [stdout]    |
[INFO] [stdout] 39 |                     Exp::Call(box f, box 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] 39 -                     Exp::Call(box f, box arg) =>
[INFO] [stdout] 39 +                     Exp::Call(box f, arg) =>
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 39 -                     Exp::Call(box f, box arg) =>
[INFO] [stdout] 39 +                     Exp::Call(box f, deref!(arg)) =>
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/id/proof.rs:68:26
[INFO] [stdout]    |
[INFO] [stdout] 68 |         if let Exp::Call(box Exp::Var(eq, t), box Exp::Tuple(v)) = truth {
[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] 68 -         if let Exp::Call(box Exp::Var(eq, t), box Exp::Tuple(v)) = truth {
[INFO] [stdout] 68 +         if let Exp::Call(Exp::Var(eq, t), box Exp::Tuple(v)) = truth {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 68 -         if let Exp::Call(box Exp::Var(eq, t), box Exp::Tuple(v)) = truth {
[INFO] [stdout] 68 +         if let Exp::Call(deref!(Exp::Var(eq, t)), box Exp::Tuple(v)) = truth {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box` patterns have been removed (feature `box_patterns`)
[INFO] [stdout]   --> src/id/proof.rs:68:47
[INFO] [stdout]    |
[INFO] [stdout] 68 |         if let Exp::Call(box Exp::Var(eq, t), box Exp::Tuple(v)) = truth {
[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] 68 -         if let Exp::Call(box Exp::Var(eq, t), box Exp::Tuple(v)) = truth {
[INFO] [stdout] 68 +         if let Exp::Call(box Exp::Var(eq, t), Exp::Tuple(v)) = truth {
[INFO] [stdout]    |
[INFO] [stdout] help: ...otherwise replace it with an invocation of macro `deref`
[INFO] [stdout]    |
[INFO] [stdout] 68 -         if let Exp::Call(box Exp::Var(eq, t), box Exp::Tuple(v)) = truth {
[INFO] [stdout] 68 +         if let Exp::Call(box Exp::Var(eq, t), deref!(Exp::Tuple(v))) = truth {
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ErrID` and `SetLocal`
[INFO] [stdout]   --> src/id/mod.rs:31:9
[INFO] [stdout]    |
[INFO] [stdout] 31 |         ErrID,
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout] 32 |         TypeCheck,
[INFO] [stdout] 33 |         SetLocal
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ErrID`, `SetLocal`, and `TypeCheck`
[INFO] [stdout]   --> src/id/mod.rs:31:9
[INFO] [stdout]    |
[INFO] [stdout] 31 |         ErrID,
[INFO] [stdout]    |         ^^^^^
[INFO] [stdout] 32 |         TypeCheck,
[INFO] [stdout]    |         ^^^^^^^^^
[INFO] [stdout] 33 |         SetLocal
[INFO] [stdout]    |         ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `type_id`
[INFO] [stdout]  --> src/macros/id/ty.rs:1:14
[INFO] [stdout]   |
[INFO] [stdout] 1 | macro_rules! type_id {
[INFO] [stdout]   |              ^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_macros)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `type_id_vec`
[INFO] [stdout]  --> src/macros/id/ty.rs:7:14
[INFO] [stdout]   |
[INFO] [stdout] 7 | macro_rules! type_id_vec {
[INFO] [stdout]   |              ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `type_id_tuple`
[INFO] [stdout]   --> src/macros/id/ty.rs:11:14
[INFO] [stdout]    |
[INFO] [stdout] 11 | macro_rules! type_id_tuple {
[INFO] [stdout]    |              ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `pattern_id`
[INFO] [stdout]  --> src/macros/id/pattern.rs:1:14
[INFO] [stdout]   |
[INFO] [stdout] 1 | macro_rules! pattern_id {
[INFO] [stdout]   |              ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `pattern_id_tuple`
[INFO] [stdout]   --> src/macros/id/pattern.rs:10:14
[INFO] [stdout]    |
[INFO] [stdout] 10 | macro_rules! pattern_id_tuple {
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `exp_id`
[INFO] [stdout]  --> src/macros/id/exp.rs:1:14
[INFO] [stdout]   |
[INFO] [stdout] 1 | macro_rules! exp_id {
[INFO] [stdout]   |              ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused macro definition: `exp_id_tuple`
[INFO] [stdout]  --> src/macros/id/exp.rs:8:14
[INFO] [stdout]   |
[INFO] [stdout] 8 | macro_rules! exp_id_tuple {
[INFO] [stdout]   |              ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `range_contains` has been stable since 1.35.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(range_contains, box_patterns, transpose_result)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `transpose_result` has been stable since 1.33.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:1:42
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(range_contains, box_patterns, transpose_result)]
[INFO] [stdout]   |                                          ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `range_contains` has been stable since 1.35.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(range_contains, box_patterns, transpose_result)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `transpose_result` has been stable since 1.33.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:1:42
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(range_contains, box_patterns, transpose_result)]
[INFO] [stdout]   |                                          ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/parser.rs:34:40
[INFO] [stdout]    |
[INFO] [stdout] 34 | fn parse<'f, T: Parse<'f>>(pairs: &mut Iterator<Item = Pair<'f>>) -> T {
[INFO] [stdout]    |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout]    = note: `#[warn(bare_trait_objects)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]    |
[INFO] [stdout] 34 | fn parse<'f, T: Parse<'f>>(pairs: &mut dyn Iterator<Item = Pair<'f>>) -> T {
[INFO] [stdout]    |                                        +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/parser.rs:38:44
[INFO] [stdout]    |
[INFO] [stdout] 38 | fn parse_vec<'f, T: Parse<'f>>(pairs: &mut Iterator<Item = Pair<'f>>) -> Vec<T> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]    |
[INFO] [stdout] 38 | fn parse_vec<'f, T: Parse<'f>>(pairs: &mut dyn Iterator<Item = Pair<'f>>) -> Vec<T> {
[INFO] [stdout]    |                                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/parser.rs:34:40
[INFO] [stdout]    |
[INFO] [stdout] 34 | fn parse<'f, T: Parse<'f>>(pairs: &mut Iterator<Item = Pair<'f>>) -> T {
[INFO] [stdout]    |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout]    = note: `#[warn(bare_trait_objects)]` (part of `#[warn(rust_2021_compatibility)]`) on by default
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]    |
[INFO] [stdout] 34 | fn parse<'f, T: Parse<'f>>(pairs: &mut dyn Iterator<Item = Pair<'f>>) -> T {
[INFO] [stdout]    |                                        +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait objects without an explicit `dyn` are deprecated
[INFO] [stdout]   --> src/parser.rs:38:44
[INFO] [stdout]    |
[INFO] [stdout] 38 | fn parse_vec<'f, T: Parse<'f>>(pairs: &mut Iterator<Item = Pair<'f>>) -> Vec<T> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2021!
[INFO] [stdout]    = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2021/warnings-promoted-to-error.html>
[INFO] [stdout] help: if this is a dyn-compatible trait, use `dyn`
[INFO] [stdout]    |
[INFO] [stdout] 38 | fn parse_vec<'f, T: Parse<'f>>(pairs: &mut dyn Iterator<Item = Pair<'f>>) -> Vec<T> {
[INFO] [stdout]    |                                            +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `algebra` (bin "algebra") due to 13 previous errors; 12 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 `algebra` (bin "algebra" test) due to 13 previous errors; 5 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "aa6df2e95f19f6eeb991237d89df9c332cde33c9cfb3987b1607562655334c7a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "aa6df2e95f19f6eeb991237d89df9c332cde33c9cfb3987b1607562655334c7a", kill_on_drop: false }`
[INFO] [stdout] aa6df2e95f19f6eeb991237d89df9c332cde33c9cfb3987b1607562655334c7a
