[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] testing loovjo/patact against master#caccb4d0368bd918ef6668af8e13834d07040417 for pr-146098-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Floovjo%2Fpatact" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/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-6-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/loovjo/patact on toolchain caccb4d0368bd918ef6668af8e13834d07040417
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "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" "+caccb4d0368bd918ef6668af8e13834d07040417" "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] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2daede4b5f86833e93fda6e89dca549d2d02dcbbc57081aceb9c248e7d43465f
[INFO] running `Command { std: "docker" "start" "-a" "2daede4b5f86833e93fda6e89dca549d2d02dcbbc57081aceb9c248e7d43465f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2daede4b5f86833e93fda6e89dca549d2d02dcbbc57081aceb9c248e7d43465f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2daede4b5f86833e93fda6e89dca549d2d02dcbbc57081aceb9c248e7d43465f", kill_on_drop: false }`
[INFO] [stdout] 2daede4b5f86833e93fda6e89dca549d2d02dcbbc57081aceb9c248e7d43465f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 29f818e605aaea0c94fceeb98841eb609b38defa177ce9bdee5ece24fe82cfbb
[INFO] running `Command { std: "docker" "start" "-a" "29f818e605aaea0c94fceeb98841eb609b38defa177ce9bdee5ece24fe82cfbb", kill_on_drop: false }`
[INFO] [stderr] warning: no edition set: defaulting to the 2015 edition while the latest is 2024
[INFO] [stderr]    Compiling patact v0.1.0 (/opt/rustwide/workdir)
[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/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: `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: `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] 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] [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] [stderr] error: could not compile `patact` (bin "patact") due to 38 previous errors; 2 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "29f818e605aaea0c94fceeb98841eb609b38defa177ce9bdee5ece24fe82cfbb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "29f818e605aaea0c94fceeb98841eb609b38defa177ce9bdee5ece24fe82cfbb", kill_on_drop: false }`
[INFO] [stdout] 29f818e605aaea0c94fceeb98841eb609b38defa177ce9bdee5ece24fe82cfbb