[INFO] cloning repository https://github.com/PhotonQuantum/lq-broomsticks
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/PhotonQuantum/lq-broomsticks" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FPhotonQuantum%2Flq-broomsticks", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FPhotonQuantum%2Flq-broomsticks'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] ef858af09a1a89165964b43a81655979b560eae7
[INFO] testing PhotonQuantum/lq-broomsticks against beta-2023-04-20 for beta-1.70-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FPhotonQuantum%2Flq-broomsticks" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/PhotonQuantum/lq-broomsticks on toolchain beta-2023-04-20
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-04-20" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/PhotonQuantum/lq-broomsticks
[INFO] finished tweaking git repo https://github.com/PhotonQuantum/lq-broomsticks
[INFO] tweaked toml for git repo https://github.com/PhotonQuantum/lq-broomsticks written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/PhotonQuantum/lq-broomsticks 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" "+beta-2023-04-20" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 974aec4a42b60af43b500abb66463fe62f751d8ecbe1ee93052f3f1b8bfbcf5b
[INFO] running `Command { std: "docker" "start" "-a" "974aec4a42b60af43b500abb66463fe62f751d8ecbe1ee93052f3f1b8bfbcf5b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "974aec4a42b60af43b500abb66463fe62f751d8ecbe1ee93052f3f1b8bfbcf5b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "974aec4a42b60af43b500abb66463fe62f751d8ecbe1ee93052f3f1b8bfbcf5b", kill_on_drop: false }`
[INFO] [stdout] 974aec4a42b60af43b500abb66463fe62f751d8ecbe1ee93052f3f1b8bfbcf5b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 01063a0ab74540b550d9f8fb6ad0da9158ca8845d012c03448b17c8d0e7d4a4b
[INFO] running `Command { std: "docker" "start" "-a" "01063a0ab74540b550d9f8fb6ad0da9158ca8845d012c03448b17c8d0e7d4a4b", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.24
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling ucd-trie v0.1.3
[INFO] [stderr]    Compiling syn v1.0.54
[INFO] [stderr]    Compiling maplit v1.0.2
[INFO] [stderr]    Compiling pest v2.1.3
[INFO] [stderr]    Compiling quote v1.0.7
[INFO] [stderr]    Compiling pest_meta v2.1.3
[INFO] [stderr]    Compiling pest_generator v2.1.3
[INFO] [stderr]    Compiling pest_derive v2.1.0
[INFO] [stderr]    Compiling lq-lang-playground v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_syntax)]
[INFO] [stdout]   |            ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/ast.rs:66:16
[INFO] [stdout]    |
[INFO] [stdout] 66 |     Abs(bound, box ty, box term)
[INFO] [stdout]    |                ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 66 |     Abs(bound, Box::new(ty), box term)
[INFO] [stdout]    |                ~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/ast.rs:66:24
[INFO] [stdout]    |
[INFO] [stdout] 66 |     Abs(bound, box ty, box term)
[INFO] [stdout]    |                        ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 66 |     Abs(bound, box ty, Box::new(term))
[INFO] [stdout]    |                        ~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/ast.rs:70:9
[INFO] [stdout]    |
[INFO] [stdout] 70 |     App(box lhs, box rhs)
[INFO] [stdout]    |         ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 70 |     App(Box::new(lhs), box rhs)
[INFO] [stdout]    |         ~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/ast.rs:70:18
[INFO] [stdout]    |
[INFO] [stdout] 70 |     App(box lhs, box rhs)
[INFO] [stdout]    |                  ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 70 |     App(box lhs, Box::new(rhs))
[INFO] [stdout]    |                  ~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/from.rs:28:18
[INFO] [stdout]    |
[INFO] [stdout] 28 |             (App(box lhs, box rhs), free_vars)
[INFO] [stdout]    |                  ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 28 |             (App(Box::new(lhs), box rhs), free_vars)
[INFO] [stdout]    |                  ~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/from.rs:28:27
[INFO] [stdout]    |
[INFO] [stdout] 28 |             (App(box lhs, box rhs), free_vars)
[INFO] [stdout]    |                           ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 28 |             (App(box lhs, Box::new(rhs)), free_vars)
[INFO] [stdout]    |                           ~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/from.rs:57:21
[INFO] [stdout]    |
[INFO] [stdout] 57 |                     box Term::Kind(Kinds::Star), // TODO
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 57 |                     Box::new(Term::Kind(Kinds::Star)), // TODO
[INFO] [stdout]    |                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/from.rs:58:21
[INFO] [stdout]    |
[INFO] [stdout] 58 |                     box term,
[INFO] [stdout]    |                     ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 58 |                     Box::new(term),
[INFO] [stdout]    |                     ~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/into.rs:22:21
[INFO] [stdout]    |
[INFO] [stdout] 22 |                     box _to_bare(*e1, var_maps, var_set),
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 22 |                     Box::new(_to_bare(*e1, var_maps, var_set)),
[INFO] [stdout]    |                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/into.rs:23:21
[INFO] [stdout]    |
[INFO] [stdout] 23 |                     box _to_bare(*e2, var_maps, var_set),
[INFO] [stdout]    |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 23 |                     Box::new(_to_bare(*e2, var_maps, var_set)),
[INFO] [stdout]    |                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/into.rs:38:25
[INFO] [stdout]    |
[INFO] [stdout] 38 |                         box _to_bare(*ty, var_maps, var_set),
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 38 |                         Box::new(_to_bare(*ty, var_maps, var_set)),
[INFO] [stdout]    |                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/into.rs:39:25
[INFO] [stdout]    |
[INFO] [stdout] 39 |                         box _to_bare(*e, var_maps, var_set),
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 39 |                         Box::new(_to_bare(*e, var_maps, var_set)),
[INFO] [stdout]    |                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/reduce.rs:25:57
[INFO] [stdout]    |
[INFO] [stdout] 25 |             Abs(x, ty, e) => Abs(x.clone(), ty.clone(), box e._subst(from, to)), // TODO
[INFO] [stdout]    |                                                         ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 25 |             Abs(x, ty, e) => Abs(x.clone(), ty.clone(), Box::new(e._subst(from, to))), // TODO
[INFO] [stdout]    |                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/reduce.rs:26:32
[INFO] [stdout]    |
[INFO] [stdout] 26 |             App(e1, e2) => App(box e1._subst(from, to), box e2._subst(from, to)),
[INFO] [stdout]    |                                ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 26 |             App(e1, e2) => App(Box::new(e1._subst(from, to)), box e2._subst(from, to)),
[INFO] [stdout]    |                                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/reduce.rs:26:57
[INFO] [stdout]    |
[INFO] [stdout] 26 |             App(e1, e2) => App(box e1._subst(from, to), box e2._subst(from, to)),
[INFO] [stdout]    |                                                         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 26 |             App(e1, e2) => App(box e1._subst(from, to), Box::new(e2._subst(from, to))),
[INFO] [stdout]    |                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/reduce.rs:39:28
[INFO] [stdout]    |
[INFO] [stdout] 39 |                 e1_ => App(box e1_, e2.clone()),
[INFO] [stdout]    |                            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 39 |                 e1_ => App(Box::new(e1_), e2.clone()),
[INFO] [stdout]    |                            ~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/reduce.rs:48:57
[INFO] [stdout]    |
[INFO] [stdout] 48 |             Abs(x, ty, e) => Abs(x.clone(), ty.clone(), box e.nor_reduce(limit)),
[INFO] [stdout]    |                                                         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 48 |             Abs(x, ty, e) => Abs(x.clone(), ty.clone(), Box::new(e.nor_reduce(limit))),
[INFO] [stdout]    |                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/reduce.rs:53:28
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 e1_ => App(box e1_.nor_reduce(limit), box e2.nor_reduce(limit)),
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 e1_ => App(Box::new(e1_.nor_reduce(limit)), box e2.nor_reduce(limit)),
[INFO] [stdout]    |                            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/reduce.rs:53:55
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 e1_ => App(box e1_.nor_reduce(limit), box e2.nor_reduce(limit)),
[INFO] [stdout]    |                                                       ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 e1_ => App(box e1_.nor_reduce(limit), Box::new(e2.nor_reduce(limit))),
[INFO] [stdout]    |                                                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/reduce.rs:66:28
[INFO] [stdout]    |
[INFO] [stdout] 66 |                 e1_ => App(box e1_, box e2.cbv_reduce(limit)),
[INFO] [stdout]    |                            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 66 |                 e1_ => App(Box::new(e1_), box e2.cbv_reduce(limit)),
[INFO] [stdout]    |                            ~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/reduce.rs:66:37
[INFO] [stdout]    |
[INFO] [stdout] 66 |                 e1_ => App(box e1_, box e2.cbv_reduce(limit)),
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 66 |                 e1_ => App(box e1_, Box::new(e2.cbv_reduce(limit))),
[INFO] [stdout]    |                                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/reduce.rs:79:28
[INFO] [stdout]    |
[INFO] [stdout] 79 |                 e1_ => App(box e1_, box e2.app_reduce(limit)),
[INFO] [stdout]    |                            ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 79 |                 e1_ => App(Box::new(e1_), box e2.app_reduce(limit)),
[INFO] [stdout]    |                            ~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/reduce.rs:79:37
[INFO] [stdout]    |
[INFO] [stdout] 79 |                 e1_ => App(box e1_, box e2.app_reduce(limit)),
[INFO] [stdout]    |                                     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 79 |                 e1_ => App(box e1_, Box::new(e2.app_reduce(limit))),
[INFO] [stdout]    |                                     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/reduce.rs:81:57
[INFO] [stdout]    |
[INFO] [stdout] 81 |             Abs(x, ty, e) => Abs(x.clone(), ty.clone(), box e.app_reduce(limit)),
[INFO] [stdout]    |                                                         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 81 |             Abs(x, ty, e) => Abs(x.clone(), ty.clone(), Box::new(e.app_reduce(limit))),
[INFO] [stdout]    |                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/reduce.rs:93:28
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 e1_ => App(box e1_.hap_reduce(limit), box e2.hap_reduce(limit)),
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 e1_ => App(Box::new(e1_.hap_reduce(limit)), box e2.hap_reduce(limit)),
[INFO] [stdout]    |                            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/reduce.rs:93:55
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 e1_ => App(box e1_.hap_reduce(limit), box e2.hap_reduce(limit)),
[INFO] [stdout]    |                                                       ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 e1_ => App(box e1_.hap_reduce(limit), Box::new(e2.hap_reduce(limit))),
[INFO] [stdout]    |                                                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/index/uid/reduce.rs:95:57
[INFO] [stdout]    |
[INFO] [stdout] 95 |             Abs(x, ty, e) => Abs(x.clone(), ty.clone(), box e.hap_reduce(limit)),
[INFO] [stdout]    |                                                         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 95 |             Abs(x, ty, e) => Abs(x.clone(), ty.clone(), Box::new(e.hap_reduce(limit))),
[INFO] [stdout]    |                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/index/uid/reduce.rs:107:28
[INFO] [stdout]     |
[INFO] [stdout] 107 |                 e1_ => App(box e1_, e2.clone()),
[INFO] [stdout]     |                            ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 107 |                 e1_ => App(Box::new(e1_), e2.clone()),
[INFO] [stdout]     |                            ~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/index/uid/reduce.rs:109:57
[INFO] [stdout]     |
[INFO] [stdout] 109 |             Abs(x, ty, e) => Abs(x.clone(), ty.clone(), box e.hsr_reduce(limit)),
[INFO] [stdout]     |                                                         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 109 |             Abs(x, ty, e) => Abs(x.clone(), ty.clone(), Box::new(e.hsr_reduce(limit))),
[INFO] [stdout]     |                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/index/uid/reduce.rs:121:28
[INFO] [stdout]     |
[INFO] [stdout] 121 |                 e1_ => App(box e1_.hno_reduce(limit), box e2.hno_reduce(limit)),
[INFO] [stdout]     |                            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 121 |                 e1_ => App(Box::new(e1_.hno_reduce(limit)), box e2.hno_reduce(limit)),
[INFO] [stdout]     |                            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/index/uid/reduce.rs:121:55
[INFO] [stdout]     |
[INFO] [stdout] 121 |                 e1_ => App(box e1_.hno_reduce(limit), box e2.hno_reduce(limit)),
[INFO] [stdout]     |                                                       ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 121 |                 e1_ => App(box e1_.hno_reduce(limit), Box::new(e2.hno_reduce(limit))),
[INFO] [stdout]     |                                                       ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/index/uid/reduce.rs:123:57
[INFO] [stdout]     |
[INFO] [stdout] 123 |             Abs(x, ty, e) => Abs(x.clone(), ty.clone(), box e.hno_reduce(limit)),
[INFO] [stdout]     |                                                         ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 123 |             Abs(x, ty, e) => Abs(x.clone(), ty.clone(), Box::new(e.hno_reduce(limit))),
[INFO] [stdout]     |                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/index/uid/reduce.rs:165:17
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 box self.clone(),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 165 |                 Box::new(self.clone()),
[INFO] [stdout]     |                 ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/index/uid/reduce.rs:166:17
[INFO] [stdout]     |
[INFO] [stdout] 166 | /                 box Var(UID {
[INFO] [stdout] 167 | |                     name: String::from("_"),
[INFO] [stdout] 168 | |                     uid: self.uid_generator().next(),
[INFO] [stdout] 169 | |                 }),
[INFO] [stdout]     | |__________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 166 ~                 Box::new(Var(UID {
[INFO] [stdout] 167 +                     name: String::from("_"),
[INFO] [stdout] 168 +                     uid: self.uid_generator().next(),
[INFO] [stdout] 169 ~                 })),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/index/uid/reduce.rs:174:17
[INFO] [stdout]     |
[INFO] [stdout] 174 |                 box other.clone(),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 174 |                 Box::new(other.clone()),
[INFO] [stdout]     |                 ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/index/uid/reduce.rs:175:17
[INFO] [stdout]     |
[INFO] [stdout] 175 | /                 box Var(UID {
[INFO] [stdout] 176 | |                     name: String::from("_"),
[INFO] [stdout] 177 | |                     uid: other.uid_generator().next(),
[INFO] [stdout] 178 | |                 }),
[INFO] [stdout]     | |__________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 175 ~                 Box::new(Var(UID {
[INFO] [stdout] 176 +                     name: String::from("_"),
[INFO] [stdout] 177 +                     uid: other.uid_generator().next(),
[INFO] [stdout] 178 ~                 })),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/parser.rs:42:35
[INFO] [stdout]    |
[INFO] [stdout] 42 |                 Some(pred) => App(box pred, box term),
[INFO] [stdout]    |                                   ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 42 |                 Some(pred) => App(Box::new(pred), box term),
[INFO] [stdout]    |                                   ~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/parser.rs:42:45
[INFO] [stdout]    |
[INFO] [stdout] 42 |                 Some(pred) => App(box pred, box term),
[INFO] [stdout]    |                                             ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 42 |                 Some(pred) => App(box pred, Box::new(term)),
[INFO] [stdout]    |                                             ~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/parser.rs:59:17
[INFO] [stdout]    |
[INFO] [stdout] 59 |                 box parse_expr(ty.into_inner()),
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 59 |                 Box::new(parse_expr(ty.into_inner())),
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/parser.rs:60:17
[INFO] [stdout]    |
[INFO] [stdout] 60 |                 box parse_expr(expr.into_inner()),
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 60 |                 Box::new(parse_expr(expr.into_inner())),
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/parser.rs:70:17
[INFO] [stdout]    |
[INFO] [stdout] 70 |                 box parse_expr(lty.into_inner()),
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 70 |                 Box::new(parse_expr(lty.into_inner())),
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/parser.rs:71:17
[INFO] [stdout]    |
[INFO] [stdout] 71 |                 box parse_expr(rty.into_inner()),
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 71 |                 Box::new(parse_expr(rty.into_inner())),
[INFO] [stdout]    |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/main.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_syntax)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/main.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(iterator_fold_self, type_alias_impl_trait)]
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]  --> src/main.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(iterator_fold_self, type_alias_impl_trait)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `iterator_fold_self` has been stable since 1.51.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(iterator_fold_self, type_alias_impl_trait)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 46 previous errors; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0554, E0557.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0554`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `lq-lang-playground` (bin "lq-lang-playground") due to 47 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "01063a0ab74540b550d9f8fb6ad0da9158ca8845d012c03448b17c8d0e7d4a4b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "01063a0ab74540b550d9f8fb6ad0da9158ca8845d012c03448b17c8d0e7d4a4b", kill_on_drop: false }`
[INFO] [stdout] 01063a0ab74540b550d9f8fb6ad0da9158ca8845d012c03448b17c8d0e7d4a4b
