[INFO] cloning repository https://github.com/heyrutvik/turing-script [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/heyrutvik/turing-script" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fheyrutvik%2Fturing-script", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fheyrutvik%2Fturing-script'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] c57311ab0f431fe6dc644700a303db8f82a41fa7 [INFO] checking heyrutvik/turing-script against master#506512391b1a75ae450d36c9420978402a91abcc for pr-125384 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fheyrutvik%2Fturing-script" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/heyrutvik/turing-script on toolchain 506512391b1a75ae450d36c9420978402a91abcc [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/heyrutvik/turing-script [INFO] finished tweaking git repo https://github.com/heyrutvik/turing-script [INFO] tweaked toml for git repo https://github.com/heyrutvik/turing-script written to /workspace/builds/worker-1-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/heyrutvik/turing-script 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" "+506512391b1a75ae450d36c9420978402a91abcc" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded either v1.5.1 [INFO] [stderr] Downloaded ascii v0.9.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 42a5026b843d24a74d9c1ab63aaec5d73e26faef8318bd6fde7a4af296ac91e5 [INFO] running `Command { std: "docker" "start" "-a" "42a5026b843d24a74d9c1ab63aaec5d73e26faef8318bd6fde7a4af296ac91e5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "42a5026b843d24a74d9c1ab63aaec5d73e26faef8318bd6fde7a4af296ac91e5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "42a5026b843d24a74d9c1ab63aaec5d73e26faef8318bd6fde7a4af296ac91e5", kill_on_drop: false }` [INFO] [stdout] 42a5026b843d24a74d9c1ab63aaec5d73e26faef8318bd6fde7a4af296ac91e5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+506512391b1a75ae450d36c9420978402a91abcc" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e6074467e058e5b1656c714d0d87f2883000c9b6482737a671ced58656f782f3 [INFO] running `Command { std: "docker" "start" "-a" "e6074467e058e5b1656c714d0d87f2883000c9b6482737a671ced58656f782f3", kill_on_drop: false }` [INFO] [stderr] Compiling memchr v2.2.0 [INFO] [stderr] Compiling byteorder v1.3.1 [INFO] [stderr] Checking void v1.0.2 [INFO] [stderr] Checking either v1.5.1 [INFO] [stderr] Checking ascii v0.9.1 [INFO] [stderr] Checking unreachable v1.0.0 [INFO] [stderr] Checking itertools v0.8.0 [INFO] [stderr] Checking combine v3.8.1 [INFO] [stderr] Checking turing-script v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/main.rs:3:12 [INFO] [stdout] | [INFO] [stdout] 3 | #![feature(box_syntax, box_patterns)] [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/main.rs:3:12 [INFO] [stdout] | [INFO] [stdout] 3 | #![feature(box_syntax, box_patterns)] [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/elaborator.rs:52:46 [INFO] [stdout] | [INFO] [stdout] 52 | Term::Seq(box f, box s) => Term::Seq(box step(f), box step(s)), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 52 | Term::Seq(box f, box s) => Term::Seq(Box::new(step(f)), box step(s)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:52:46 [INFO] [stdout] | [INFO] [stdout] 52 | Term::Seq(box f, box s) => Term::Seq(box step(f), box step(s)), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 52 | Term::Seq(box f, box s) => Term::Seq(Box::new(step(f)), box step(s)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:52:59 [INFO] [stdout] | [INFO] [stdout] 52 | Term::Seq(box f, box s) => Term::Seq(box step(f), box step(s)), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 52 | Term::Seq(box f, box s) => Term::Seq(box step(f), Box::new(step(s))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:52:59 [INFO] [stdout] | [INFO] [stdout] 52 | Term::Seq(box f, box s) => Term::Seq(box step(f), box step(s)), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 52 | Term::Seq(box f, box s) => Term::Seq(box step(f), Box::new(step(s))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:53:44 [INFO] [stdout] | [INFO] [stdout] 53 | Term::Table(box is) => Term::Table(box step(is)), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 53 | Term::Table(box is) => Term::Table(Box::new(step(is))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:53:44 [INFO] [stdout] | [INFO] [stdout] 53 | Term::Table(box is) => Term::Table(box step(is)), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 53 | Term::Table(box is) => Term::Table(Box::new(step(is))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:54:60 [INFO] [stdout] | [INFO] [stdout] 54 | Term::Machine(name, box is) => Term::Machine(name, box step(is)), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 54 | Term::Machine(name, box is) => Term::Machine(name, Box::new(step(is))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:54:60 [INFO] [stdout] | [INFO] [stdout] 54 | Term::Machine(name, box is) => Term::Machine(name, box step(is)), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 54 | Term::Machine(name, box is) => Term::Machine(name, Box::new(step(is))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:101:37 [INFO] [stdout] | [INFO] [stdout] 101 | ... box Term::Ident(mc.to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 101 | Box::new(Term::Ident(mc.to_string())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:101:37 [INFO] [stdout] | [INFO] [stdout] 101 | ... box Term::Ident(mc.to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 101 | Box::new(Term::Ident(mc.to_string())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:102:37 [INFO] [stdout] | [INFO] [stdout] 102 | ... box Term::Symbol(s.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 102 | Box::new(Term::Symbol(s.clone())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:102:37 [INFO] [stdout] | [INFO] [stdout] 102 | ... box Term::Symbol(s.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 102 | Box::new(Term::Symbol(s.clone())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:104:37 [INFO] [stdout] | [INFO] [stdout] 104 | ... box Term::Ident(e.fresh(mc)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 104 | Box::new(Term::Ident(e.fresh(mc))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:104:37 [INFO] [stdout] | [INFO] [stdout] 104 | ... box Term::Ident(e.fresh(mc)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 104 | Box::new(Term::Ident(e.fresh(mc))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:109:37 [INFO] [stdout] | [INFO] [stdout] 109 | ... box Term::Ident(e.last(mc)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 109 | Box::new(Term::Ident(e.last(mc))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:109:37 [INFO] [stdout] | [INFO] [stdout] 109 | ... box Term::Ident(e.last(mc)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 109 | Box::new(Term::Ident(e.last(mc))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:110:37 [INFO] [stdout] | [INFO] [stdout] 110 | ... box Term::Symbol(Sym::Dyn), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 110 | Box::new(Term::Symbol(Sym::Dyn)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:112:37 [INFO] [stdout] | [INFO] [stdout] 112 | ... box Term::Ident(fc.to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 112 | Box::new(Term::Ident(fc.to_string())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:110:37 [INFO] [stdout] | [INFO] [stdout] 110 | ... box Term::Symbol(Sym::Dyn), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 110 | Box::new(Term::Symbol(Sym::Dyn)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:112:37 [INFO] [stdout] | [INFO] [stdout] 112 | ... box Term::Ident(fc.to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 112 | Box::new(Term::Ident(fc.to_string())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:116:37 [INFO] [stdout] | [INFO] [stdout] 116 | ... box Term::Ident(e.last(mc)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 116 | Box::new(Term::Ident(e.last(mc))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:117:37 [INFO] [stdout] | [INFO] [stdout] 117 | ... box Term::Symbol(Sym::Dyn), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 117 | Box::new(Term::Symbol(Sym::Dyn)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:116:37 [INFO] [stdout] | [INFO] [stdout] 116 | ... box Term::Ident(e.last(mc)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 116 | Box::new(Term::Ident(e.last(mc))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:117:37 [INFO] [stdout] | [INFO] [stdout] 117 | ... box Term::Symbol(Sym::Dyn), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 117 | Box::new(Term::Symbol(Sym::Dyn)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:119:37 [INFO] [stdout] | [INFO] [stdout] 119 | ... box Term::Ident(e.fresh(mc)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 119 | Box::new(Term::Ident(e.fresh(mc))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:119:37 [INFO] [stdout] | [INFO] [stdout] 119 | ... box Term::Ident(e.fresh(mc)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 119 | Box::new(Term::Ident(e.fresh(mc))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:133:48 [INFO] [stdout] | [INFO] [stdout] 133 | Term::Table(box is) => Term::Table(box _rule(is, e)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 133 | Term::Table(box is) => Term::Table(Box::new(_rule(is, e))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:133:48 [INFO] [stdout] | [INFO] [stdout] 133 | Term::Table(box is) => Term::Table(box _rule(is, e)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 133 | Term::Table(box is) => Term::Table(Box::new(_rule(is, e))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:134:64 [INFO] [stdout] | [INFO] [stdout] 134 | Term::Machine(name, box is) => Term::Machine(name, box _rule(is, e)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 134 | Term::Machine(name, box is) => Term::Machine(name, Box::new(_rule(is, e))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:134:64 [INFO] [stdout] | [INFO] [stdout] 134 | Term::Machine(name, box is) => Term::Machine(name, box _rule(is, e)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 134 | Term::Machine(name, box is) => Term::Machine(name, Box::new(_rule(is, e))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:157:44 [INFO] [stdout] | [INFO] [stdout] 157 | Term::Table(box is) => Term::Table(box _any(is, ss)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 157 | Term::Table(box is) => Term::Table(Box::new(_any(is, ss))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:158:60 [INFO] [stdout] | [INFO] [stdout] 158 | Term::Machine(name, box is) => Term::Machine(name, box _any(is, ss)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 158 | Term::Machine(name, box is) => Term::Machine(name, Box::new(_any(is, ss))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:157:44 [INFO] [stdout] | [INFO] [stdout] 157 | Term::Table(box is) => Term::Table(box _any(is, ss)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 157 | Term::Table(box is) => Term::Table(Box::new(_any(is, ss))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:158:60 [INFO] [stdout] | [INFO] [stdout] 158 | Term::Machine(name, box is) => Term::Machine(name, box _any(is, ss)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 158 | Term::Machine(name, box is) => Term::Machine(name, Box::new(_any(is, ss))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:165:25 [INFO] [stdout] | [INFO] [stdout] 165 | box Term::Symbol(s.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 165 | Box::new(Term::Symbol(s.clone())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:179:25 [INFO] [stdout] | [INFO] [stdout] 179 | box Term::Symbol(s.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 179 | Box::new(Term::Symbol(s.clone())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:165:25 [INFO] [stdout] | [INFO] [stdout] 165 | box Term::Symbol(s.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 165 | Box::new(Term::Symbol(s.clone())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:187:17 [INFO] [stdout] | [INFO] [stdout] 187 | box Term::Symbol(Sym::Blank), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 187 | Box::new(Term::Symbol(Sym::Blank)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:179:25 [INFO] [stdout] | [INFO] [stdout] 179 | box Term::Symbol(s.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 179 | Box::new(Term::Symbol(s.clone())), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/helper.rs:6:37 [INFO] [stdout] | [INFO] [stdout] 6 | [head, rest..] => Term::Seq(box head.clone(), box rule_seq(rest)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 6 | [head, rest..] => Term::Seq(Box::new(head.clone()), box rule_seq(rest)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/elaborator.rs:187:17 [INFO] [stdout] | [INFO] [stdout] 187 | box Term::Symbol(Sym::Blank), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 187 | Box::new(Term::Symbol(Sym::Blank)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/helper.rs:6:55 [INFO] [stdout] | [INFO] [stdout] 6 | [head, rest..] => Term::Seq(box head.clone(), box rule_seq(rest)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 6 | [head, rest..] => Term::Seq(box head.clone(), Box::new(rule_seq(rest))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/helper.rs:6:37 [INFO] [stdout] | [INFO] [stdout] 6 | [head, rest..] => Term::Seq(box head.clone(), box rule_seq(rest)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 6 | [head, rest..] => Term::Seq(Box::new(head.clone()), box rule_seq(rest)), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/helper.rs:13:45 [INFO] [stdout] | [INFO] [stdout] 13 | Term::Rule(_, _, _, _) => Term::Seq(box f.clone(), box s), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 13 | Term::Rule(_, _, _, _) => Term::Seq(Box::new(f.clone()), box s), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/helper.rs:13:60 [INFO] [stdout] | [INFO] [stdout] 13 | Term::Rule(_, _, _, _) => Term::Seq(box f.clone(), box s), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 13 | Term::Rule(_, _, _, _) => Term::Seq(box f.clone(), Box::new(s)), [INFO] [stdout] | ~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/helper.rs:6:55 [INFO] [stdout] | [INFO] [stdout] 6 | [head, rest..] => Term::Seq(box head.clone(), box rule_seq(rest)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 6 | [head, rest..] => Term::Seq(box head.clone(), Box::new(rule_seq(rest))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/helper.rs:14:52 [INFO] [stdout] | [INFO] [stdout] 14 | Term::Seq(f1, s1) => Term::Seq(f1.clone(), box flatten_seq(s1, s)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 14 | Term::Seq(f1, s1) => Term::Seq(f1.clone(), Box::new(flatten_seq(s1, s))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/helper.rs:13:45 [INFO] [stdout] | [INFO] [stdout] 13 | Term::Rule(_, _, _, _) => Term::Seq(box f.clone(), box s), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 13 | Term::Rule(_, _, _, _) => Term::Seq(Box::new(f.clone()), box s), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/helper.rs:13:60 [INFO] [stdout] | [INFO] [stdout] 13 | Term::Rule(_, _, _, _) => Term::Seq(box f.clone(), box s), [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 13 | Term::Rule(_, _, _, _) => Term::Seq(box f.clone(), Box::new(s)), [INFO] [stdout] | ~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/helper.rs:14:52 [INFO] [stdout] | [INFO] [stdout] 14 | Term::Seq(f1, s1) => Term::Seq(f1.clone(), box flatten_seq(s1, s)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 14 | Term::Seq(f1, s1) => Term::Seq(f1.clone(), Box::new(flatten_seq(s1, s))), [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:83:82 [INFO] [stdout] | [INFO] [stdout] 83 | (char('P'), symbol()).map(|(_, sym)| Term::Exec(Step::Effect(Kind::Print(box sym)))); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 | (char('P'), symbol()).map(|(_, sym)| Term::Exec(Step::Effect(Kind::Print(Box::new(sym))))); [INFO] [stdout] | ~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:113:52 [INFO] [stdout] | [INFO] [stdout] 113 | .map(|(_, mc, sym, vop, fc, _)| Term::Rule(box mc, box sym, vop, box fc)) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 113 | .map(|(_, mc, sym, vop, fc, _)| Term::Rule(Box::new(mc), box sym, vop, box fc)) [INFO] [stdout] | ~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:83:82 [INFO] [stdout] | [INFO] [stdout] 83 | (char('P'), symbol()).map(|(_, sym)| Term::Exec(Step::Effect(Kind::Print(box sym)))); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 | (char('P'), symbol()).map(|(_, sym)| Term::Exec(Step::Effect(Kind::Print(Box::new(sym))))); [INFO] [stdout] | ~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:113:60 [INFO] [stdout] | [INFO] [stdout] 113 | .map(|(_, mc, sym, vop, fc, _)| Term::Rule(box mc, box sym, vop, box fc)) [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 113 | .map(|(_, mc, sym, vop, fc, _)| Term::Rule(box mc, Box::new(sym), vop, box fc)) [INFO] [stdout] | ~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:113:52 [INFO] [stdout] | [INFO] [stdout] 113 | .map(|(_, mc, sym, vop, fc, _)| Term::Rule(box mc, box sym, vop, box fc)) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 113 | .map(|(_, mc, sym, vop, fc, _)| Term::Rule(Box::new(mc), box sym, vop, box fc)) [INFO] [stdout] | ~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:113:74 [INFO] [stdout] | [INFO] [stdout] 113 | .map(|(_, mc, sym, vop, fc, _)| Term::Rule(box mc, box sym, vop, box fc)) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 113 | .map(|(_, mc, sym, vop, fc, _)| Term::Rule(box mc, box sym, vop, Box::new(fc))) [INFO] [stdout] | ~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:113:60 [INFO] [stdout] | [INFO] [stdout] 113 | .map(|(_, mc, sym, vop, fc, _)| Term::Rule(box mc, box sym, vop, box fc)) [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 113 | .map(|(_, mc, sym, vop, fc, _)| Term::Rule(box mc, Box::new(sym), vop, box fc)) [INFO] [stdout] | ~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:127:64 [INFO] [stdout] | [INFO] [stdout] 127 | .map(|(_, _, rs, _): (_, _, Vec, _)| Term::Table(box helper::rule_seq(&rs))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 127 | .map(|(_, _, rs, _): (_, _, Vec, _)| Term::Table(Box::new(helper::rule_seq(&rs)))) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:113:74 [INFO] [stdout] | [INFO] [stdout] 113 | .map(|(_, mc, sym, vop, fc, _)| Term::Rule(box mc, box sym, vop, box fc)) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 113 | .map(|(_, mc, sym, vop, fc, _)| Term::Rule(box mc, box sym, vop, Box::new(fc))) [INFO] [stdout] | ~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:142:49 [INFO] [stdout] | [INFO] [stdout] 142 | .map(|(_, _, name, t, _)| Term::Machine(box name, box t)) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 142 | .map(|(_, _, name, t, _)| Term::Machine(Box::new(name), box t)) [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:127:64 [INFO] [stdout] | [INFO] [stdout] 127 | .map(|(_, _, rs, _): (_, _, Vec, _)| Term::Table(box helper::rule_seq(&rs))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 127 | .map(|(_, _, rs, _): (_, _, Vec, _)| Term::Table(Box::new(helper::rule_seq(&rs)))) [INFO] [stdout] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:142:59 [INFO] [stdout] | [INFO] [stdout] 142 | .map(|(_, _, name, t, _)| Term::Machine(box name, box t)) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 142 | .map(|(_, _, name, t, _)| Term::Machine(box name, Box::new(t))) [INFO] [stdout] | ~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:142:49 [INFO] [stdout] | [INFO] [stdout] 142 | .map(|(_, _, name, t, _)| Term::Machine(box name, box t)) [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 142 | .map(|(_, _, name, t, _)| Term::Machine(Box::new(name), box t)) [INFO] [stdout] | ~~~~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:142:59 [INFO] [stdout] | [INFO] [stdout] 142 | .map(|(_, _, name, t, _)| Term::Machine(box name, box t)) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 142 | .map(|(_, _, name, t, _)| Term::Machine(box name, Box::new(t))) [INFO] [stdout] | ~~~~~~~~~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::slice::SliceConcatExt` [INFO] [stdout] --> src/core.rs:4:9 [INFO] [stdout] | [INFO] [stdout] 4 | use std::slice::SliceConcatExt; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ no `SliceConcatExt` in `slice` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0432]: unresolved import `std::slice::SliceConcatExt` [INFO] [stdout] --> src/core.rs:4:9 [INFO] [stdout] | [INFO] [stdout] 4 | use std::slice::SliceConcatExt; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ no `SliceConcatExt` in `slice` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `rest` in this scope [INFO] [stdout] --> src/elaborator.rs:12:46 [INFO] [stdout] | [INFO] [stdout] 12 | [Term::Exec(e1), Term::Exec(e2), rest..] => match (e1, e2) { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: if you meant to collect the rest of the slice in `rest`, use the at operator [INFO] [stdout] | [INFO] [stdout] 12 | [Term::Exec(e1), Term::Exec(e2), rest @ ..] => match (e1, e2) { [INFO] [stdout] | + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `rest` in this scope [INFO] [stdout] --> src/elaborator.rs:15:39 [INFO] [stdout] | [INFO] [stdout] 15 | [&v1[..], &expand(rest)[..]].concat() [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `rest` in this scope [INFO] [stdout] --> src/elaborator.rs:12:46 [INFO] [stdout] | [INFO] [stdout] 12 | [Term::Exec(e1), Term::Exec(e2), rest..] => match (e1, e2) { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: if you meant to collect the rest of the slice in `rest`, use the at operator [INFO] [stdout] | [INFO] [stdout] 12 | [Term::Exec(e1), Term::Exec(e2), rest @ ..] => match (e1, e2) { [INFO] [stdout] | + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `rest` in this scope [INFO] [stdout] --> src/elaborator.rs:19:39 [INFO] [stdout] | [INFO] [stdout] 19 | [&v1[..], &expand(rest)[..]].concat() [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `rest` in this scope [INFO] [stdout] --> src/elaborator.rs:15:39 [INFO] [stdout] | [INFO] [stdout] 15 | [&v1[..], &expand(rest)[..]].concat() [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `rest` in this scope [INFO] [stdout] --> src/elaborator.rs:28:39 [INFO] [stdout] | [INFO] [stdout] 28 | [&v1[..], &expand(rest)[..]].concat() [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `rest` in this scope [INFO] [stdout] --> src/elaborator.rs:37:39 [INFO] [stdout] | [INFO] [stdout] 37 | [&v1[..], &expand(rest)[..]].concat() [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `rest` in this scope [INFO] [stdout] --> src/elaborator.rs:19:39 [INFO] [stdout] | [INFO] [stdout] 19 | [&v1[..], &expand(rest)[..]].concat() [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `rest` in this scope [INFO] [stdout] --> src/helper.rs:6:16 [INFO] [stdout] | [INFO] [stdout] 6 | [head, rest..] => Term::Seq(box head.clone(), box rule_seq(rest)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: if you meant to collect the rest of the slice in `rest`, use the at operator [INFO] [stdout] | [INFO] [stdout] 6 | [head, rest @ ..] => Term::Seq(box head.clone(), box rule_seq(rest)), [INFO] [stdout] | + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `rest` in this scope [INFO] [stdout] --> src/elaborator.rs:28:39 [INFO] [stdout] | [INFO] [stdout] 28 | [&v1[..], &expand(rest)[..]].concat() [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `rest` in this scope [INFO] [stdout] --> src/elaborator.rs:37:39 [INFO] [stdout] | [INFO] [stdout] 37 | [&v1[..], &expand(rest)[..]].concat() [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find value `rest` in this scope [INFO] [stdout] --> src/helper.rs:6:16 [INFO] [stdout] | [INFO] [stdout] 6 | [head, rest..] => Term::Seq(box head.clone(), box rule_seq(rest)), [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: if you meant to collect the rest of the slice in `rest`, use the at operator [INFO] [stdout] | [INFO] [stdout] 6 | [head, rest @ ..] => Term::Seq(box head.clone(), box rule_seq(rest)), [INFO] [stdout] | + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0658]: `X..` patterns in slices are experimental [INFO] [stdout] --> src/elaborator.rs:12:46 [INFO] [stdout] | [INFO] [stdout] 12 | [Term::Exec(e1), Term::Exec(e2), rest..] => match (e1, e2) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #67264 for more information [INFO] [stdout] = help: add `#![feature(half_open_range_patterns_in_slices)]` to the crate attributes to enable [INFO] [stdout] = note: this compiler was built on 2024-05-21; consider upgrading it if it is out of date [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0658]: `X..` patterns in slices are experimental [INFO] [stdout] --> src/elaborator.rs:12:46 [INFO] [stdout] | [INFO] [stdout] 12 | [Term::Exec(e1), Term::Exec(e2), rest..] => match (e1, e2) { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #67264 for more information [INFO] [stdout] = help: add `#![feature(half_open_range_patterns_in_slices)]` to the crate attributes to enable [INFO] [stdout] = note: this compiler was built on 2024-05-21; consider upgrading it if it is out of date [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0658]: `X..` patterns in slices are experimental [INFO] [stdout] --> src/helper.rs:6:16 [INFO] [stdout] | [INFO] [stdout] 6 | [head, rest..] => Term::Seq(box head.clone(), box rule_seq(rest)), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #67264 for more information [INFO] [stdout] = help: add `#![feature(half_open_range_patterns_in_slices)]` to the crate attributes to enable [INFO] [stdout] = note: this compiler was built on 2024-05-21; consider upgrading it if it is out of date [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0658]: `X..` patterns in slices are experimental [INFO] [stdout] --> src/helper.rs:6:16 [INFO] [stdout] | [INFO] [stdout] 6 | [head, rest..] => Term::Seq(box head.clone(), box rule_seq(rest)), [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: see issue #67264 for more information [INFO] [stdout] = help: add `#![feature(half_open_range_patterns_in_slices)]` to the crate attributes to enable [INFO] [stdout] = note: this compiler was built on 2024-05-21; consider upgrading it if it is out of date [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 42 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0425, E0432, E0557, E0658. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0425`. [INFO] [stdout] [INFO] [stdout] error: aborting due to 42 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0425, E0432, E0557, E0658. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0425`. [INFO] [stdout] [INFO] [stderr] error: could not compile `turing-script` (bin "turing-script") due to 43 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `turing-script` (bin "turing-script" test) due to 43 previous errors [INFO] running `Command { std: "docker" "inspect" "e6074467e058e5b1656c714d0d87f2883000c9b6482737a671ced58656f782f3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e6074467e058e5b1656c714d0d87f2883000c9b6482737a671ced58656f782f3", kill_on_drop: false }` [INFO] [stdout] e6074467e058e5b1656c714d0d87f2883000c9b6482737a671ced58656f782f3 [INFO] checking heyrutvik/turing-script against try#dae34b759e282c069aa28752564694effd121a63 for pr-125384 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fheyrutvik%2Fturing-script" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/heyrutvik/turing-script on toolchain dae34b759e282c069aa28752564694effd121a63 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dae34b759e282c069aa28752564694effd121a63" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/heyrutvik/turing-script [INFO] finished tweaking git repo https://github.com/heyrutvik/turing-script [INFO] tweaked toml for git repo https://github.com/heyrutvik/turing-script written to /workspace/builds/worker-1-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/heyrutvik/turing-script 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" "+dae34b759e282c069aa28752564694effd121a63" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+dae34b759e282c069aa28752564694effd121a63" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 5c90ab397940e7a0d137bd8d97be6b9e0ca2e191bf14885e169ae1b99ffdc8b7 [INFO] running `Command { std: "docker" "start" "-a" "5c90ab397940e7a0d137bd8d97be6b9e0ca2e191bf14885e169ae1b99ffdc8b7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "5c90ab397940e7a0d137bd8d97be6b9e0ca2e191bf14885e169ae1b99ffdc8b7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5c90ab397940e7a0d137bd8d97be6b9e0ca2e191bf14885e169ae1b99ffdc8b7", kill_on_drop: false }` [INFO] [stdout] 5c90ab397940e7a0d137bd8d97be6b9e0ca2e191bf14885e169ae1b99ffdc8b7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+dae34b759e282c069aa28752564694effd121a63" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] dd63280d934fcd4c0ad08cbc5f7013cf519ae846f6d238baaf689b22322901c3 [INFO] running `Command { std: "docker" "start" "-a" "dd63280d934fcd4c0ad08cbc5f7013cf519ae846f6d238baaf689b22322901c3", kill_on_drop: false }` [INFO] [stderr] Copying to /tmp/fixit [INFO] [stderr] skipping non-2021 edition `2018` [INFO] running `Command { std: "docker" "inspect" "dd63280d934fcd4c0ad08cbc5f7013cf519ae846f6d238baaf689b22322901c3", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dd63280d934fcd4c0ad08cbc5f7013cf519ae846f6d238baaf689b22322901c3", kill_on_drop: false }` [INFO] [stdout] dd63280d934fcd4c0ad08cbc5f7013cf519ae846f6d238baaf689b22322901c3