[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 try#54bb9bb1bbe87f59b5a2e9afea4c8cedcf5e0b47 for pr-153041
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fheyrutvik%2Fturing-script" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[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-0-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/heyrutvik/turing-script on toolchain 54bb9bb1bbe87f59b5a2e9afea4c8cedcf5e0b47
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+54bb9bb1bbe87f59b5a2e9afea4c8cedcf5e0b47" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[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" "+54bb9bb1bbe87f59b5a2e9afea4c8cedcf5e0b47" "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] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded itertools v0.8.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+54bb9bb1bbe87f59b5a2e9afea4c8cedcf5e0b47" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7131f3b4c9dfb0e915f2480626175cfdb29652fa6d6d8dbe9bf003c9144b255a
[INFO] running `Command { std: "docker" "start" "-a" "7131f3b4c9dfb0e915f2480626175cfdb29652fa6d6d8dbe9bf003c9144b255a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7131f3b4c9dfb0e915f2480626175cfdb29652fa6d6d8dbe9bf003c9144b255a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7131f3b4c9dfb0e915f2480626175cfdb29652fa6d6d8dbe9bf003c9144b255a", kill_on_drop: false }`
[INFO] [stdout] 7131f3b4c9dfb0e915f2480626175cfdb29652fa6d6d8dbe9bf003c9144b255a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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=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:61361fe0aef631f17e9d025a70c5a647956f8c671dd02950a60ad3f5cc5526d7" "/opt/rustwide/cargo-home/bin/cargo" "+54bb9bb1bbe87f59b5a2e9afea4c8cedcf5e0b47" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 34ccb307c6d8f2e9ad6df80c2c4f23a0e7b7c912ff8246dd7babd0ecc34a2bc7
[INFO] running `Command { std: "docker" "start" "-a" "34ccb307c6d8f2e9ad6df80c2c4f23a0e7b7c912ff8246dd7babd0ecc34a2bc7", 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: removed in 1.70.0; see <https://github.com/rust-lang/rust/pull/108471> for more information
[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 step(f), box step(s)),
[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 step(s)),
[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 step(is)),
[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 step(is)),
[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 Term::Ident(mc.to_string()),
[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 Term::Symbol(s.clone()),
[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 Term::Ident(e.fresh(mc)),
[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 Term::Ident(e.last(mc)),
[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 Term::Symbol(Sym::Dyn),
[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 Term::Ident(fc.to_string()),
[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 Term::Ident(e.last(mc)),
[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 Term::Symbol(Sym::Dyn),
[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 Term::Ident(e.fresh(mc)),
[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 _rule(is, e)),
[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 _rule(is, e)),
[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 _any(is, ss)),
[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 _any(is, ss)),
[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 Term::Symbol(s.clone()),
[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 Term::Symbol(s.clone()),
[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: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 Term::Symbol(Sym::Blank),
[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: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 head.clone(), box rule_seq(rest)),
[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: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 rule_seq(rest)),
[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: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 f.clone(), box s),
[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 s),
[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 flatten_seq(s1, s)),
[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 sym))));
[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 mc, box sym, vop, box fc))
[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: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 sym, vop, box fc))
[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: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 fc))
[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:127:64
[INFO] [stdout]     |
[INFO] [stdout] 127 |         .map(|(_, _, rs, _): (_, _, Vec<Term>, _)| 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>, _)| Term::Table(box helper::rule_seq(&rs)))
[INFO] [stdout] 127 +         .map(|(_, _, rs, _): (_, _, Vec<Term>, _)| 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: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 name, box t))
[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 t))
[INFO] [stdout] 142 +         .map(|(_, _, name, t, _)| Term::Machine(box name, Box::new(t)))
[INFO] [stdout]     |
[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: removed in 1.70.0; see <https://github.com/rust-lang/rust/pull/108471> for more information
[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 step(f), box step(s)),
[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 step(s)),
[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 step(is)),
[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 step(is)),
[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 Term::Ident(mc.to_string()),
[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 Term::Symbol(s.clone()),
[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 Term::Ident(e.fresh(mc)),
[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 Term::Ident(e.last(mc)),
[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 Term::Symbol(Sym::Dyn),
[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 Term::Ident(fc.to_string()),
[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 Term::Ident(e.last(mc)),
[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 Term::Symbol(Sym::Dyn),
[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 Term::Ident(e.fresh(mc)),
[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 _rule(is, e)),
[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 _rule(is, e)),
[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 _any(is, ss)),
[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 _any(is, ss)),
[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 Term::Symbol(s.clone()),
[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 Term::Symbol(s.clone()),
[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: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 Term::Symbol(Sym::Blank),
[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: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 head.clone(), box rule_seq(rest)),
[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: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 rule_seq(rest)),
[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: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 f.clone(), box s),
[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 s),
[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 flatten_seq(s1, s)),
[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 sym))));
[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 mc, box sym, vop, box fc))
[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: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 sym, vop, box fc))
[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: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 fc))
[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:127:64
[INFO] [stdout]     |
[INFO] [stdout] 127 |         .map(|(_, _, rs, _): (_, _, Vec<Term>, _)| 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>, _)| Term::Table(box helper::rule_seq(&rs)))
[INFO] [stdout] 127 +         .map(|(_, _, rs, _): (_, _, Vec<Term>, _)| 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: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 name, box t))
[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 t))
[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]    = note: range patterns match against the start and end of a range; to bind the components, use a struct pattern
[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] help: if you meant to destructure a range use a struct pattern
[INFO] [stdout]    |
[INFO] [stdout] 12 -             [Term::Exec(e1), Term::Exec(e2), rest..] => match (e1, e2) {
[INFO] [stdout] 12 +             [Term::Exec(e1), Term::Exec(e2), std::ops::RangeFrom { start: 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: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: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]   = note: range patterns match against the start and end of a range; to bind the components, use a struct pattern
[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] help: if you meant to destructure a range use a struct pattern
[INFO] [stdout]   |
[INFO] [stdout] 6 -         [head, rest..] => Term::Seq(box head.clone(), box rule_seq(rest)),
[INFO] [stdout] 6 +         [head, std::ops::RangeFrom { start: 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 <https://github.com/rust-lang/rust/issues/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 2026-02-24; 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 <https://github.com/rust-lang/rust/issues/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 2026-02-24; consider upgrading it if it is out of date
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::helper`
[INFO] [stdout]  --> src/parser.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::helper;
[INFO] [stdout]   |     ^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `slice_patterns` has been stable since 1.42.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(slice_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[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]    = note: range patterns match against the start and end of a range; to bind the components, use a struct pattern
[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] help: if you meant to destructure a range use a struct pattern
[INFO] [stdout]    |
[INFO] [stdout] 12 -             [Term::Exec(e1), Term::Exec(e2), rest..] => match (e1, e2) {
[INFO] [stdout] 12 +             [Term::Exec(e1), Term::Exec(e2), std::ops::RangeFrom { start: 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: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: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]   = note: range patterns match against the start and end of a range; to bind the components, use a struct pattern
[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] help: if you meant to destructure a range use a struct pattern
[INFO] [stdout]   |
[INFO] [stdout] 6 -         [head, rest..] => Term::Seq(box head.clone(), box rule_seq(rest)),
[INFO] [stdout] 6 +         [head, std::ops::RangeFrom { start: 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 <https://github.com/rust-lang/rust/issues/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 2026-02-24; 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 <https://github.com/rust-lang/rust/issues/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 2026-02-24; consider upgrading it if it is out of date
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::helper`
[INFO] [stdout]  --> src/parser.rs:2:5
[INFO] [stdout]   |
[INFO] [stdout] 2 | use crate::helper;
[INFO] [stdout]   |     ^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `slice_patterns` has been stable since 1.42.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(slice_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[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] 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 42 previous errors; 2 warnings emitted
[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 42 previous errors; 2 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "34ccb307c6d8f2e9ad6df80c2c4f23a0e7b7c912ff8246dd7babd0ecc34a2bc7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "34ccb307c6d8f2e9ad6df80c2c4f23a0e7b7c912ff8246dd7babd0ecc34a2bc7", kill_on_drop: false }`
[INFO] [stdout] 34ccb307c6d8f2e9ad6df80c2c4f23a0e7b7c912ff8246dd7babd0ecc34a2bc7
