[INFO] cloning repository https://github.com/loovjo/patact
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/loovjo/patact" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Floovjo%2Fpatact", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Floovjo%2Fpatact'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 6323b4a8ccd0555a53f0d67a366e1325c90f765d
[INFO] checking loovjo/patact against try#a3a874232ae0a7586b5fbe7483c5a42e157bd62a for pr-151109
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Floovjo%2Fpatact" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/loovjo/patact
[INFO] finished tweaking git repo https://github.com/loovjo/patact
[INFO] tweaked toml for git repo https://github.com/loovjo/patact written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/loovjo/patact on toolchain a3a874232ae0a7586b5fbe7483c5a42e157bd62a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+a3a874232ae0a7586b5fbe7483c5a42e157bd62a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/loovjo/patact 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" "+a3a874232ae0a7586b5fbe7483c5a42e157bd62a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+a3a874232ae0a7586b5fbe7483c5a42e157bd62a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d591f68c80a9c5a7b45b073a171c72d221fbdcc0f4ac0ddad09c6bb246419e42
[INFO] running `Command { std: "docker" "start" "-a" "d591f68c80a9c5a7b45b073a171c72d221fbdcc0f4ac0ddad09c6bb246419e42", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d591f68c80a9c5a7b45b073a171c72d221fbdcc0f4ac0ddad09c6bb246419e42", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d591f68c80a9c5a7b45b073a171c72d221fbdcc0f4ac0ddad09c6bb246419e42", kill_on_drop: false }`
[INFO] [stdout] d591f68c80a9c5a7b45b073a171c72d221fbdcc0f4ac0ddad09c6bb246419e42
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+a3a874232ae0a7586b5fbe7483c5a42e157bd62a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8fc0cbbd785397993af97340161d76fb2e6e961885980825f9dac5cda4c87637
[INFO] running `Command { std: "docker" "start" "-a" "8fc0cbbd785397993af97340161d76fb2e6e961885980825f9dac5cda4c87637", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_syntax, box_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: removed in 1.70.0; see <https://github.com/rust-lang/rust/pull/108471> for more information
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking patact v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/expr/eval.rs:42:28
[INFO] [stdout]    |
[INFO] [stdout] 42 |                 MExpr::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 42 -                 MExpr::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout] 42 +                 MExpr::Div(Box::new(num.trivial_reduce()), box den.trivial_reduce())
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/expr/eval.rs:42:54
[INFO] [stdout]    |
[INFO] [stdout] 42 |                 MExpr::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout]    |                                                      ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 42 -                 MExpr::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout] 42 +                 MExpr::Div(box num.trivial_reduce(), Box::new(den.trivial_reduce()))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:123:32
[INFO] [stdout]     |
[INFO] [stdout] 123 |                     MExpr::Div(box MExpr::Prod(num), box MExpr::Prod(den)).reduce(should_factor)
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 123 -                     MExpr::Div(box MExpr::Prod(num), box MExpr::Prod(den)).reduce(should_factor)
[INFO] [stdout] 123 +                     MExpr::Div(Box::new(MExpr::Prod(num)), box MExpr::Prod(den)).reduce(should_factor)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:123:54
[INFO] [stdout]     |
[INFO] [stdout] 123 |                     MExpr::Div(box MExpr::Prod(num), box MExpr::Prod(den)).reduce(should_factor)
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 123 -                     MExpr::Div(box MExpr::Prod(num), box MExpr::Prod(den)).reduce(should_factor)
[INFO] [stdout] 123 +                     MExpr::Div(box MExpr::Prod(num), Box::new(MExpr::Prod(den))).reduce(should_factor)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:150:40
[INFO] [stdout]     |
[INFO] [stdout] 150 | ...                   MExpr::Div(box num, box den)
[INFO] [stdout]     |                                  ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 150 -                             MExpr::Div(box num, box den)
[INFO] [stdout] 150 +                             MExpr::Div(Box::new(num), box den)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:150:49
[INFO] [stdout]     |
[INFO] [stdout] 150 | ...                   MExpr::Div(box num, box den)
[INFO] [stdout]     |                                           ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 150 -                             MExpr::Div(box num, box den)
[INFO] [stdout] 150 +                             MExpr::Div(box num, Box::new(den))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:170:36
[INFO] [stdout]     |
[INFO] [stdout] 170 |                         MExpr::Div(box MExpr::ConstNum(a / gcd), box MExpr::ConstNum(b / gcd)),
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 170 -                         MExpr::Div(box MExpr::ConstNum(a / gcd), box MExpr::ConstNum(b / gcd)),
[INFO] [stdout] 170 +                         MExpr::Div(Box::new(MExpr::ConstNum(a / gcd)), box MExpr::ConstNum(b / gcd)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:170:66
[INFO] [stdout]     |
[INFO] [stdout] 170 |                         MExpr::Div(box MExpr::ConstNum(a / gcd), box MExpr::ConstNum(b / gcd)),
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 170 -                         MExpr::Div(box MExpr::ConstNum(a / gcd), box MExpr::ConstNum(b / gcd)),
[INFO] [stdout] 170 +                         MExpr::Div(box MExpr::ConstNum(a / gcd), Box::new(MExpr::ConstNum(b / gcd))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:177:49
[INFO] [stdout]     |
[INFO] [stdout] 177 |                 (MExpr::ConstNum(1), MExpr::Div(box a, box b))
[INFO] [stdout]     |                                                 ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 177 -                 (MExpr::ConstNum(1), MExpr::Div(box a, box b))
[INFO] [stdout] 177 +                 (MExpr::ConstNum(1), MExpr::Div(Box::new(a), box b))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:177:56
[INFO] [stdout]     |
[INFO] [stdout] 177 |                 (MExpr::ConstNum(1), MExpr::Div(box a, box b))
[INFO] [stdout]     |                                                        ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 177 -                 (MExpr::ConstNum(1), MExpr::Div(box a, box b))
[INFO] [stdout] 177 +                 (MExpr::ConstNum(1), MExpr::Div(box a, Box::new(b)))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:225:40
[INFO] [stdout]     |
[INFO] [stdout] 225 |                 let ratio = MExpr::Div(box num, box den).reduce(false);
[INFO] [stdout]     |                                        ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 225 -                 let ratio = MExpr::Div(box num, box den).reduce(false);
[INFO] [stdout] 225 +                 let ratio = MExpr::Div(Box::new(num), box den).reduce(false);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:225:49
[INFO] [stdout]     |
[INFO] [stdout] 225 |                 let ratio = MExpr::Div(box num, box den).reduce(false);
[INFO] [stdout]     |                                                 ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 225 -                 let ratio = MExpr::Div(box num, box den).reduce(false);
[INFO] [stdout] 225 +                 let ratio = MExpr::Div(box num, Box::new(den)).reduce(false);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:237:53
[INFO] [stdout]     |
[INFO] [stdout] 237 |                     (MExpr::ConstNum(1), MExpr::Div(box a, box b).reduce(false))
[INFO] [stdout]     |                                                     ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 237 -                     (MExpr::ConstNum(1), MExpr::Div(box a, box b).reduce(false))
[INFO] [stdout] 237 +                     (MExpr::ConstNum(1), MExpr::Div(Box::new(a), box b).reduce(false))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:237:60
[INFO] [stdout]     |
[INFO] [stdout] 237 |                     (MExpr::ConstNum(1), MExpr::Div(box a, box b).reduce(false))
[INFO] [stdout]     |                                                            ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 237 -                     (MExpr::ConstNum(1), MExpr::Div(box a, box b).reduce(false))
[INFO] [stdout] 237 +                     (MExpr::ConstNum(1), MExpr::Div(box a, Box::new(b)).reduce(false))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/expr/parse.rs:91:34
[INFO] [stdout]    |
[INFO] [stdout] 91 |             return Ok(MExpr::Div(box num, box den));
[INFO] [stdout]    |                                  ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 91 -             return Ok(MExpr::Div(box num, box den));
[INFO] [stdout] 91 +             return Ok(MExpr::Div(Box::new(num), box den));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/expr/parse.rs:91:43
[INFO] [stdout]    |
[INFO] [stdout] 91 |             return Ok(MExpr::Div(box num, box den));
[INFO] [stdout]    |                                           ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 91 -             return Ok(MExpr::Div(box num, box den));
[INFO] [stdout] 91 +             return Ok(MExpr::Div(box num, Box::new(den)));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/parse.rs:206:37
[INFO] [stdout]     |
[INFO] [stdout] 206 |             return Ok(MPattern::Div(box num, box den));
[INFO] [stdout]     |                                     ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 206 -             return Ok(MPattern::Div(box num, box den));
[INFO] [stdout] 206 +             return Ok(MPattern::Div(Box::new(num), box den));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/parse.rs:206:46
[INFO] [stdout]     |
[INFO] [stdout] 206 |             return Ok(MPattern::Div(box num, box den));
[INFO] [stdout]     |                                              ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 206 -             return Ok(MPattern::Div(box num, box den));
[INFO] [stdout] 206 +             return Ok(MPattern::Div(box num, Box::new(den)));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/expr/expr_pattern.rs:49:48
[INFO] [stdout]    |
[INFO] [stdout] 49 |                         res.push(MPattern::Div(box num_pat.clone(), box den_pat));
[INFO] [stdout]    |                                                ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 49 -                         res.push(MPattern::Div(box num_pat.clone(), box den_pat));
[INFO] [stdout] 49 +                         res.push(MPattern::Div(Box::new(num_pat.clone()), box den_pat));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/expr/expr_pattern.rs:49:69
[INFO] [stdout]    |
[INFO] [stdout] 49 |                         res.push(MPattern::Div(box num_pat.clone(), box den_pat));
[INFO] [stdout]    |                                                                     ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 49 -                         res.push(MPattern::Div(box num_pat.clone(), box den_pat));
[INFO] [stdout] 49 +                         res.push(MPattern::Div(box num_pat.clone(), Box::new(den_pat)));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:137:31
[INFO] [stdout]     |
[INFO] [stdout] 137 |                 MPattern::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 137 -                 MPattern::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout] 137 +                 MPattern::Div(Box::new(num.trivial_reduce()), box den.trivial_reduce())
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:137:57
[INFO] [stdout]     |
[INFO] [stdout] 137 |                 MPattern::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout]     |                                                         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 137 -                 MPattern::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout] 137 +                 MPattern::Div(box num.trivial_reduce(), Box::new(den.trivial_reduce()))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:306:21
[INFO] [stdout]     |
[INFO] [stdout] 306 |                     box den.convert_to_mexpr(),
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 306 -                     box den.convert_to_mexpr(),
[INFO] [stdout] 306 +                     Box::new(den.convert_to_mexpr()),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:307:21
[INFO] [stdout]     |
[INFO] [stdout] 307 |                     box num.convert_to_mexpr()
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 307 -                     box num.convert_to_mexpr()
[INFO] [stdout] 307 +                     Box::new(num.convert_to_mexpr())
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:330:33
[INFO] [stdout]     |
[INFO] [stdout] 330 |     let pattern = MPattern::Div(box MPattern::Const(0), box MPattern::Var(0));
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 330 -     let pattern = MPattern::Div(box MPattern::Const(0), box MPattern::Var(0));
[INFO] [stdout] 330 +     let pattern = MPattern::Div(Box::new(MPattern::Const(0)), box MPattern::Var(0));
[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_syntax, box_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: removed in 1.70.0; see <https://github.com/rust-lang/rust/pull/108471> for more information
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/expr/eval.rs:42:28
[INFO] [stdout]    |
[INFO] [stdout] 42 |                 MExpr::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 42 -                 MExpr::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout] 42 +                 MExpr::Div(Box::new(num.trivial_reduce()), box den.trivial_reduce())
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/expr/eval.rs:42:54
[INFO] [stdout]    |
[INFO] [stdout] 42 |                 MExpr::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout]    |                                                      ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 42 -                 MExpr::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout] 42 +                 MExpr::Div(box num.trivial_reduce(), Box::new(den.trivial_reduce()))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:123:32
[INFO] [stdout]     |
[INFO] [stdout] 123 |                     MExpr::Div(box MExpr::Prod(num), box MExpr::Prod(den)).reduce(should_factor)
[INFO] [stdout]     |                                ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 123 -                     MExpr::Div(box MExpr::Prod(num), box MExpr::Prod(den)).reduce(should_factor)
[INFO] [stdout] 123 +                     MExpr::Div(Box::new(MExpr::Prod(num)), box MExpr::Prod(den)).reduce(should_factor)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:123:54
[INFO] [stdout]     |
[INFO] [stdout] 123 |                     MExpr::Div(box MExpr::Prod(num), box MExpr::Prod(den)).reduce(should_factor)
[INFO] [stdout]     |                                                      ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 123 -                     MExpr::Div(box MExpr::Prod(num), box MExpr::Prod(den)).reduce(should_factor)
[INFO] [stdout] 123 +                     MExpr::Div(box MExpr::Prod(num), Box::new(MExpr::Prod(den))).reduce(should_factor)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:330:57
[INFO] [stdout]     |
[INFO] [stdout] 330 |     let pattern = MPattern::Div(box MPattern::Const(0), box MPattern::Var(0));
[INFO] [stdout]     |                                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 330 -     let pattern = MPattern::Div(box MPattern::Const(0), box MPattern::Var(0));
[INFO] [stdout] 330 +     let pattern = MPattern::Div(box MPattern::Const(0), Box::new(MPattern::Var(0)));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:150:40
[INFO] [stdout]     |
[INFO] [stdout] 150 | ...                   MExpr::Div(box num, box den)
[INFO] [stdout]     |                                  ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 150 -                             MExpr::Div(box num, box den)
[INFO] [stdout] 150 +                             MExpr::Div(Box::new(num), box den)
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:331:27
[INFO] [stdout]     |
[INFO] [stdout] 331 |     let expr = MExpr::Div(box MExpr::ConstNum(3), box MExpr::Prod(vec![ MExpr::ConstNum(2), MExpr::Var(21)] ));
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 331 -     let expr = MExpr::Div(box MExpr::ConstNum(3), box MExpr::Prod(vec![ MExpr::ConstNum(2), MExpr::Var(21)] ));
[INFO] [stdout] 331 +     let expr = MExpr::Div(Box::new(MExpr::ConstNum(3)), box MExpr::Prod(vec![ MExpr::ConstNum(2), MExpr::Var(21)] ));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:150:49
[INFO] [stdout]     |
[INFO] [stdout] 150 | ...                   MExpr::Div(box num, box den)
[INFO] [stdout]     |                                           ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 150 -                             MExpr::Div(box num, box den)
[INFO] [stdout] 150 +                             MExpr::Div(box num, Box::new(den))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:331:51
[INFO] [stdout]     |
[INFO] [stdout] 331 |     let expr = MExpr::Div(box MExpr::ConstNum(3), box MExpr::Prod(vec![ MExpr::ConstNum(2), MExpr::Var(21)] ));
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 331 -     let expr = MExpr::Div(box MExpr::ConstNum(3), box MExpr::Prod(vec![ MExpr::ConstNum(2), MExpr::Var(21)] ));
[INFO] [stdout] 331 +     let expr = MExpr::Div(box MExpr::ConstNum(3), Box::new(MExpr::Prod(vec![ MExpr::ConstNum(2), MExpr::Var(21)] )));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:170:36
[INFO] [stdout]     |
[INFO] [stdout] 170 |                         MExpr::Div(box MExpr::ConstNum(a / gcd), box MExpr::ConstNum(b / gcd)),
[INFO] [stdout]     |                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 170 -                         MExpr::Div(box MExpr::ConstNum(a / gcd), box MExpr::ConstNum(b / gcd)),
[INFO] [stdout] 170 +                         MExpr::Div(Box::new(MExpr::ConstNum(a / gcd)), box MExpr::ConstNum(b / gcd)),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:170:66
[INFO] [stdout]     |
[INFO] [stdout] 170 |                         MExpr::Div(box MExpr::ConstNum(a / gcd), box MExpr::ConstNum(b / gcd)),
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 170 -                         MExpr::Div(box MExpr::ConstNum(a / gcd), box MExpr::ConstNum(b / gcd)),
[INFO] [stdout] 170 +                         MExpr::Div(box MExpr::ConstNum(a / gcd), Box::new(MExpr::ConstNum(b / gcd))),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:177:49
[INFO] [stdout]     |
[INFO] [stdout] 177 |                 (MExpr::ConstNum(1), MExpr::Div(box a, box b))
[INFO] [stdout]     |                                                 ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 177 -                 (MExpr::ConstNum(1), MExpr::Div(box a, box b))
[INFO] [stdout] 177 +                 (MExpr::ConstNum(1), MExpr::Div(Box::new(a), box b))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:177:56
[INFO] [stdout]     |
[INFO] [stdout] 177 |                 (MExpr::ConstNum(1), MExpr::Div(box a, box b))
[INFO] [stdout]     |                                                        ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 177 -                 (MExpr::ConstNum(1), MExpr::Div(box a, box b))
[INFO] [stdout] 177 +                 (MExpr::ConstNum(1), MExpr::Div(box a, Box::new(b)))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:225:40
[INFO] [stdout]     |
[INFO] [stdout] 225 |                 let ratio = MExpr::Div(box num, box den).reduce(false);
[INFO] [stdout]     |                                        ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 225 -                 let ratio = MExpr::Div(box num, box den).reduce(false);
[INFO] [stdout] 225 +                 let ratio = MExpr::Div(Box::new(num), box den).reduce(false);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:66:44
[INFO] [stdout]    |
[INFO] [stdout] 66 | ...                   MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout]    |                                  ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 66 -                                 MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout] 66 +                                 MExpr::Div(Box::new(lhs), box x.clone()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:225:49
[INFO] [stdout]     |
[INFO] [stdout] 225 |                 let ratio = MExpr::Div(box num, box den).reduce(false);
[INFO] [stdout]     |                                                 ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 225 -                 let ratio = MExpr::Div(box num, box den).reduce(false);
[INFO] [stdout] 225 +                 let ratio = MExpr::Div(box num, Box::new(den)).reduce(false);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:237:53
[INFO] [stdout]     |
[INFO] [stdout] 237 |                     (MExpr::ConstNum(1), MExpr::Div(box a, box b).reduce(false))
[INFO] [stdout]     |                                                     ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 237 -                     (MExpr::ConstNum(1), MExpr::Div(box a, box b).reduce(false))
[INFO] [stdout] 237 +                     (MExpr::ConstNum(1), MExpr::Div(Box::new(a), box b).reduce(false))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:66:53
[INFO] [stdout]    |
[INFO] [stdout] 66 | ...                   MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 66 -                                 MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout] 66 +                                 MExpr::Div(box lhs, Box::new(x.clone())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:237:60
[INFO] [stdout]     |
[INFO] [stdout] 237 |                     (MExpr::ConstNum(1), MExpr::Div(box a, box b).reduce(false))
[INFO] [stdout]     |                                                            ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 237 -                     (MExpr::ConstNum(1), MExpr::Div(box a, box b).reduce(false))
[INFO] [stdout] 237 +                     (MExpr::ConstNum(1), MExpr::Div(box a, Box::new(b)).reduce(false))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/expr/parse.rs:91:34
[INFO] [stdout]    |
[INFO] [stdout] 91 |             return Ok(MExpr::Div(box num, box den));
[INFO] [stdout]    |                                  ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 91 -             return Ok(MExpr::Div(box num, box den));
[INFO] [stdout] 91 +             return Ok(MExpr::Div(Box::new(num), box den));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:67:44
[INFO] [stdout]    |
[INFO] [stdout] 67 | ...                   MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout]    |                                  ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 67 -                                 MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout] 67 +                                 MExpr::Div(Box::new(rhs), box x.clone()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/expr/parse.rs:91:43
[INFO] [stdout]    |
[INFO] [stdout] 91 |             return Ok(MExpr::Div(box num, box den));
[INFO] [stdout]    |                                           ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 91 -             return Ok(MExpr::Div(box num, box den));
[INFO] [stdout] 91 +             return Ok(MExpr::Div(box num, Box::new(den)));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/parse.rs:206:37
[INFO] [stdout]     |
[INFO] [stdout] 206 |             return Ok(MPattern::Div(box num, box den));
[INFO] [stdout]     |                                     ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 206 -             return Ok(MPattern::Div(box num, box den));
[INFO] [stdout] 206 +             return Ok(MPattern::Div(Box::new(num), box den));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:67:53
[INFO] [stdout]    |
[INFO] [stdout] 67 | ...                   MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 67 -                                 MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout] 67 +                                 MExpr::Div(box rhs, Box::new(x.clone())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/parse.rs:206:46
[INFO] [stdout]     |
[INFO] [stdout] 206 |             return Ok(MPattern::Div(box num, box den));
[INFO] [stdout]     |                                              ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 206 -             return Ok(MPattern::Div(box num, box den));
[INFO] [stdout] 206 +             return Ok(MPattern::Div(box num, Box::new(den)));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/expr/expr_pattern.rs:49:48
[INFO] [stdout]    |
[INFO] [stdout] 49 |                         res.push(MPattern::Div(box num_pat.clone(), box den_pat));
[INFO] [stdout]    |                                                ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 49 -                         res.push(MPattern::Div(box num_pat.clone(), box den_pat));
[INFO] [stdout] 49 +                         res.push(MPattern::Div(Box::new(num_pat.clone()), box den_pat));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:94:44
[INFO] [stdout]    |
[INFO] [stdout] 94 | ...                   MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout]    |                                  ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 94 -                                 MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout] 94 +                                 MExpr::Div(Box::new(lhs), box x.clone()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/expr/expr_pattern.rs:49:69
[INFO] [stdout]    |
[INFO] [stdout] 49 |                         res.push(MPattern::Div(box num_pat.clone(), box den_pat));
[INFO] [stdout]    |                                                                     ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 49 -                         res.push(MPattern::Div(box num_pat.clone(), box den_pat));
[INFO] [stdout] 49 +                         res.push(MPattern::Div(box num_pat.clone(), Box::new(den_pat)));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:137:31
[INFO] [stdout]     |
[INFO] [stdout] 137 |                 MPattern::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 137 -                 MPattern::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout] 137 +                 MPattern::Div(Box::new(num.trivial_reduce()), box den.trivial_reduce())
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:94:53
[INFO] [stdout]    |
[INFO] [stdout] 94 | ...                   MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 94 -                                 MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout] 94 +                                 MExpr::Div(box lhs, Box::new(x.clone())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:137:57
[INFO] [stdout]     |
[INFO] [stdout] 137 |                 MPattern::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout]     |                                                         ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 137 -                 MPattern::Div(box num.trivial_reduce(), box den.trivial_reduce())
[INFO] [stdout] 137 +                 MPattern::Div(box num.trivial_reduce(), Box::new(den.trivial_reduce()))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:306:21
[INFO] [stdout]     |
[INFO] [stdout] 306 |                     box den.convert_to_mexpr(),
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 306 -                     box den.convert_to_mexpr(),
[INFO] [stdout] 306 +                     Box::new(den.convert_to_mexpr()),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:95:44
[INFO] [stdout]    |
[INFO] [stdout] 95 | ...                   MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout]    |                                  ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 95 -                                 MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout] 95 +                                 MExpr::Div(Box::new(rhs), box x.clone()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:307:21
[INFO] [stdout]     |
[INFO] [stdout] 307 |                     box num.convert_to_mexpr()
[INFO] [stdout]     |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 307 -                     box num.convert_to_mexpr()
[INFO] [stdout] 307 +                     Box::new(num.convert_to_mexpr())
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:95:53
[INFO] [stdout]    |
[INFO] [stdout] 95 | ...                   MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 95 -                                 MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout] 95 +                                 MExpr::Div(box rhs, Box::new(x.clone())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:330:33
[INFO] [stdout]     |
[INFO] [stdout] 330 |     let pattern = MPattern::Div(box MPattern::Const(0), box MPattern::Var(0));
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 330 -     let pattern = MPattern::Div(box MPattern::Const(0), box MPattern::Var(0));
[INFO] [stdout] 330 +     let pattern = MPattern::Div(Box::new(MPattern::Const(0)), box MPattern::Var(0));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:330:57
[INFO] [stdout]     |
[INFO] [stdout] 330 |     let pattern = MPattern::Div(box MPattern::Const(0), box MPattern::Var(0));
[INFO] [stdout]     |                                                         ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 330 -     let pattern = MPattern::Div(box MPattern::Const(0), box MPattern::Var(0));
[INFO] [stdout] 330 +     let pattern = MPattern::Div(box MPattern::Const(0), Box::new(MPattern::Var(0)));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:331:27
[INFO] [stdout]     |
[INFO] [stdout] 331 |     let expr = MExpr::Div(box MExpr::ConstNum(3), box MExpr::Prod(vec![ MExpr::ConstNum(2), MExpr::Var(21)] ));
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 331 -     let expr = MExpr::Div(box MExpr::ConstNum(3), box MExpr::Prod(vec![ MExpr::ConstNum(2), MExpr::Var(21)] ));
[INFO] [stdout] 331 +     let expr = MExpr::Div(Box::new(MExpr::ConstNum(3)), box MExpr::Prod(vec![ MExpr::ConstNum(2), MExpr::Var(21)] ));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/expr_pattern.rs:331:51
[INFO] [stdout]     |
[INFO] [stdout] 331 |     let expr = MExpr::Div(box MExpr::ConstNum(3), box MExpr::Prod(vec![ MExpr::ConstNum(2), MExpr::Var(21)] ));
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 331 -     let expr = MExpr::Div(box MExpr::ConstNum(3), box MExpr::Prod(vec![ MExpr::ConstNum(2), MExpr::Var(21)] ));
[INFO] [stdout] 331 +     let expr = MExpr::Div(box MExpr::ConstNum(3), Box::new(MExpr::Prod(vec![ MExpr::ConstNum(2), MExpr::Var(21)] )));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0583]: file not found for module `solver`
[INFO] [stdout]  --> src/main.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub mod solver;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: to create the module `solver`, create file "src/solver.rs" or "src/solver/mod.rs"
[INFO] [stdout]   = note: if there is a `mod solver` elsewhere in the crate already, import it with `use crate::...` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:66:44
[INFO] [stdout]    |
[INFO] [stdout] 66 | ...                   MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout]    |                                  ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 66 -                                 MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout] 66 +                                 MExpr::Div(Box::new(lhs), box x.clone()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:66:53
[INFO] [stdout]    |
[INFO] [stdout] 66 | ...                   MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 66 -                                 MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout] 66 +                                 MExpr::Div(box lhs, Box::new(x.clone())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:67:44
[INFO] [stdout]    |
[INFO] [stdout] 67 | ...                   MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout]    |                                  ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 67 -                                 MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout] 67 +                                 MExpr::Div(Box::new(rhs), box x.clone()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:67:53
[INFO] [stdout]    |
[INFO] [stdout] 67 | ...                   MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 67 -                                 MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout] 67 +                                 MExpr::Div(box rhs, Box::new(x.clone())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:94:44
[INFO] [stdout]    |
[INFO] [stdout] 94 | ...                   MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout]    |                                  ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 94 -                                 MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout] 94 +                                 MExpr::Div(Box::new(lhs), box x.clone()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:94:53
[INFO] [stdout]    |
[INFO] [stdout] 94 | ...                   MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 94 -                                 MExpr::Div(box lhs, box x.clone()),
[INFO] [stdout] 94 +                                 MExpr::Div(box lhs, Box::new(x.clone())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:95:44
[INFO] [stdout]    |
[INFO] [stdout] 95 | ...                   MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout]    |                                  ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 95 -                                 MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout] 95 +                                 MExpr::Div(Box::new(rhs), box x.clone()),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/equation/action.rs:95:53
[INFO] [stdout]    |
[INFO] [stdout] 95 | ...                   MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout]    |                                           ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 95 -                                 MExpr::Div(box rhs, box x.clone()),
[INFO] [stdout] 95 +                                 MExpr::Div(box rhs, Box::new(x.clone())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0583]: file not found for module `solver`
[INFO] [stdout]  --> src/main.rs:6:1
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub mod solver;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: to create the module `solver`, create file "src/solver.rs" or "src/solver/mod.rs"
[INFO] [stdout]   = note: if there is a `mod solver` elsewhere in the crate already, import it with `use crate::...` instead
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:269:20
[INFO] [stdout]     |
[INFO] [stdout] 269 |         MExpr::Div(box MExpr::ConstNum(10), box MExpr::ConstNum(5)).reduce(true),
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 269 -         MExpr::Div(box MExpr::ConstNum(10), box MExpr::ConstNum(5)).reduce(true),
[INFO] [stdout] 269 +         MExpr::Div(Box::new(MExpr::ConstNum(10)), box MExpr::ConstNum(5)).reduce(true),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:269:45
[INFO] [stdout]     |
[INFO] [stdout] 269 |         MExpr::Div(box MExpr::ConstNum(10), box MExpr::ConstNum(5)).reduce(true),
[INFO] [stdout]     |                                             ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 269 -         MExpr::Div(box MExpr::ConstNum(10), box MExpr::ConstNum(5)).reduce(true),
[INFO] [stdout] 269 +         MExpr::Div(box MExpr::ConstNum(10), Box::new(MExpr::ConstNum(5))).reduce(true),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:274:37
[INFO] [stdout]     |
[INFO] [stdout] 274 |         MExpr::Sum(vec![ MExpr::Div(box MExpr::ConstNum(1), box MExpr::Var(0)), MExpr::ConstNum(1) ]).reduce(true),
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 274 -         MExpr::Sum(vec![ MExpr::Div(box MExpr::ConstNum(1), box MExpr::Var(0)), MExpr::ConstNum(1) ]).reduce(true),
[INFO] [stdout] 274 +         MExpr::Sum(vec![ MExpr::Div(Box::new(MExpr::ConstNum(1)), box MExpr::Var(0)), MExpr::ConstNum(1) ]).reduce(true),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:274:61
[INFO] [stdout]     |
[INFO] [stdout] 274 |         MExpr::Sum(vec![ MExpr::Div(box MExpr::ConstNum(1), box MExpr::Var(0)), MExpr::ConstNum(1) ]).reduce(true),
[INFO] [stdout]     |                                                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 274 -         MExpr::Sum(vec![ MExpr::Div(box MExpr::ConstNum(1), box MExpr::Var(0)), MExpr::ConstNum(1) ]).reduce(true),
[INFO] [stdout] 274 +         MExpr::Sum(vec![ MExpr::Div(box MExpr::ConstNum(1), Box::new(MExpr::Var(0))), MExpr::ConstNum(1) ]).reduce(true),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:275:37
[INFO] [stdout]     |
[INFO] [stdout] 275 |         MExpr::Sum(vec![ MExpr::Div(box MExpr::ConstNum(1), box MExpr::Var(0)), MExpr::ConstNum(1) ])
[INFO] [stdout]     |                                     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 275 -         MExpr::Sum(vec![ MExpr::Div(box MExpr::ConstNum(1), box MExpr::Var(0)), MExpr::ConstNum(1) ])
[INFO] [stdout] 275 +         MExpr::Sum(vec![ MExpr::Div(Box::new(MExpr::ConstNum(1)), box MExpr::Var(0)), MExpr::ConstNum(1) ])
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:275:61
[INFO] [stdout]     |
[INFO] [stdout] 275 |         MExpr::Sum(vec![ MExpr::Div(box MExpr::ConstNum(1), box MExpr::Var(0)), MExpr::ConstNum(1) ])
[INFO] [stdout]     |                                                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 275 -         MExpr::Sum(vec![ MExpr::Div(box MExpr::ConstNum(1), box MExpr::Var(0)), MExpr::ConstNum(1) ])
[INFO] [stdout] 275 +         MExpr::Sum(vec![ MExpr::Div(box MExpr::ConstNum(1), Box::new(MExpr::Var(0))), MExpr::ConstNum(1) ])
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:279:20
[INFO] [stdout]     |
[INFO] [stdout] 279 |         MExpr::Div(box MExpr::Var(0), box MExpr::ConstNum(1)).reduce(true),
[INFO] [stdout]     |                    ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 279 -         MExpr::Div(box MExpr::Var(0), box MExpr::ConstNum(1)).reduce(true),
[INFO] [stdout] 279 +         MExpr::Div(Box::new(MExpr::Var(0)), box MExpr::ConstNum(1)).reduce(true),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:279:39
[INFO] [stdout]     |
[INFO] [stdout] 279 |         MExpr::Div(box MExpr::Var(0), box MExpr::ConstNum(1)).reduce(true),
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 279 -         MExpr::Div(box MExpr::Var(0), box MExpr::ConstNum(1)).reduce(true),
[INFO] [stdout] 279 +         MExpr::Div(box MExpr::Var(0), Box::new(MExpr::ConstNum(1))).reduce(true),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:294:53
[INFO] [stdout]     |
[INFO] [stdout] 294 |         MExpr::Prod(vec! [MExpr::Var(0), MExpr::Div(box MExpr::ConstNum(3), box MExpr::Var(0))]).reduce(true),
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 294 -         MExpr::Prod(vec! [MExpr::Var(0), MExpr::Div(box MExpr::ConstNum(3), box MExpr::Var(0))]).reduce(true),
[INFO] [stdout] 294 +         MExpr::Prod(vec! [MExpr::Var(0), MExpr::Div(Box::new(MExpr::ConstNum(3)), box MExpr::Var(0))]).reduce(true),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/expr/eval.rs:294:77
[INFO] [stdout]     |
[INFO] [stdout] 294 |         MExpr::Prod(vec! [MExpr::Var(0), MExpr::Div(box MExpr::ConstNum(3), box MExpr::Var(0))]).reduce(true),
[INFO] [stdout]     |                                                                             ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 294 -         MExpr::Prod(vec! [MExpr::Var(0), MExpr::Div(box MExpr::ConstNum(3), box MExpr::Var(0))]).reduce(true),
[INFO] [stdout] 294 +         MExpr::Prod(vec! [MExpr::Var(0), MExpr::Div(box MExpr::ConstNum(3), Box::new(MExpr::Var(0)))]).reduce(true),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/tests.rs:83:26
[INFO] [stdout]    |
[INFO] [stdout] 83 |         Some(&MExpr::Div(box MExpr::ConstNum(2), box MExpr::Var(23)))
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 83 -         Some(&MExpr::Div(box MExpr::ConstNum(2), box MExpr::Var(23)))
[INFO] [stdout] 83 +         Some(&MExpr::Div(Box::new(MExpr::ConstNum(2)), box MExpr::Var(23)))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/tests.rs:83:50
[INFO] [stdout]    |
[INFO] [stdout] 83 |         Some(&MExpr::Div(box MExpr::ConstNum(2), box MExpr::Var(23)))
[INFO] [stdout]    |                                                  ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 83 -         Some(&MExpr::Div(box MExpr::ConstNum(2), box MExpr::Var(23)))
[INFO] [stdout] 83 +         Some(&MExpr::Div(box MExpr::ConstNum(2), Box::new(MExpr::Var(23))))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/expr/reduce_prod.rs:40:9
[INFO] [stdout]    |
[INFO] [stdout] 40 |     for mut term in terms {
[INFO] [stdout]    |         ----^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `patact` (bin "patact" test) due to 50 previous errors; 2 warnings emitted
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/expr/reduce_sum.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |     for mut term in terms {
[INFO] [stdout]    |         ----^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/expr/reduce_prod.rs:40:9
[INFO] [stdout]    |
[INFO] [stdout] 40 |     for mut term in terms {
[INFO] [stdout]    |         ----^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `patact` (bin "patact") due to 38 previous errors; 2 warnings emitted
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/expr/reduce_sum.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 20 |     for mut term in terms {
[INFO] [stdout]    |         ----^^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0557, E0583.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0557, E0583.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "8fc0cbbd785397993af97340161d76fb2e6e961885980825f9dac5cda4c87637", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8fc0cbbd785397993af97340161d76fb2e6e961885980825f9dac5cda4c87637", kill_on_drop: false }`
[INFO] [stdout] 8fc0cbbd785397993af97340161d76fb2e6e961885980825f9dac5cda4c87637
