[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-4 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foeb25%2Fweb-dm" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-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-7-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 stdweb-internal-runtime v0.1.2 [INFO] [stderr] Downloaded serde_derive v1.0.80 [INFO] [stderr] Downloaded stdweb-derive v0.5.1 [INFO] [stderr] Downloaded stdweb-internal-macros v0.2.2 [INFO] [stderr] Downloaded failure_derive v0.1.3 [INFO] [stderr] Downloaded base-x v0.2.3 [INFO] [stderr] Downloaded synstructure v0.10.0 [INFO] [stderr] Downloaded yew v0.4.0 [INFO] [stderr] Downloaded failure v0.1.3 [INFO] [stderr] Downloaded http v0.1.13 [INFO] [stderr] Downloaded syn v0.15.13 [INFO] [stderr] Downloaded serde_json v1.0.32 [INFO] [stderr] Downloaded stdweb v0.4.10 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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] 35b768e1491f6b2d1579346e1076e1bf3231057a9435dbd855cb40c33fcba205 [INFO] running `Command { std: "docker" "start" "-a" "35b768e1491f6b2d1579346e1076e1bf3231057a9435dbd855cb40c33fcba205", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "35b768e1491f6b2d1579346e1076e1bf3231057a9435dbd855cb40c33fcba205", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "35b768e1491f6b2d1579346e1076e1bf3231057a9435dbd855cb40c33fcba205", kill_on_drop: false }` [INFO] [stdout] 35b768e1491f6b2d1579346e1076e1bf3231057a9435dbd855cb40c33fcba205 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=allow" "-e" "RUSTDOCFLAGS=--cap-lints=allow" "-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] ee153004fda37bd3570ee7ab465b157ef1a2afb6669d697b15e13851f6dd5c65 [INFO] running `Command { std: "docker" "start" "-a" "ee153004fda37bd3570ee7ab465b157ef1a2afb6669d697b15e13851f6dd5c65", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v0.4.20 [INFO] [stderr] Compiling serde v1.0.80 [INFO] [stderr] Compiling ryu v0.2.6 [INFO] [stderr] Compiling cc v1.0.25 [INFO] [stderr] Compiling failure_derive v0.1.3 [INFO] [stderr] Checking indexmap v1.0.1 [INFO] [stderr] Compiling itoa v0.4.3 [INFO] [stderr] Compiling stdweb-internal-macros v0.2.2 [INFO] [stderr] Checking cfg-if v0.1.6 [INFO] [stderr] Compiling stdweb-internal-runtime v0.1.2 [INFO] [stderr] Compiling stdweb v0.4.10 [INFO] [stderr] Checking rustc-demangle v0.1.9 [INFO] [stderr] Compiling base-x v0.2.3 [INFO] [stderr] Checking solver v0.1.0 (/opt/rustwide/workdir/solver) [INFO] [stderr] Checking fnv v1.0.6 [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] [stderr] Checking discard v1.0.4 [INFO] [stderr] Checking http v0.1.13 [INFO] [stderr] Checking log v0.4.5 [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 [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 [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: aborting due to 23 previous errors [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 [INFO] running `Command { std: "docker" "inspect" "ee153004fda37bd3570ee7ab465b157ef1a2afb6669d697b15e13851f6dd5c65", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ee153004fda37bd3570ee7ab465b157ef1a2afb6669d697b15e13851f6dd5c65", kill_on_drop: false }` [INFO] [stdout] ee153004fda37bd3570ee7ab465b157ef1a2afb6669d697b15e13851f6dd5c65 [INFO] checking oeb25/web-dm against try#36dbcaee1a55543dfc181be52a69d99ff46ff62f for pr-122960-4 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Foeb25%2Fweb-dm" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/oeb25/web-dm on toolchain 36dbcaee1a55543dfc181be52a69d99ff46ff62f [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "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-7-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" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] a67b560e2659d14d9e1b8de22c1ba2e7d72c5154f7314552e81271445931e624 [INFO] running `Command { std: "docker" "start" "-a" "a67b560e2659d14d9e1b8de22c1ba2e7d72c5154f7314552e81271445931e624", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a67b560e2659d14d9e1b8de22c1ba2e7d72c5154f7314552e81271445931e624", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a67b560e2659d14d9e1b8de22c1ba2e7d72c5154f7314552e81271445931e624", kill_on_drop: false }` [INFO] [stdout] a67b560e2659d14d9e1b8de22c1ba2e7d72c5154f7314552e81271445931e624 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=allow" "-e" "RUSTDOCFLAGS=--cap-lints=allow" "-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" "+36dbcaee1a55543dfc181be52a69d99ff46ff62f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 825842c958af18228839a810e2db75d20a6121eb6799307c74530e70b2d3ffc4 [INFO] running `Command { std: "docker" "start" "-a" "825842c958af18228839a810e2db75d20a6121eb6799307c74530e70b2d3ffc4", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] no edition found in manifest, probably 2015, skipping [INFO] running `Command { std: "docker" "inspect" "825842c958af18228839a810e2db75d20a6121eb6799307c74530e70b2d3ffc4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "825842c958af18228839a810e2db75d20a6121eb6799307c74530e70b2d3ffc4", kill_on_drop: false }` [INFO] [stdout] 825842c958af18228839a810e2db75d20a6121eb6799307c74530e70b2d3ffc4