[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] checking PhotonQuantum/lq-broomsticks/ef858af09a1a89165964b43a81655979b560eae7 against master#f609b7e0586f81fefb3523e3e17adf779ac416be for pr-129466-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FPhotonQuantum%2Flq-broomsticks" "/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/PhotonQuantum/lq-broomsticks on toolchain f609b7e0586f81fefb3523e3e17adf779ac416be [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] 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-1-tc1/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" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded syn v1.0.54 [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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 935b8b48be0e90876e4296d1a9b87d943943f68876ece7dbad0dbd82408fc66b [INFO] running `Command { std: "docker" "start" "-a" "935b8b48be0e90876e4296d1a9b87d943943f68876ece7dbad0dbd82408fc66b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "935b8b48be0e90876e4296d1a9b87d943943f68876ece7dbad0dbd82408fc66b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "935b8b48be0e90876e4296d1a9b87d943943f68876ece7dbad0dbd82408fc66b", kill_on_drop: false }` [INFO] [stdout] 935b8b48be0e90876e4296d1a9b87d943943f68876ece7dbad0dbd82408fc66b [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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 2cb16afbd29e7a4d4ddd1363423ea24a832d90d913ac00fcd747f11e15085136 [INFO] running `Command { std: "docker" "start" "-a" "2cb16afbd29e7a4d4ddd1363423ea24a832d90d913ac00fcd747f11e15085136", 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] Checking 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] Checking 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[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/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/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/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/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/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/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/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/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/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/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/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/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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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/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/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/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/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/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: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: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: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: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: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: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: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: `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] warning: unused import: `Kinds` [INFO] [stdout] --> src/index/uid/from.rs:4:18 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::ast::{Kinds, Term}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Kinds` [INFO] [stdout] --> src/index/uid/from.rs:4:18 [INFO] [stdout] | [INFO] [stdout] 4 | use crate::ast::{Kinds, Term}; [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [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] 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] warning: unused variable: `ty` [INFO] [stdout] --> src/index/uid/reduce.rs:131:23 [INFO] [stdout] | [INFO] [stdout] 131 | if let Abs(x, ty, e) = self { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ty` [INFO] [stdout] --> src/index/uid/reduce.rs:131:23 [INFO] [stdout] | [INFO] [stdout] 131 | if let Abs(x, ty, e) = self { [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_ty` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 43 previous errors; 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stdout] error: aborting due to 43 previous errors; 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stderr] error: could not compile `lq-lang-playground` (bin "lq-lang-playground") due to 44 previous errors; 3 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `lq-lang-playground` (bin "lq-lang-playground" test) due to 44 previous errors; 3 warnings emitted [INFO] running `Command { std: "docker" "inspect" "2cb16afbd29e7a4d4ddd1363423ea24a832d90d913ac00fcd747f11e15085136", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2cb16afbd29e7a4d4ddd1363423ea24a832d90d913ac00fcd747f11e15085136", kill_on_drop: false }` [INFO] [stdout] 2cb16afbd29e7a4d4ddd1363423ea24a832d90d913ac00fcd747f11e15085136