[INFO] cloning repository https://github.com/oeb25/web-dm
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/oeb25/web-dm" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foeb25%2Fweb-dm", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foeb25%2Fweb-dm'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 0502e79b45db71017a096ca03dcd4333ed395dd8
[INFO] documenting oeb25/web-dm against beta-2023-04-20 for beta-1.70-rustdoc-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foeb25%2Fweb-dm" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/oeb25/web-dm on toolchain beta-2023-04-20
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-04-20" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/oeb25/web-dm
[INFO] finished tweaking git repo https://github.com/oeb25/web-dm
[INFO] tweaked toml for git repo https://github.com/oeb25/web-dm written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/oeb25/web-dm 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" "+beta-2023-04-20" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded yew v0.4.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5de241b926bce5efb19d0aa4d6330a0bb75baa46c839ae77c77d5b3a6b02829b
[INFO] running `Command { std: "docker" "start" "-a" "5de241b926bce5efb19d0aa4d6330a0bb75baa46c839ae77c77d5b3a6b02829b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5de241b926bce5efb19d0aa4d6330a0bb75baa46c839ae77c77d5b3a6b02829b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5de241b926bce5efb19d0aa4d6330a0bb75baa46c839ae77c77d5b3a6b02829b", kill_on_drop: false }`
[INFO] [stdout] 5de241b926bce5efb19d0aa4d6330a0bb75baa46c839ae77c77d5b3a6b02829b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3f23f1cd6569e81f82d787aa1cfe52091337a2a496b4873603b2c687f6b422a3
[INFO] running `Command { std: "docker" "start" "-a" "3f23f1cd6569e81f82d787aa1cfe52091337a2a496b4873603b2c687f6b422a3", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v0.4.20
[INFO] [stderr]    Compiling unicode-xid v0.1.0
[INFO] [stderr]    Compiling serde v1.0.80
[INFO] [stderr]    Compiling ryu v0.2.6
[INFO] [stderr]     Checking libc v0.2.43
[INFO] [stderr]    Compiling cc v1.0.25
[INFO] [stderr]    Compiling stdweb-internal-runtime v0.1.2
[INFO] [stderr]    Compiling itoa v0.4.3
[INFO] [stderr]    Compiling failure_derive v0.1.3
[INFO] [stderr]     Checking cfg-if v0.1.6
[INFO] [stderr]     Checking byteorder v1.2.6
[INFO] [stderr]    Compiling base-x v0.2.3
[INFO] [stderr]     Checking rustc-demangle v0.1.9
[INFO] [stderr]     Checking indexmap v1.0.1
[INFO] [stderr]    Compiling stdweb-internal-macros v0.2.2
[INFO] [stderr]    Compiling stdweb v0.4.10
[INFO] [stderr]     Checking discard v1.0.4
[INFO] [stderr]     Checking fnv v1.0.6
[INFO] [stderr]     Checking log v0.4.5
[INFO] [stderr]     Checking solver v0.1.0 (/opt/rustwide/workdir/solver)
[INFO] [stderr]  Documenting solver v0.1.0 (/opt/rustwide/workdir/solver)
[INFO] [stderr] error: could not document `solver`
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:317:51
[INFO] [stdout]     |
[INFO] [stdout] 317 |             Connective::Not(i) => Connective::Not(box i.substitude(x, y)),
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 317 |             Connective::Not(i) => Connective::Not(Box::new(i.substitude(x, y))),
[INFO] [stdout]     |                                                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:319:33
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 Connective::And(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 Connective::And(Box::new(a.substitude(x, y)), box b.substitude(x, y))
[INFO] [stdout]     |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] Caused by:
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:319:57
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 Connective::And(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                                         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 Connective::And(box a.substitude(x, y), Box::new(b.substitude(x, y)))
[INFO] [stdout]     |                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]   process didn't exit successfully: `rustdoc --edition=2018 --crate-type lib --crate-name solver solver/src/lib.rs -o /opt/rustwide/target/doc --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --document-private-items -C metadata=27f5b894bf1f6bdc -L dependency=/opt/rustwide/target/debug/deps --extern indexmap=/opt/rustwide/target/debug/deps/libindexmap-69bcdfc67675a574.rmeta --cap-lints=warn --crate-version 0.1.0` (exit status: 1)
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:321:52
[INFO] [stdout]     |
[INFO] [stdout] 321 |             Connective::Or(a, b) => Connective::Or(box a.substitude(x, y), box b.substitude(x, y)),
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 321 |             Connective::Or(a, b) => Connective::Or(Box::new(a.substitude(x, y)), box b.substitude(x, y)),
[INFO] [stdout]     |                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:321:76
[INFO] [stdout]     |
[INFO] [stdout] 321 |             Connective::Or(a, b) => Connective::Or(box a.substitude(x, y), box b.substitude(x, y)),
[INFO] [stdout]     |                                                                            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 321 |             Connective::Or(a, b) => Connective::Or(box a.substitude(x, y), Box::new(b.substitude(x, y))),
[INFO] [stdout]     |                                                                            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:323:39
[INFO] [stdout]     |
[INFO] [stdout] 323 |                 Connective::Implicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 323 |                 Connective::Implicate(Box::new(a.substitude(x, y)), box b.substitude(x, y))
[INFO] [stdout]     |                                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:323:63
[INFO] [stdout]     |
[INFO] [stdout] 323 |                 Connective::Implicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                                               ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 323 |                 Connective::Implicate(box a.substitude(x, y), Box::new(b.substitude(x, y)))
[INFO] [stdout]     |                                                               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:326:41
[INFO] [stdout]     |
[INFO] [stdout] 326 |                 Connective::Biimplicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 326 |                 Connective::Biimplicate(Box::new(a.substitude(x, y)), box b.substitude(x, y))
[INFO] [stdout]     |                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:326:65
[INFO] [stdout]     |
[INFO] [stdout] 326 |                 Connective::Biimplicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                                                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 326 |                 Connective::Biimplicate(box a.substitude(x, y), Box::new(b.substitude(x, y)))
[INFO] [stdout]     |                                                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:330:52
[INFO] [stdout]     |
[INFO] [stdout] 330 |                 Connective::ForAll(xx.to_string(), box inner.substitude(x, y))
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 330 |                 Connective::ForAll(xx.to_string(), Box::new(inner.substitude(x, y)))
[INFO] [stdout]     |                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:333:52
[INFO] [stdout]     |
[INFO] [stdout] 333 |                 Connective::Exists(xx.to_string(), box inner.substitude(x, y))
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 333 |                 Connective::Exists(xx.to_string(), Box::new(inner.substitude(x, y)))
[INFO] [stdout]     |                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> solver/src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_syntax, slice_patterns, exclusive_range_pattern)]
[INFO] [stdout]   |            ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: Compilation failed, aborting rustdoc
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 13 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:317:51
[INFO] [stdout]     |
[INFO] [stdout] 317 |             Connective::Not(i) => Connective::Not(box i.substitude(x, y)),
[INFO] [stdout]     |                                                   ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 317 |             Connective::Not(i) => Connective::Not(Box::new(i.substitude(x, y))),
[INFO] [stdout]     |                                                   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:319:33
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 Connective::And(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 Connective::And(Box::new(a.substitude(x, y)), box b.substitude(x, y))
[INFO] [stdout]     |                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:319:57
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 Connective::And(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                                         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 319 |                 Connective::And(box a.substitude(x, y), Box::new(b.substitude(x, y)))
[INFO] [stdout]     |                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:321:52
[INFO] [stdout]     |
[INFO] [stdout] 321 |             Connective::Or(a, b) => Connective::Or(box a.substitude(x, y), box b.substitude(x, y)),
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 321 |             Connective::Or(a, b) => Connective::Or(Box::new(a.substitude(x, y)), box b.substitude(x, y)),
[INFO] [stdout]     |                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:321:76
[INFO] [stdout]     |
[INFO] [stdout] 321 |             Connective::Or(a, b) => Connective::Or(box a.substitude(x, y), box b.substitude(x, y)),
[INFO] [stdout]     |                                                                            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 321 |             Connective::Or(a, b) => Connective::Or(box a.substitude(x, y), Box::new(b.substitude(x, y))),
[INFO] [stdout]     |                                                                            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:323:39
[INFO] [stdout]     |
[INFO] [stdout] 323 |                 Connective::Implicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 323 |                 Connective::Implicate(Box::new(a.substitude(x, y)), box b.substitude(x, y))
[INFO] [stdout]     |                                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:323:63
[INFO] [stdout]     |
[INFO] [stdout] 323 |                 Connective::Implicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                                               ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 323 |                 Connective::Implicate(box a.substitude(x, y), Box::new(b.substitude(x, y)))
[INFO] [stdout]     |                                                               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:326:41
[INFO] [stdout]     |
[INFO] [stdout] 326 |                 Connective::Biimplicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 326 |                 Connective::Biimplicate(Box::new(a.substitude(x, y)), box b.substitude(x, y))
[INFO] [stdout]     |                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:326:65
[INFO] [stdout]     |
[INFO] [stdout] 326 |                 Connective::Biimplicate(box a.substitude(x, y), box b.substitude(x, y))
[INFO] [stdout]     |                                                                 ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 326 |                 Connective::Biimplicate(box a.substitude(x, y), Box::new(b.substitude(x, y)))
[INFO] [stdout]     |                                                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:330:52
[INFO] [stdout]     |
[INFO] [stdout] 330 |                 Connective::ForAll(xx.to_string(), box inner.substitude(x, y))
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 330 |                 Connective::ForAll(xx.to_string(), Box::new(inner.substitude(x, y)))
[INFO] [stdout]     |                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/lib.rs:333:52
[INFO] [stdout]     |
[INFO] [stdout] 333 |                 Connective::Exists(xx.to_string(), box inner.substitude(x, y))
[INFO] [stdout]     |                                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 333 |                 Connective::Exists(xx.to_string(), Box::new(inner.substitude(x, y)))
[INFO] [stdout]     |                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> solver/src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_syntax, slice_patterns, exclusive_range_pattern)]
[INFO] [stdout]   |            ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> solver/src/parse.rs:96:36
[INFO] [stdout]    |
[INFO] [stdout] 96 |             (Connective::Implicate(box left, box right), rest)
[INFO] [stdout]    |                                    ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 96 |             (Connective::Implicate(Box::new(left), box right), rest)
[INFO] [stdout]    |                                    ~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> solver/src/parse.rs:96:46
[INFO] [stdout]    |
[INFO] [stdout] 96 |             (Connective::Implicate(box left, box right), rest)
[INFO] [stdout]    |                                              ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 96 |             (Connective::Implicate(box left, Box::new(right)), rest)
[INFO] [stdout]    |                                              ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:100:38
[INFO] [stdout]     |
[INFO] [stdout] 100 |             (Connective::Biimplicate(box left, box right), rest)
[INFO] [stdout]     |                                      ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 100 |             (Connective::Biimplicate(Box::new(left), box right), rest)
[INFO] [stdout]     |                                      ~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:100:48
[INFO] [stdout]     |
[INFO] [stdout] 100 |             (Connective::Biimplicate(box left, box right), rest)
[INFO] [stdout]     |                                                ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 100 |             (Connective::Biimplicate(box left, Box::new(right)), rest)
[INFO] [stdout]     |                                                ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:112:30
[INFO] [stdout]     |
[INFO] [stdout] 112 |             (Connective::And(box left, box right), rest)
[INFO] [stdout]     |                              ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 112 |             (Connective::And(Box::new(left), box right), rest)
[INFO] [stdout]     |                              ~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:112:40
[INFO] [stdout]     |
[INFO] [stdout] 112 |             (Connective::And(box left, box right), rest)
[INFO] [stdout]     |                                        ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 112 |             (Connective::And(box left, Box::new(right)), rest)
[INFO] [stdout]     |                                        ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:116:29
[INFO] [stdout]     |
[INFO] [stdout] 116 |             (Connective::Or(box left, box right), rest)
[INFO] [stdout]     |                             ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 116 |             (Connective::Or(Box::new(left), box right), rest)
[INFO] [stdout]     |                             ~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:116:39
[INFO] [stdout]     |
[INFO] [stdout] 116 |             (Connective::Or(box left, box right), rest)
[INFO] [stdout]     |                                       ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 116 |             (Connective::Or(box left, Box::new(right)), rest)
[INFO] [stdout]     |                                       ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:126:30
[INFO] [stdout]     |
[INFO] [stdout] 126 |             (Connective::Not(box expr), rest)
[INFO] [stdout]     |                              ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 126 |             (Connective::Not(Box::new(expr)), rest)
[INFO] [stdout]     |                              ~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:137:47
[INFO] [stdout]     |
[INFO] [stdout] 137 |             (Connective::ForAll(name.clone(), box right), rest)
[INFO] [stdout]     |                                               ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 137 |             (Connective::ForAll(name.clone(), Box::new(right)), rest)
[INFO] [stdout]     |                                               ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> solver/src/parse.rs:147:47
[INFO] [stdout]     |
[INFO] [stdout] 147 |             (Connective::Exists(name.clone(), box right), rest)
[INFO] [stdout]     |                                               ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 147 |             (Connective::Exists(name.clone(), Box::new(right)), rest)
[INFO] [stdout]     |                                               ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> solver/src/lib.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_syntax, slice_patterns, exclusive_range_pattern)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: the feature `slice_patterns` has been stable since `1.42.0` and no longer requires an attribute to enable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `slice_patterns` has been stable since 1.42.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> solver/src/lib.rs:1:24
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_syntax, slice_patterns, exclusive_range_pattern)]
[INFO] [stdout]   |                        ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 24 previous errors; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0554, E0557.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0554`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `solver` (lib) due to 25 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "3f23f1cd6569e81f82d787aa1cfe52091337a2a496b4873603b2c687f6b422a3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3f23f1cd6569e81f82d787aa1cfe52091337a2a496b4873603b2c687f6b422a3", kill_on_drop: false }`
[INFO] [stdout] 3f23f1cd6569e81f82d787aa1cfe52091337a2a496b4873603b2c687f6b422a3
