[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#f609b7e0586f81fefb3523e3e17adf779ac416be for pr-129466-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMarcusDunn%2Forder" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/MarcusDunn/order on toolchain f609b7e0586f81fefb3523e3e17adf779ac416be [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-3-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-3-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" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "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-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 127c620022003f25b093b722268be8c39fbcfdba24d7109928a521cf3308b65c [INFO] running `Command { std: "docker" "start" "-a" "127c620022003f25b093b722268be8c39fbcfdba24d7109928a521cf3308b65c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "127c620022003f25b093b722268be8c39fbcfdba24d7109928a521cf3308b65c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "127c620022003f25b093b722268be8c39fbcfdba24d7109928a521cf3308b65c", kill_on_drop: false }` [INFO] [stdout] 127c620022003f25b093b722268be8c39fbcfdba24d7109928a521cf3308b65c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 502903299d54f9cc3db7ccd3558a207f5eb6612fbdd35a3971f1e4c601b7c95d [INFO] running `Command { std: "docker" "start" "-a" "502903299d54f9cc3db7ccd3558a207f5eb6612fbdd35a3971f1e4c601b7c95d", kill_on_drop: false }` [INFO] [stderr] Compiling ucd-trie v0.1.3 [INFO] [stderr] Compiling syn v1.0.74 [INFO] [stderr] Compiling maplit v1.0.2 [INFO] [stderr] Checking pest v2.1.3 [INFO] [stderr] Compiling pest_meta v2.1.3 [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: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: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: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: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: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] warning: unused variable: `i` [INFO] [stdout] --> src/intermediate_representation.rs:105:63 [INFO] [stdout] | [INFO] [stdout] 105 | Type::Free(name) => match self.0.iter().find(|(n, i)| name == n) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 33 previous errors; 1 warning 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 `order` (lib) due to 34 previous errors; 1 warning emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> src/intermediate_representation.rs:105:63 [INFO] [stdout] | [INFO] [stdout] 105 | Type::Free(name) => match self.0.iter().find(|(n, i)| name == n) { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 33 previous errors; 1 warning 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 `order` (lib test) due to 34 previous errors; 1 warning emitted [INFO] running `Command { std: "docker" "inspect" "502903299d54f9cc3db7ccd3558a207f5eb6612fbdd35a3971f1e4c601b7c95d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "502903299d54f9cc3db7ccd3558a207f5eb6612fbdd35a3971f1e4c601b7c95d", kill_on_drop: false }` [INFO] [stdout] 502903299d54f9cc3db7ccd3558a207f5eb6612fbdd35a3971f1e4c601b7c95d