[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] checking oeb25/web-dm against master#af4a5a13a15fa0c60e06321077ef452f769b42fd for pr-122960-3
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foeb25%2Fweb-dm" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/oeb25/web-dm on toolchain af4a5a13a15fa0c60e06321077ef452f769b42fd
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "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-2-tc1/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" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded syn v0.15.13
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 051a6a475c0ef335385441ad7e7b1820a0fde031da7cdedfa1dae629b23e0a91
[INFO] running `Command { std: "docker" "start" "-a" "051a6a475c0ef335385441ad7e7b1820a0fde031da7cdedfa1dae629b23e0a91", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "051a6a475c0ef335385441ad7e7b1820a0fde031da7cdedfa1dae629b23e0a91", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "051a6a475c0ef335385441ad7e7b1820a0fde031da7cdedfa1dae629b23e0a91", kill_on_drop: false }`
[INFO] [stdout] 051a6a475c0ef335385441ad7e7b1820a0fde031da7cdedfa1dae629b23e0a91
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+af4a5a13a15fa0c60e06321077ef452f769b42fd" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d25725625e9f4bc5f026f96c0c77723f641ee57d3abe74e9b39d08bff557cd91
[INFO] running `Command { std: "docker" "start" "-a" "d25725625e9f4bc5f026f96c0c77723f641ee57d3abe74e9b39d08bff557cd91", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v0.4.20
[INFO] [stderr]    Compiling unicode-xid v0.1.0
[INFO] [stderr]    Compiling semver-parser v0.7.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 failure_derive v0.1.3
[INFO] [stderr]    Compiling semver v0.9.0
[INFO] [stderr]     Checking cfg-if v0.1.6
[INFO] [stderr]     Checking itoa v0.4.3
[INFO] [stderr]     Checking indexmap v1.0.1
[INFO] [stderr]    Compiling rustc_version v0.2.3
[INFO] [stderr]     Checking iovec v0.1.2
[INFO] [stderr]     Checking byteorder v1.2.6
[INFO] [stderr]    Compiling stdweb-internal-macros v0.2.2
[INFO] [stderr]    Compiling stdweb v0.4.10
[INFO] [stderr]    Compiling base-x v0.2.3
[INFO] [stderr]    Compiling quote v0.6.8
[INFO] [stderr]     Checking rustc-demangle v0.1.9
[INFO] [stderr]    Compiling syn v0.15.13
[INFO] [stderr]     Checking bytes v0.4.10
[INFO] [stderr]     Checking solver v0.1.0 (/opt/rustwide/workdir/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] [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] [stderr]     Checking discard v1.0.4
[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] 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] [stderr]    Compiling backtrace-sys v0.1.24
[INFO] [stderr]     Checking fnv v1.0.6
[INFO] [stderr]     Checking log v0.4.5
[INFO] [stdout] warning: unreachable pattern
[INFO] [stdout]   --> solver/src/lib.rs:65:13
[INFO] [stdout]    |
[INFO] [stdout] 65 |             Connective::ForAll(r, x) | Connective::Exists(r, x) => {}
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unreachable_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `r`
[INFO] [stdout]   --> solver/src/lib.rs:65:32
[INFO] [stdout]    |
[INFO] [stdout] 65 |             Connective::ForAll(r, x) | Connective::Exists(r, x) => {}
[INFO] [stdout]    |                                ^                          ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]    |
[INFO] [stdout] 65 |             Connective::ForAll(_r, x) | Connective::Exists(_r, x) => {}
[INFO] [stdout]    |                                ~~                          ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]   --> solver/src/lib.rs:65:35
[INFO] [stdout]    |
[INFO] [stdout] 65 |             Connective::ForAll(r, x) | Connective::Exists(r, x) => {}
[INFO] [stdout]    |                                   ^                          ^
[INFO] [stdout]    |
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]    |
[INFO] [stdout] 65 |             Connective::ForAll(r, _x) | Connective::Exists(r, _x) => {}
[INFO] [stdout]    |                                   ~~                          ~~
[INFO] [stdout] 
[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: aborting due to 23 previous errors; 4 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `solver` (lib) due to 24 previous errors; 4 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[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] warning: unreachable pattern
[INFO] [stdout]   --> solver/src/lib.rs:65:13
[INFO] [stdout]    |
[INFO] [stdout] 65 |             Connective::ForAll(r, x) | Connective::Exists(r, x) => {}
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unreachable_patterns)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `r`
[INFO] [stdout]   --> solver/src/lib.rs:65:32
[INFO] [stdout]    |
[INFO] [stdout] 65 |             Connective::ForAll(r, x) | Connective::Exists(r, x) => {}
[INFO] [stdout]    |                                ^                          ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]    |
[INFO] [stdout] 65 |             Connective::ForAll(_r, x) | Connective::Exists(_r, x) => {}
[INFO] [stdout]    |                                ~~                          ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `x`
[INFO] [stdout]   --> solver/src/lib.rs:65:35
[INFO] [stdout]    |
[INFO] [stdout] 65 |             Connective::ForAll(r, x) | Connective::Exists(r, x) => {}
[INFO] [stdout]    |                                   ^                          ^
[INFO] [stdout]    |
[INFO] [stdout] help: if this is intentional, prefix it with an underscore
[INFO] [stdout]    |
[INFO] [stdout] 65 |             Connective::ForAll(r, _x) | Connective::Exists(r, _x) => {}
[INFO] [stdout]    |                                   ~~                          ~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 23 previous errors; 4 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `solver` (lib test) due to 24 previous errors; 4 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "d25725625e9f4bc5f026f96c0c77723f641ee57d3abe74e9b39d08bff557cd91", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d25725625e9f4bc5f026f96c0c77723f641ee57d3abe74e9b39d08bff557cd91", kill_on_drop: false }`
[INFO] [stdout] d25725625e9f4bc5f026f96c0c77723f641ee57d3abe74e9b39d08bff557cd91