[INFO] cloning repository https://github.com/MarcusDunn/order [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/MarcusDunn/order" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarcusDunn%2Forder", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarcusDunn%2Forder'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 6b424c8e82cd79f8a0c3bd16392eb617ddb806ee [INFO] checking MarcusDunn/order/6b424c8e82cd79f8a0c3bd16392eb617ddb806ee against master#ff1737bb00913444173658b4e0b274fd79aabf66 for pr-132712-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarcusDunn%2Forder" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/MarcusDunn/order on toolchain ff1737bb00913444173658b4e0b274fd79aabf66 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ff1737bb00913444173658b4e0b274fd79aabf66" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-0-tc1/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/MarcusDunn/order [INFO] finished tweaking git repo https://github.com/MarcusDunn/order [INFO] tweaked toml for git repo https://github.com/MarcusDunn/order written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/MarcusDunn/order 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" "+ff1737bb00913444173658b4e0b274fd79aabf66" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded syn v1.0.74 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+ff1737bb00913444173658b4e0b274fd79aabf66" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1e58f8c8941d163abc97fc4f956d61402f84b98c46cc18bbd482e4a270197786 [INFO] running `Command { std: "docker" "start" "-a" "1e58f8c8941d163abc97fc4f956d61402f84b98c46cc18bbd482e4a270197786", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1e58f8c8941d163abc97fc4f956d61402f84b98c46cc18bbd482e4a270197786", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1e58f8c8941d163abc97fc4f956d61402f84b98c46cc18bbd482e4a270197786", kill_on_drop: false }` [INFO] [stdout] 1e58f8c8941d163abc97fc4f956d61402f84b98c46cc18bbd482e4a270197786 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+ff1737bb00913444173658b4e0b274fd79aabf66" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8d00c20234919796639dbf46ef8eb9945a9b3b04ef7ab6bacb4dd8d1c042e306 [INFO] running `Command { std: "docker" "start" "-a" "8d00c20234919796639dbf46ef8eb9945a9b3b04ef7ab6bacb4dd8d1c042e306", kill_on_drop: false }` [INFO] [stderr] Compiling syn v1.0.74 [INFO] [stderr] Compiling pest_generator v2.1.3 [INFO] [stderr] Compiling pest_derive v2.1.0 [INFO] [stderr] Checking order v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/lib.rs:1:12 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(box_syntax)] [INFO] [stdout] | ^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: replaced with `#[rustc_box]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/lib.rs:1:12 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(box_syntax)] [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] --> src/intermediate_representation.rs:42:24 [INFO] [stdout] | [INFO] [stdout] 42 | Value::Neutral(box Neutral::Free(n)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 42 | Value::Neutral(Box::new(Neutral::Free(n))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:42:24 [INFO] [stdout] | [INFO] [stdout] 42 | Value::Neutral(box Neutral::Free(n)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 42 | Value::Neutral(Box::new(Neutral::Free(n))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:48:69 [INFO] [stdout] | [INFO] [stdout] 48 | Value::Neutral(n) => Value::Neutral(box Neutral::App(n, box v)), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 48 | Value::Neutral(n) => Value::Neutral(box Neutral::App(n, Box::new(v))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:48:69 [INFO] [stdout] | [INFO] [stdout] 48 | Value::Neutral(n) => Value::Neutral(box Neutral::App(n, box v)), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 48 | Value::Neutral(n) => Value::Neutral(box Neutral::App(n, Box::new(v))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:48:49 [INFO] [stdout] | [INFO] [stdout] 48 | Value::Neutral(n) => Value::Neutral(box Neutral::App(n, box v)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 48 | Value::Neutral(n) => Value::Neutral(Box::new(Neutral::App(n, box v))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:48:49 [INFO] [stdout] | [INFO] [stdout] 48 | Value::Neutral(n) => Value::Neutral(box Neutral::App(n, box v)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 48 | Value::Neutral(n) => Value::Neutral(Box::new(Neutral::App(n, box v))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:161:58 [INFO] [stdout] | [INFO] [stdout] 161 | TermUa::Annotated(box e, t) => TermUa::Annotated(box subst_da(i, r, e), t), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 161 | TermUa::Annotated(box e, t) => TermUa::Annotated(Box::new(subst_da(i, r, e)), t), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:161:58 [INFO] [stdout] | [INFO] [stdout] 161 | TermUa::Annotated(box e, t) => TermUa::Annotated(box subst_da(i, r, e), t), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 161 | TermUa::Annotated(box e, t) => TermUa::Annotated(Box::new(subst_da(i, r, e)), t), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:171:51 [INFO] [stdout] | [INFO] [stdout] 171 | subst_ua(i, r, TermUa::Application(e, box subst_da(i, r, ep))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 171 | subst_ua(i, r, TermUa::Application(e, Box::new(subst_da(i, r, ep)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:171:51 [INFO] [stdout] | [INFO] [stdout] 171 | subst_ua(i, r, TermUa::Application(e, box subst_da(i, r, ep))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 171 | subst_ua(i, r, TermUa::Application(e, Box::new(subst_da(i, r, ep)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:183:55 [INFO] [stdout] | [INFO] [stdout] 183 | TermDa::Inferable(box e) => TermDa::Inferable(box subst_ua(i, inferable_term, e)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 183 | TermDa::Inferable(box e) => TermDa::Inferable(Box::new(subst_ua(i, inferable_term, e))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:183:55 [INFO] [stdout] | [INFO] [stdout] 183 | TermDa::Inferable(box e) => TermDa::Inferable(box subst_ua(i, inferable_term, e)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 183 | TermDa::Inferable(box e) => TermDa::Inferable(Box::new(subst_ua(i, inferable_term, e))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:184:49 [INFO] [stdout] | [INFO] [stdout] 184 | TermDa::Lambda(box e) => TermDa::Lambda(box subst_da(i + 1, inferable_term, e)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 184 | TermDa::Lambda(box e) => TermDa::Lambda(Box::new(subst_da(i + 1, inferable_term, e))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:184:49 [INFO] [stdout] | [INFO] [stdout] 184 | TermDa::Lambda(box e) => TermDa::Lambda(box subst_da(i + 1, inferable_term, e)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 184 | TermDa::Lambda(box e) => TermDa::Lambda(Box::new(subst_da(i + 1, inferable_term, e))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:205:52 [INFO] [stdout] | [INFO] [stdout] 205 | Value::Neutral(box n) => TermDa::Inferable(box neutral_quote(i, n)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 205 | Value::Neutral(box n) => TermDa::Inferable(Box::new(neutral_quote(i, n))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:205:52 [INFO] [stdout] | [INFO] [stdout] 205 | Value::Neutral(box n) => TermDa::Inferable(box neutral_quote(i, n)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 205 | Value::Neutral(box n) => TermDa::Inferable(Box::new(neutral_quote(i, n))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:218:59 [INFO] [stdout] | [INFO] [stdout] 218 | Neutral::App(box n, box v) => TermUa::Application(box neutral_quote(i, n), box quote(i, v)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 218 | Neutral::App(box n, box v) => TermUa::Application(Box::new(neutral_quote(i, n)), box quote(i, v)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:218:59 [INFO] [stdout] | [INFO] [stdout] 218 | Neutral::App(box n, box v) => TermUa::Application(box neutral_quote(i, n), box quote(i, v)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 218 | Neutral::App(box n, box v) => TermUa::Application(Box::new(neutral_quote(i, n)), box quote(i, v)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:218:84 [INFO] [stdout] | [INFO] [stdout] 218 | Neutral::App(box n, box v) => TermUa::Application(box neutral_quote(i, n), box quote(i, v)), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 218 | Neutral::App(box n, box v) => TermUa::Application(box neutral_quote(i, n), Box::new(quote(i, v))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:218:84 [INFO] [stdout] | [INFO] [stdout] 218 | Neutral::App(box n, box v) => TermUa::Application(box neutral_quote(i, n), box quote(i, v)), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 218 | Neutral::App(box n, box v) => TermUa::Application(box neutral_quote(i, n), Box::new(quote(i, v))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:241:56 [INFO] [stdout] | [INFO] [stdout] 241 | let _id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 241 | let _id = TermDa::Lambda(box TermDa::Inferable(Box::new(TermUa::Bound(0)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:241:56 [INFO] [stdout] | [INFO] [stdout] 241 | let _id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 241 | let _id = TermDa::Lambda(box TermDa::Inferable(Box::new(TermUa::Bound(0)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:241:34 [INFO] [stdout] | [INFO] [stdout] 241 | let _id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 241 | let _id = TermDa::Lambda(Box::new(TermDa::Inferable(box TermUa::Bound(0)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:241:34 [INFO] [stdout] | [INFO] [stdout] 241 | let _id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 241 | let _id = TermDa::Lambda(Box::new(TermDa::Inferable(box TermUa::Bound(0)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:248:13 [INFO] [stdout] | [INFO] [stdout] 248 | box TermUa::Bound(1), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 248 | Box::new(TermUa::Bound(1)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:248:13 [INFO] [stdout] | [INFO] [stdout] 248 | box TermUa::Bound(1), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 248 | Box::new(TermUa::Bound(1)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:247:56 [INFO] [stdout] | [INFO] [stdout] 247 | let _const = TermDa::Lambda(box TermDa::Lambda(box TermDa::Inferable( [INFO] [stdout] | ________________________________________________________^ [INFO] [stdout] 248 | | box TermUa::Bound(1), [INFO] [stdout] 249 | | ))); [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 247 ~ let _const = TermDa::Lambda(box TermDa::Lambda(Box::new(TermDa::Inferable( [INFO] [stdout] 248 | box TermUa::Bound(1), [INFO] [stdout] 249 ~ )))); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:247:56 [INFO] [stdout] | [INFO] [stdout] 247 | let _const = TermDa::Lambda(box TermDa::Lambda(box TermDa::Inferable( [INFO] [stdout] | ________________________________________________________^ [INFO] [stdout] 248 | | box TermUa::Bound(1), [INFO] [stdout] 249 | | ))); [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 247 ~ let _const = TermDa::Lambda(box TermDa::Lambda(Box::new(TermDa::Inferable( [INFO] [stdout] 248 | box TermUa::Bound(1), [INFO] [stdout] 249 ~ )))); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:247:37 [INFO] [stdout] | [INFO] [stdout] 247 | let _const = TermDa::Lambda(box TermDa::Lambda(box TermDa::Inferable( [INFO] [stdout] | _____________________________________^ [INFO] [stdout] 248 | | box TermUa::Bound(1), [INFO] [stdout] 249 | | ))); [INFO] [stdout] | |__________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 247 ~ let _const = TermDa::Lambda(Box::new(TermDa::Lambda(box TermDa::Inferable( [INFO] [stdout] 248 | box TermUa::Bound(1), [INFO] [stdout] 249 ~ )))); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:247:37 [INFO] [stdout] | [INFO] [stdout] 247 | let _const = TermDa::Lambda(box TermDa::Lambda(box TermDa::Inferable( [INFO] [stdout] | _____________________________________^ [INFO] [stdout] 248 | | box TermUa::Bound(1), [INFO] [stdout] 249 | | ))); [INFO] [stdout] | |__________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 247 ~ let _const = TermDa::Lambda(Box::new(TermDa::Lambda(box TermDa::Inferable( [INFO] [stdout] 248 | box TermUa::Bound(1), [INFO] [stdout] 249 ~ )))); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:264:31 [INFO] [stdout] | [INFO] [stdout] 264 | TermDa::Inferable(box TermUa::Free(Name::Global(x))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 264 | TermDa::Inferable(Box::new(TermUa::Free(Name::Global(x)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:264:31 [INFO] [stdout] | [INFO] [stdout] 264 | TermDa::Inferable(box TermUa::Free(Name::Global(x))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 264 | TermDa::Inferable(Box::new(TermUa::Free(Name::Global(x)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:271:55 [INFO] [stdout] | [INFO] [stdout] 271 | let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 271 | let id = TermDa::Lambda(box TermDa::Inferable(Box::new(TermUa::Bound(0)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:271:55 [INFO] [stdout] | [INFO] [stdout] 271 | let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 271 | let id = TermDa::Lambda(box TermDa::Inferable(Box::new(TermUa::Bound(0)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:271:33 [INFO] [stdout] | [INFO] [stdout] 271 | let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 271 | let id = TermDa::Lambda(Box::new(TermDa::Inferable(box TermUa::Bound(0)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:271:33 [INFO] [stdout] | [INFO] [stdout] 271 | let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 271 | let id = TermDa::Lambda(Box::new(TermDa::Inferable(box TermUa::Bound(0)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:273:50 [INFO] [stdout] | [INFO] [stdout] 273 | let free = |x: String| TermDa::Inferable(box TermUa::Free(Name::Global(x))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 273 | let free = |x: String| TermDa::Inferable(Box::new(TermUa::Free(Name::Global(x)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:273:50 [INFO] [stdout] | [INFO] [stdout] 273 | let free = |x: String| TermDa::Inferable(box TermUa::Free(Name::Global(x))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 273 | let free = |x: String| TermDa::Inferable(Box::new(TermUa::Free(Name::Global(x)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:275:35 [INFO] [stdout] | [INFO] [stdout] 275 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 275 | box TermUa::Annotated(Box::new(id), Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:275:35 [INFO] [stdout] | [INFO] [stdout] 275 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 275 | box TermUa::Annotated(Box::new(id), Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:275:58 [INFO] [stdout] | [INFO] [stdout] 275 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 275 | box TermUa::Annotated(box id, Type::Function(Box::new(t_free(String::from("a"))), box t_free(String::from("a")))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:275:58 [INFO] [stdout] | [INFO] [stdout] 275 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 275 | box TermUa::Annotated(box id, Type::Function(Box::new(t_free(String::from("a"))), box t_free(String::from("a")))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:275:89 [INFO] [stdout] | [INFO] [stdout] 275 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 275 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), Box::new(t_free(String::from("a"))))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:275:89 [INFO] [stdout] | [INFO] [stdout] 275 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 275 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), Box::new(t_free(String::from("a"))))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:275:13 [INFO] [stdout] | [INFO] [stdout] 275 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 275 | Box::new(TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a"))))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:275:13 [INFO] [stdout] | [INFO] [stdout] 275 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 275 | Box::new(TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a"))))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:276:13 [INFO] [stdout] | [INFO] [stdout] 276 | box free(String::from("y")), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 276 | Box::new(free(String::from("y"))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:282:55 [INFO] [stdout] | [INFO] [stdout] 282 | let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 282 | let id = TermDa::Lambda(box TermDa::Inferable(Box::new(TermUa::Bound(0)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:276:13 [INFO] [stdout] | [INFO] [stdout] 276 | box free(String::from("y")), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 276 | Box::new(free(String::from("y"))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:282:55 [INFO] [stdout] | [INFO] [stdout] 282 | let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 282 | let id = TermDa::Lambda(box TermDa::Inferable(Box::new(TermUa::Bound(0)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:282:33 [INFO] [stdout] | [INFO] [stdout] 282 | let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 282 | let id = TermDa::Lambda(Box::new(TermDa::Inferable(box TermUa::Bound(0)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:282:33 [INFO] [stdout] | [INFO] [stdout] 282 | let id = TermDa::Lambda(box TermDa::Inferable(box TermUa::Bound(0))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 282 | let id = TermDa::Lambda(Box::new(TermDa::Inferable(box TermUa::Bound(0)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:284:50 [INFO] [stdout] | [INFO] [stdout] 284 | let free = |x: String| TermDa::Inferable(box TermUa::Free(Name::Global(x))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 284 | let free = |x: String| TermDa::Inferable(Box::new(TermUa::Free(Name::Global(x)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:284:50 [INFO] [stdout] | [INFO] [stdout] 284 | let free = |x: String| TermDa::Inferable(box TermUa::Free(Name::Global(x))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 284 | let free = |x: String| TermDa::Inferable(Box::new(TermUa::Free(Name::Global(x)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:286:35 [INFO] [stdout] | [INFO] [stdout] 286 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 286 | box TermUa::Annotated(Box::new(id), Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:286:35 [INFO] [stdout] | [INFO] [stdout] 286 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 286 | box TermUa::Annotated(Box::new(id), Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:286:58 [INFO] [stdout] | [INFO] [stdout] 286 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 286 | box TermUa::Annotated(box id, Type::Function(Box::new(t_free(String::from("a"))), box t_free(String::from("a")))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:286:58 [INFO] [stdout] | [INFO] [stdout] 286 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 286 | box TermUa::Annotated(box id, Type::Function(Box::new(t_free(String::from("a"))), box t_free(String::from("a")))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:286:89 [INFO] [stdout] | [INFO] [stdout] 286 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 286 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), Box::new(t_free(String::from("a"))))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:286:89 [INFO] [stdout] | [INFO] [stdout] 286 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 286 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), Box::new(t_free(String::from("a"))))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:286:13 [INFO] [stdout] | [INFO] [stdout] 286 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 286 | Box::new(TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a"))))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:286:13 [INFO] [stdout] | [INFO] [stdout] 286 | box TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a")))), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 286 | Box::new(TermUa::Annotated(box id, Type::Function(box t_free(String::from("a")), box t_free(String::from("a"))))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:287:13 [INFO] [stdout] | [INFO] [stdout] 287 | box free(String::from("y")), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 287 | Box::new(free(String::from("y"))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/intermediate_representation.rs:287:13 [INFO] [stdout] | [INFO] [stdout] 287 | box free(String::from("y")), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 287 | Box::new(free(String::from("y"))), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stderr] error: could not compile `order` (lib) due to 33 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] For more information about this error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stderr] error: could not compile `order` (lib test) due to 33 previous errors [INFO] running `Command { std: "docker" "inspect" "8d00c20234919796639dbf46ef8eb9945a9b3b04ef7ab6bacb4dd8d1c042e306", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8d00c20234919796639dbf46ef8eb9945a9b3b04ef7ab6bacb4dd8d1c042e306", kill_on_drop: false }` [INFO] [stdout] 8d00c20234919796639dbf46ef8eb9945a9b3b04ef7ab6bacb4dd8d1c042e306