[INFO] cloning repository https://github.com/tawashichan/untyped_lambda_calculus [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tawashichan/untyped_lambda_calculus" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Funtyped_lambda_calculus", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Funtyped_lambda_calculus'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 36470b89855464df2e4dbc53f58501fb55188d98 [INFO] testing tawashichan/untyped_lambda_calculus against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Funtyped_lambda_calculus" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/tawashichan/untyped_lambda_calculus [INFO] finished tweaking git repo https://github.com/tawashichan/untyped_lambda_calculus [INFO] tweaked toml for git repo https://github.com/tawashichan/untyped_lambda_calculus written to /workspace/builds/worker-1-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/tawashichan/untyped_lambda_calculus on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/tawashichan/untyped_lambda_calculus 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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded nanoid v0.1.3 [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 2e6fb08c1ab58e0148821c3889347f099e261e14423d1a24bb42665af3d54a25 [INFO] running `Command { std: "docker" "start" "-a" "2e6fb08c1ab58e0148821c3889347f099e261e14423d1a24bb42665af3d54a25", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "2e6fb08c1ab58e0148821c3889347f099e261e14423d1a24bb42665af3d54a25", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2e6fb08c1ab58e0148821c3889347f099e261e14423d1a24bb42665af3d54a25", kill_on_drop: false }` [INFO] [stdout] 2e6fb08c1ab58e0148821c3889347f099e261e14423d1a24bb42665af3d54a25 [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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 028d399274669a95d53d30620d60ee175e7da8ce841d37a0cdd1027fafe18278 [INFO] running `Command { std: "docker" "start" "-a" "028d399274669a95d53d30620d60ee175e7da8ce841d37a0cdd1027fafe18278", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.62 [INFO] [stderr] Compiling rand v0.4.6 [INFO] [stderr] Compiling nanoid v0.1.3 [INFO] [stderr] Compiling untyped_lambda v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:12:75 [INFO] [stdout] | [INFO] [stdout] 12 | Lambda::Abstruct("x".to_string(),box Lambda::Abstruct("y".to_string(),box Lambda::Term("x".to_string()))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 12 - Lambda::Abstruct("x".to_string(),box Lambda::Abstruct("y".to_string(),box Lambda::Term("x".to_string()))) [INFO] [stdout] 12 + Lambda::Abstruct("x".to_string(),box Lambda::Abstruct("y".to_string(),Box::new(Lambda::Term("x".to_string())))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:12:38 [INFO] [stdout] | [INFO] [stdout] 12 | Lambda::Abstruct("x".to_string(),box Lambda::Abstruct("y".to_string(),box Lambda::Term("x".to_string()))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 12 - Lambda::Abstruct("x".to_string(),box Lambda::Abstruct("y".to_string(),box Lambda::Term("x".to_string()))) [INFO] [stdout] 12 + Lambda::Abstruct("x".to_string(),Box::new(Lambda::Abstruct("y".to_string(),box Lambda::Term("x".to_string())))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:16:75 [INFO] [stdout] | [INFO] [stdout] 16 | Lambda::Abstruct("x".to_string(),box Lambda::Abstruct("y".to_string(),box Lambda::Term("y".to_string()))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 16 - Lambda::Abstruct("x".to_string(),box Lambda::Abstruct("y".to_string(),box Lambda::Term("y".to_string()))) [INFO] [stdout] 16 + Lambda::Abstruct("x".to_string(),box Lambda::Abstruct("y".to_string(),Box::new(Lambda::Term("y".to_string())))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:16:38 [INFO] [stdout] | [INFO] [stdout] 16 | Lambda::Abstruct("x".to_string(),box Lambda::Abstruct("y".to_string(),box Lambda::Term("y".to_string()))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 16 - Lambda::Abstruct("x".to_string(),box Lambda::Abstruct("y".to_string(),box Lambda::Term("y".to_string()))) [INFO] [stdout] 16 + Lambda::Abstruct("x".to_string(),Box::new(Lambda::Abstruct("y".to_string(),box Lambda::Term("y".to_string())))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:25:25 [INFO] [stdout] | [INFO] [stdout] 25 | box Lambda::Term("b".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 25 - box Lambda::Term("b".to_string()), [INFO] [stdout] 25 + Box::new(Lambda::Term("b".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:26:25 [INFO] [stdout] | [INFO] [stdout] 26 | box Lambda::Term("A".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 26 - box Lambda::Term("A".to_string()), [INFO] [stdout] 26 + Box::new(Lambda::Term("A".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:24:21 [INFO] [stdout] | [INFO] [stdout] 24 | / box Lambda::App( [INFO] [stdout] 25 | | box Lambda::Term("b".to_string()), [INFO] [stdout] 26 | | box Lambda::Term("A".to_string()), [INFO] [stdout] 27 | | ), [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 24 ~ Box::new(Lambda::App( [INFO] [stdout] 25 | box Lambda::Term("b".to_string()), [INFO] [stdout] 26 | box Lambda::Term("A".to_string()), [INFO] [stdout] 27 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:28:21 [INFO] [stdout] | [INFO] [stdout] 28 | box Lambda::Term("B".to_string()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 28 - box Lambda::Term("B".to_string()) [INFO] [stdout] 28 + Box::new(Lambda::Term("B".to_string())) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:23:17 [INFO] [stdout] | [INFO] [stdout] 23 | / box Lambda::App( [INFO] [stdout] 24 | | box Lambda::App( [INFO] [stdout] 25 | | box Lambda::Term("b".to_string()), [INFO] [stdout] 26 | | box Lambda::Term("A".to_string()), [INFO] [stdout] 27 | | ), [INFO] [stdout] 28 | | box Lambda::Term("B".to_string()) [INFO] [stdout] 29 | | ) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 23 ~ Box::new(Lambda::App( [INFO] [stdout] 24 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 28 | box Lambda::Term("B".to_string()) [INFO] [stdout] 29 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:22:13 [INFO] [stdout] | [INFO] [stdout] 22 | / box Lambda::Abstruct("B".to_string(), [INFO] [stdout] 23 | | box Lambda::App( [INFO] [stdout] 24 | | box Lambda::App( [INFO] [stdout] 25 | | box Lambda::Term("b".to_string()), [INFO] [stdout] ... | [INFO] [stdout] 30 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 22 ~ Box::new(Lambda::Abstruct("B".to_string(), [INFO] [stdout] 23 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 29 | ) [INFO] [stdout] 30 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | / box Lambda::Abstruct("A".to_string(), [INFO] [stdout] 22 | | box Lambda::Abstruct("B".to_string(), [INFO] [stdout] 23 | | box Lambda::App( [INFO] [stdout] 24 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 31 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 21 ~ Box::new(Lambda::Abstruct("A".to_string(), [INFO] [stdout] 22 | box Lambda::Abstruct("B".to_string(), [INFO] [stdout] ... [INFO] [stdout] 30 | ) [INFO] [stdout] 31 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:63:17 [INFO] [stdout] | [INFO] [stdout] 63 | box assgined_l1, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 63 - box assgined_l1, [INFO] [stdout] 63 + Box::new(assgined_l1), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:64:17 [INFO] [stdout] | [INFO] [stdout] 64 | box assgined_l2, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 64 - box assgined_l2, [INFO] [stdout] 64 + Box::new(assgined_l2), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:70:17 [INFO] [stdout] | [INFO] [stdout] 70 | box m [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 70 - box m [INFO] [stdout] 70 + Box::new(m) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:76:17 [INFO] [stdout] | [INFO] [stdout] 76 | box assign(m,var_name,exp) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 76 - box assign(m,var_name,exp) [INFO] [stdout] 76 + Box::new(assign(m,var_name,exp)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:83:17 [INFO] [stdout] | [INFO] [stdout] 83 | box assign(assign(m,var,Lambda::Term(z)),var_name,exp) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 - box assign(assign(m,var,Lambda::Term(z)),var_name,exp) [INFO] [stdout] 83 + Box::new(assign(assign(m,var,Lambda::Term(z)),var_name,exp)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:98:25 [INFO] [stdout] | [INFO] [stdout] 98 | Lambda::App(box beta_reduction(e1),box beta_reduction(e2)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 98 - Lambda::App(box beta_reduction(e1),box beta_reduction(e2)) [INFO] [stdout] 98 + Lambda::App(Box::new(beta_reduction(e1)),box beta_reduction(e2)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:98:48 [INFO] [stdout] | [INFO] [stdout] 98 | Lambda::App(box beta_reduction(e1),box beta_reduction(e2)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 98 - Lambda::App(box beta_reduction(e1),box beta_reduction(e2)) [INFO] [stdout] 98 + Lambda::App(box beta_reduction(e1),Box::new(beta_reduction(e2))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:101:34 [INFO] [stdout] | [INFO] [stdout] 101 | Lambda::Abstruct(var,box beta_reduction(m)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 101 - Lambda::Abstruct(var,box beta_reduction(m)) [INFO] [stdout] 101 + Lambda::Abstruct(var,Box::new(beta_reduction(m))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:127:13 [INFO] [stdout] | [INFO] [stdout] 127 | box Lambda::Term("z".to_string()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 127 - box Lambda::Term("z".to_string()) [INFO] [stdout] 127 + Box::new(Lambda::Term("z".to_string())) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:125:9 [INFO] [stdout] | [INFO] [stdout] 125 | / box Lambda::Abstruct( [INFO] [stdout] 126 | | "z".to_string(), [INFO] [stdout] 127 | | box Lambda::Term("z".to_string()) [INFO] [stdout] 128 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 125 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 126 | "z".to_string(), [INFO] [stdout] 127 | box Lambda::Term("z".to_string()) [INFO] [stdout] 128 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:138:17 [INFO] [stdout] | [INFO] [stdout] 138 | box Lambda::Term("f".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 138 - box Lambda::Term("f".to_string()), [INFO] [stdout] 138 + Box::new(Lambda::Term("f".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:139:17 [INFO] [stdout] | [INFO] [stdout] 139 | box Lambda::Term("z".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 139 - box Lambda::Term("z".to_string()), [INFO] [stdout] 139 + Box::new(Lambda::Term("z".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:137:13 [INFO] [stdout] | [INFO] [stdout] 137 | / box Lambda::App( [INFO] [stdout] 138 | | box Lambda::Term("f".to_string()), [INFO] [stdout] 139 | | box Lambda::Term("z".to_string()), [INFO] [stdout] 140 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 137 ~ Box::new(Lambda::App( [INFO] [stdout] 138 | box Lambda::Term("f".to_string()), [INFO] [stdout] 139 | box Lambda::Term("z".to_string()), [INFO] [stdout] 140 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:135:9 [INFO] [stdout] | [INFO] [stdout] 135 | / box Lambda::Abstruct( [INFO] [stdout] 136 | | "z".to_string(), [INFO] [stdout] 137 | | box Lambda::App( [INFO] [stdout] 138 | | box Lambda::Term("f".to_string()), [INFO] [stdout] ... | [INFO] [stdout] 141 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 135 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 136 | "z".to_string(), [INFO] [stdout] ... [INFO] [stdout] 140 | ) [INFO] [stdout] 141 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:151:17 [INFO] [stdout] | [INFO] [stdout] 151 | box Lambda::Term("f".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 151 - box Lambda::Term("f".to_string()), [INFO] [stdout] 151 + Box::new(Lambda::Term("f".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:153:21 [INFO] [stdout] | [INFO] [stdout] 153 | box Lambda::Term("f".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 153 - box Lambda::Term("f".to_string()), [INFO] [stdout] 153 + Box::new(Lambda::Term("f".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:154:21 [INFO] [stdout] | [INFO] [stdout] 154 | box Lambda::Term("z".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 154 - box Lambda::Term("z".to_string()), [INFO] [stdout] 154 + Box::new(Lambda::Term("z".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:152:17 [INFO] [stdout] | [INFO] [stdout] 152 | / box Lambda::App( [INFO] [stdout] 153 | | box Lambda::Term("f".to_string()), [INFO] [stdout] 154 | | box Lambda::Term("z".to_string()), [INFO] [stdout] 155 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 152 ~ Box::new(Lambda::App( [INFO] [stdout] 153 | box Lambda::Term("f".to_string()), [INFO] [stdout] 154 | box Lambda::Term("z".to_string()), [INFO] [stdout] 155 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:150:13 [INFO] [stdout] | [INFO] [stdout] 150 | / box Lambda::App( [INFO] [stdout] 151 | | box Lambda::Term("f".to_string()), [INFO] [stdout] 152 | | box Lambda::App( [INFO] [stdout] 153 | | box Lambda::Term("f".to_string()), [INFO] [stdout] 154 | | box Lambda::Term("z".to_string()), [INFO] [stdout] 155 | | ), [INFO] [stdout] 156 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 150 ~ Box::new(Lambda::App( [INFO] [stdout] 151 | box Lambda::Term("f".to_string()), [INFO] [stdout] ... [INFO] [stdout] 155 | ), [INFO] [stdout] 156 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:148:9 [INFO] [stdout] | [INFO] [stdout] 148 | / box Lambda::Abstruct( [INFO] [stdout] 149 | | "z".to_string(), [INFO] [stdout] 150 | | box Lambda::App( [INFO] [stdout] 151 | | box Lambda::Term("f".to_string()), [INFO] [stdout] ... | [INFO] [stdout] 157 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 148 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 149 | "z".to_string(), [INFO] [stdout] ... [INFO] [stdout] 156 | ) [INFO] [stdout] 157 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:167:17 [INFO] [stdout] | [INFO] [stdout] 167 | box Lambda::Term("f".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 167 - box Lambda::Term("f".to_string()), [INFO] [stdout] 167 + Box::new(Lambda::Term("f".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:169:21 [INFO] [stdout] | [INFO] [stdout] 169 | box Lambda::Term("f".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 169 - box Lambda::Term("f".to_string()), [INFO] [stdout] 169 + Box::new(Lambda::Term("f".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:171:25 [INFO] [stdout] | [INFO] [stdout] 171 | box Lambda::Term("f".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 171 - box Lambda::Term("f".to_string()), [INFO] [stdout] 171 + Box::new(Lambda::Term("f".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:172:25 [INFO] [stdout] | [INFO] [stdout] 172 | box Lambda::Term("z".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 172 - box Lambda::Term("z".to_string()), [INFO] [stdout] 172 + Box::new(Lambda::Term("z".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:170:21 [INFO] [stdout] | [INFO] [stdout] 170 | / box Lambda::App( [INFO] [stdout] 171 | | box Lambda::Term("f".to_string()), [INFO] [stdout] 172 | | box Lambda::Term("z".to_string()), [INFO] [stdout] 173 | | ), [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 170 ~ Box::new(Lambda::App( [INFO] [stdout] 171 | box Lambda::Term("f".to_string()), [INFO] [stdout] 172 | box Lambda::Term("z".to_string()), [INFO] [stdout] 173 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:168:17 [INFO] [stdout] | [INFO] [stdout] 168 | / box Lambda::App( [INFO] [stdout] 169 | | box Lambda::Term("f".to_string()), [INFO] [stdout] 170 | | box Lambda::App( [INFO] [stdout] 171 | | box Lambda::Term("f".to_string()), [INFO] [stdout] 172 | | box Lambda::Term("z".to_string()), [INFO] [stdout] 173 | | ), [INFO] [stdout] 174 | | ) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 168 ~ Box::new(Lambda::App( [INFO] [stdout] 169 | box Lambda::Term("f".to_string()), [INFO] [stdout] ... [INFO] [stdout] 173 | ), [INFO] [stdout] 174 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:166:13 [INFO] [stdout] | [INFO] [stdout] 166 | / box Lambda::App( [INFO] [stdout] 167 | | box Lambda::Term("f".to_string()), [INFO] [stdout] 168 | | box Lambda::App( [INFO] [stdout] 169 | | box Lambda::Term("f".to_string()), [INFO] [stdout] ... | [INFO] [stdout] 175 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 166 ~ Box::new(Lambda::App( [INFO] [stdout] 167 | box Lambda::Term("f".to_string()), [INFO] [stdout] ... [INFO] [stdout] 174 | ) [INFO] [stdout] 175 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:164:9 [INFO] [stdout] | [INFO] [stdout] 164 | / box Lambda::Abstruct( [INFO] [stdout] 165 | | "z".to_string(), [INFO] [stdout] 166 | | box Lambda::App( [INFO] [stdout] 167 | | box Lambda::Term("f".to_string()), [INFO] [stdout] ... | [INFO] [stdout] 176 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 164 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 165 | "z".to_string(), [INFO] [stdout] ... [INFO] [stdout] 175 | ) [INFO] [stdout] 176 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:189:21 [INFO] [stdout] | [INFO] [stdout] 189 | box Lambda::Term("f".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 189 - box Lambda::Term("f".to_string()), [INFO] [stdout] 189 + Box::new(Lambda::Term("f".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:192:29 [INFO] [stdout] | [INFO] [stdout] 192 | ... box Lambda::Term("n".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 192 - box Lambda::Term("n".to_string()), [INFO] [stdout] 192 + Box::new(Lambda::Term("n".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:193:29 [INFO] [stdout] | [INFO] [stdout] 193 | ... box Lambda::Term("f".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 193 - box Lambda::Term("f".to_string()), [INFO] [stdout] 193 + Box::new(Lambda::Term("f".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:191:25 [INFO] [stdout] | [INFO] [stdout] 191 | / box Lambda::App( [INFO] [stdout] 192 | | box Lambda::Term("n".to_string()), [INFO] [stdout] 193 | | box Lambda::Term("f".to_string()), [INFO] [stdout] 194 | | ), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 191 ~ Box::new(Lambda::App( [INFO] [stdout] 192 | box Lambda::Term("n".to_string()), [INFO] [stdout] 193 | box Lambda::Term("f".to_string()), [INFO] [stdout] 194 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:195:25 [INFO] [stdout] | [INFO] [stdout] 195 | box Lambda::Term("z".to_string()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 195 - box Lambda::Term("z".to_string()) [INFO] [stdout] 195 + Box::new(Lambda::Term("z".to_string())) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:190:21 [INFO] [stdout] | [INFO] [stdout] 190 | / box Lambda::App( [INFO] [stdout] 191 | | box Lambda::App( [INFO] [stdout] 192 | | box Lambda::Term("n".to_string()), [INFO] [stdout] 193 | | box Lambda::Term("f".to_string()), [INFO] [stdout] 194 | | ), [INFO] [stdout] 195 | | box Lambda::Term("z".to_string()) [INFO] [stdout] 196 | | ) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 190 ~ Box::new(Lambda::App( [INFO] [stdout] 191 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 195 | box Lambda::Term("z".to_string()) [INFO] [stdout] 196 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:188:17 [INFO] [stdout] | [INFO] [stdout] 188 | / box Lambda::App( [INFO] [stdout] 189 | | box Lambda::Term("f".to_string()), [INFO] [stdout] 190 | | box Lambda::App( [INFO] [stdout] 191 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 197 | | ) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 188 ~ Box::new(Lambda::App( [INFO] [stdout] 189 | box Lambda::Term("f".to_string()), [INFO] [stdout] ... [INFO] [stdout] 196 | ) [INFO] [stdout] 197 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:186:13 [INFO] [stdout] | [INFO] [stdout] 186 | / box Lambda::Abstruct( [INFO] [stdout] 187 | | "z".to_string(), [INFO] [stdout] 188 | | box Lambda::App( [INFO] [stdout] 189 | | box Lambda::Term("f".to_string()), [INFO] [stdout] ... | [INFO] [stdout] 198 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 186 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 187 | "z".to_string(), [INFO] [stdout] ... [INFO] [stdout] 197 | ) [INFO] [stdout] 198 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:184:9 [INFO] [stdout] | [INFO] [stdout] 184 | / box Lambda::Abstruct( [INFO] [stdout] 185 | | "f".to_string(), [INFO] [stdout] 186 | | box Lambda::Abstruct( [INFO] [stdout] 187 | | "z".to_string(), [INFO] [stdout] ... | [INFO] [stdout] 199 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 184 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 185 | "f".to_string(), [INFO] [stdout] ... [INFO] [stdout] 198 | ) [INFO] [stdout] 199 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:210:21 [INFO] [stdout] | [INFO] [stdout] 210 | box Lambda::Term("m".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 210 - box Lambda::Term("m".to_string()), [INFO] [stdout] 210 + Box::new(Lambda::Term("m".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:211:21 [INFO] [stdout] | [INFO] [stdout] 211 | box succ(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 211 - box succ(), [INFO] [stdout] 211 + Box::new(succ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:209:17 [INFO] [stdout] | [INFO] [stdout] 209 | / box Lambda::App( [INFO] [stdout] 210 | | box Lambda::Term("m".to_string()), [INFO] [stdout] 211 | | box succ(), [INFO] [stdout] 212 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 209 ~ Box::new(Lambda::App( [INFO] [stdout] 210 | box Lambda::Term("m".to_string()), [INFO] [stdout] 211 | box succ(), [INFO] [stdout] 212 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:213:17 [INFO] [stdout] | [INFO] [stdout] 213 | box Lambda::Term("n".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 213 - box Lambda::Term("n".to_string()), [INFO] [stdout] 213 + Box::new(Lambda::Term("n".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:208:13 [INFO] [stdout] | [INFO] [stdout] 208 | / box Lambda::App( [INFO] [stdout] 209 | | box Lambda::App( [INFO] [stdout] 210 | | box Lambda::Term("m".to_string()), [INFO] [stdout] 211 | | box succ(), [INFO] [stdout] 212 | | ), [INFO] [stdout] 213 | | box Lambda::Term("n".to_string()), [INFO] [stdout] 214 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 208 ~ Box::new(Lambda::App( [INFO] [stdout] 209 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 213 | box Lambda::Term("n".to_string()), [INFO] [stdout] 214 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:206:9 [INFO] [stdout] | [INFO] [stdout] 206 | / box Lambda::Abstruct( [INFO] [stdout] 207 | | "n".to_string(), [INFO] [stdout] 208 | | box Lambda::App( [INFO] [stdout] 209 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 215 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 206 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 207 | "n".to_string(), [INFO] [stdout] ... [INFO] [stdout] 214 | ) [INFO] [stdout] 215 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:226:21 [INFO] [stdout] | [INFO] [stdout] 226 | box Lambda::Term("f".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 226 - box Lambda::Term("f".to_string()), [INFO] [stdout] 226 + Box::new(Lambda::Term("f".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:227:21 [INFO] [stdout] | [INFO] [stdout] 227 | box acm, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 227 - box acm, [INFO] [stdout] 227 + Box::new(acm), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:234:21 [INFO] [stdout] | [INFO] [stdout] 234 | box app, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 234 - box app, [INFO] [stdout] 234 + Box::new(app), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:232:17 [INFO] [stdout] | [INFO] [stdout] 232 | / box Lambda::Abstruct( [INFO] [stdout] 233 | | "z".to_string(), [INFO] [stdout] 234 | | box app, [INFO] [stdout] 235 | | ) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 232 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 233 | "z".to_string(), [INFO] [stdout] 234 | box app, [INFO] [stdout] 235 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:248:21 [INFO] [stdout] | [INFO] [stdout] 248 | box Lambda::Term("m".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 248 - box Lambda::Term("m".to_string()), [INFO] [stdout] 248 + Box::new(Lambda::Term("m".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:250:25 [INFO] [stdout] | [INFO] [stdout] 250 | box add(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 250 - box add(), [INFO] [stdout] 250 + Box::new(add()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:251:25 [INFO] [stdout] | [INFO] [stdout] 251 | box Lambda::Term("n".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 251 - box Lambda::Term("n".to_string()), [INFO] [stdout] 251 + Box::new(Lambda::Term("n".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:249:21 [INFO] [stdout] | [INFO] [stdout] 249 | / box Lambda::App( [INFO] [stdout] 250 | | box add(), [INFO] [stdout] 251 | | box Lambda::Term("n".to_string()), [INFO] [stdout] 252 | | ) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 249 ~ Box::new(Lambda::App( [INFO] [stdout] 250 | box add(), [INFO] [stdout] 251 | box Lambda::Term("n".to_string()), [INFO] [stdout] 252 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:247:17 [INFO] [stdout] | [INFO] [stdout] 247 | / box Lambda::App( [INFO] [stdout] 248 | | box Lambda::Term("m".to_string()), [INFO] [stdout] 249 | | box Lambda::App( [INFO] [stdout] 250 | | box add(), [INFO] [stdout] ... | [INFO] [stdout] 253 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 247 ~ Box::new(Lambda::App( [INFO] [stdout] 248 | box Lambda::Term("m".to_string()), [INFO] [stdout] ... [INFO] [stdout] 252 | ) [INFO] [stdout] 253 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:254:17 [INFO] [stdout] | [INFO] [stdout] 254 | box zero(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 254 - box zero(), [INFO] [stdout] 254 + Box::new(zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:246:13 [INFO] [stdout] | [INFO] [stdout] 246 | / box Lambda::App( [INFO] [stdout] 247 | | box Lambda::App( [INFO] [stdout] 248 | | box Lambda::Term("m".to_string()), [INFO] [stdout] 249 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 254 | | box zero(), [INFO] [stdout] 255 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 246 ~ Box::new(Lambda::App( [INFO] [stdout] 247 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 254 | box zero(), [INFO] [stdout] 255 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:244:9 [INFO] [stdout] | [INFO] [stdout] 244 | / box Lambda::Abstruct( [INFO] [stdout] 245 | | "n".to_string(), [INFO] [stdout] 246 | | box Lambda::App( [INFO] [stdout] 247 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 256 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 244 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 245 | "n".to_string(), [INFO] [stdout] ... [INFO] [stdout] 255 | ) [INFO] [stdout] 256 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:267:21 [INFO] [stdout] | [INFO] [stdout] 267 | box Lambda::Term("m".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 267 - box Lambda::Term("m".to_string()), [INFO] [stdout] 267 + Box::new(Lambda::Term("m".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:269:25 [INFO] [stdout] | [INFO] [stdout] 269 | box mul(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 269 - box mul(), [INFO] [stdout] 269 + Box::new(mul()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:270:25 [INFO] [stdout] | [INFO] [stdout] 270 | box Lambda::Term("n".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 270 - box Lambda::Term("n".to_string()), [INFO] [stdout] 270 + Box::new(Lambda::Term("n".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:268:21 [INFO] [stdout] | [INFO] [stdout] 268 | / box Lambda::App( [INFO] [stdout] 269 | | box mul(), [INFO] [stdout] 270 | | box Lambda::Term("n".to_string()), [INFO] [stdout] 271 | | ) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 268 ~ Box::new(Lambda::App( [INFO] [stdout] 269 | box mul(), [INFO] [stdout] 270 | box Lambda::Term("n".to_string()), [INFO] [stdout] 271 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:266:17 [INFO] [stdout] | [INFO] [stdout] 266 | / box Lambda::App( [INFO] [stdout] 267 | | box Lambda::Term("m".to_string()), [INFO] [stdout] 268 | | box Lambda::App( [INFO] [stdout] 269 | | box mul(), [INFO] [stdout] ... | [INFO] [stdout] 272 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 266 ~ Box::new(Lambda::App( [INFO] [stdout] 267 | box Lambda::Term("m".to_string()), [INFO] [stdout] ... [INFO] [stdout] 271 | ) [INFO] [stdout] 272 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:273:17 [INFO] [stdout] | [INFO] [stdout] 273 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 273 - box one(), [INFO] [stdout] 273 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:265:13 [INFO] [stdout] | [INFO] [stdout] 265 | / box Lambda::App( [INFO] [stdout] 266 | | box Lambda::App( [INFO] [stdout] 267 | | box Lambda::Term("m".to_string()), [INFO] [stdout] 268 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 273 | | box one(), [INFO] [stdout] 274 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 265 ~ Box::new(Lambda::App( [INFO] [stdout] 266 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 273 | box one(), [INFO] [stdout] 274 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:263:9 [INFO] [stdout] | [INFO] [stdout] 263 | / box Lambda::Abstruct( [INFO] [stdout] 264 | | "n".to_string(), [INFO] [stdout] 265 | | box Lambda::App( [INFO] [stdout] 266 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 275 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 263 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 264 | "n".to_string(), [INFO] [stdout] ... [INFO] [stdout] 274 | ) [INFO] [stdout] 275 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:284:17 [INFO] [stdout] | [INFO] [stdout] 284 | box Lambda::Term("n".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 284 - box Lambda::Term("n".to_string()), [INFO] [stdout] 284 + Box::new(Lambda::Term("n".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:287:21 [INFO] [stdout] | [INFO] [stdout] 287 | box f(), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 287 - box f(), [INFO] [stdout] 287 + Box::new(f()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:285:17 [INFO] [stdout] | [INFO] [stdout] 285 | / box Lambda::Abstruct( [INFO] [stdout] 286 | | "x".to_string(), [INFO] [stdout] 287 | | box f(), [INFO] [stdout] 288 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 285 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 286 | "x".to_string(), [INFO] [stdout] 287 | box f(), [INFO] [stdout] 288 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:283:13 [INFO] [stdout] | [INFO] [stdout] 283 | / box Lambda::App( [INFO] [stdout] 284 | | box Lambda::Term("n".to_string()), [INFO] [stdout] 285 | | box Lambda::Abstruct( [INFO] [stdout] 286 | | "x".to_string(), [INFO] [stdout] 287 | | box f(), [INFO] [stdout] 288 | | ), [INFO] [stdout] 289 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 283 ~ Box::new(Lambda::App( [INFO] [stdout] 284 | box Lambda::Term("n".to_string()), [INFO] [stdout] ... [INFO] [stdout] 288 | ), [INFO] [stdout] 289 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:290:13 [INFO] [stdout] | [INFO] [stdout] 290 | box t(), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 290 - box t(), [INFO] [stdout] 290 + Box::new(t()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:282:9 [INFO] [stdout] | [INFO] [stdout] 282 | / box Lambda::App( [INFO] [stdout] 283 | | box Lambda::App( [INFO] [stdout] 284 | | box Lambda::Term("n".to_string()), [INFO] [stdout] 285 | | box Lambda::Abstruct( [INFO] [stdout] ... | [INFO] [stdout] 290 | | box t(), [INFO] [stdout] 291 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 282 ~ Box::new(Lambda::App( [INFO] [stdout] 283 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 290 | box t(), [INFO] [stdout] 291 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:316:13 [INFO] [stdout] | [INFO] [stdout] 316 | box sum, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 316 - box sum, [INFO] [stdout] 316 + Box::new(sum), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:317:13 [INFO] [stdout] | [INFO] [stdout] 317 | box Lambda::Term(format!("x_{:?}",current)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 317 - box Lambda::Term(format!("x_{:?}",current)), [INFO] [stdout] 317 + Box::new(Lambda::Term(format!("x_{:?}",current))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:322:9 [INFO] [stdout] | [INFO] [stdout] 322 | box x, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 322 - box x, [INFO] [stdout] 322 + Box::new(x), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:326:9 [INFO] [stdout] | [INFO] [stdout] 326 | box p_abs, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 326 - box p_abs, [INFO] [stdout] 326 + Box::new(p_abs), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:331:13 [INFO] [stdout] | [INFO] [stdout] 331 | box sum [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 331 - box sum [INFO] [stdout] 331 + Box::new(sum) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:340:13 [INFO] [stdout] | [INFO] [stdout] 340 | box sum [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 340 - box sum [INFO] [stdout] 340 + Box::new(sum) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:352:21 [INFO] [stdout] | [INFO] [stdout] 352 | box Lambda::Term("x".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 352 - box Lambda::Term("x".to_string()), [INFO] [stdout] 352 + Box::new(Lambda::Term("x".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:355:29 [INFO] [stdout] | [INFO] [stdout] 355 | ... box Lambda::Term("z".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 355 - box Lambda::Term("z".to_string()), [INFO] [stdout] 355 + Box::new(Lambda::Term("z".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:356:29 [INFO] [stdout] | [INFO] [stdout] 356 | ... box Lambda::Term("z".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 356 - box Lambda::Term("z".to_string()), [INFO] [stdout] 356 + Box::new(Lambda::Term("z".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:354:25 [INFO] [stdout] | [INFO] [stdout] 354 | / box Lambda::App( [INFO] [stdout] 355 | | box Lambda::Term("z".to_string()), [INFO] [stdout] 356 | | box Lambda::Term("z".to_string()), [INFO] [stdout] 357 | | ), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 354 ~ Box::new(Lambda::App( [INFO] [stdout] 355 | box Lambda::Term("z".to_string()), [INFO] [stdout] 356 | box Lambda::Term("z".to_string()), [INFO] [stdout] 357 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:358:25 [INFO] [stdout] | [INFO] [stdout] 358 | box Lambda::Term("x".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 358 - box Lambda::Term("x".to_string()), [INFO] [stdout] 358 + Box::new(Lambda::Term("x".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:353:21 [INFO] [stdout] | [INFO] [stdout] 353 | / box Lambda::App( [INFO] [stdout] 354 | | box Lambda::App( [INFO] [stdout] 355 | | box Lambda::Term("z".to_string()), [INFO] [stdout] 356 | | box Lambda::Term("z".to_string()), [INFO] [stdout] 357 | | ), [INFO] [stdout] 358 | | box Lambda::Term("x".to_string()), [INFO] [stdout] 359 | | ) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 353 ~ Box::new(Lambda::App( [INFO] [stdout] 354 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 358 | box Lambda::Term("x".to_string()), [INFO] [stdout] 359 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:351:17 [INFO] [stdout] | [INFO] [stdout] 351 | / box Lambda::App( [INFO] [stdout] 352 | | box Lambda::Term("x".to_string()), [INFO] [stdout] 353 | | box Lambda::App( [INFO] [stdout] 354 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 360 | | ) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 351 ~ Box::new(Lambda::App( [INFO] [stdout] 352 | box Lambda::Term("x".to_string()), [INFO] [stdout] ... [INFO] [stdout] 359 | ) [INFO] [stdout] 360 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:349:13 [INFO] [stdout] | [INFO] [stdout] 349 | / box Lambda::Abstruct( [INFO] [stdout] 350 | | "x".to_string(), [INFO] [stdout] 351 | | box Lambda::App( [INFO] [stdout] 352 | | box Lambda::Term("x".to_string()), [INFO] [stdout] ... | [INFO] [stdout] 361 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 349 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 350 | "x".to_string(), [INFO] [stdout] ... [INFO] [stdout] 360 | ) [INFO] [stdout] 361 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:347:9 [INFO] [stdout] | [INFO] [stdout] 347 | / box Lambda::Abstruct( [INFO] [stdout] 348 | | "z".to_string(), [INFO] [stdout] 349 | | box Lambda::Abstruct( [INFO] [stdout] 350 | | "x".to_string(), [INFO] [stdout] ... | [INFO] [stdout] 362 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 347 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 348 | "z".to_string(), [INFO] [stdout] ... [INFO] [stdout] 361 | ) [INFO] [stdout] 362 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:368:21 [INFO] [stdout] | [INFO] [stdout] 368 | box Lambda::Term("x".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 368 - box Lambda::Term("x".to_string()), [INFO] [stdout] 368 + Box::new(Lambda::Term("x".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:371:29 [INFO] [stdout] | [INFO] [stdout] 371 | ... box Lambda::Term("z".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 371 - box Lambda::Term("z".to_string()), [INFO] [stdout] 371 + Box::new(Lambda::Term("z".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:372:29 [INFO] [stdout] | [INFO] [stdout] 372 | ... box Lambda::Term("z".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 372 - box Lambda::Term("z".to_string()), [INFO] [stdout] 372 + Box::new(Lambda::Term("z".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:370:25 [INFO] [stdout] | [INFO] [stdout] 370 | / box Lambda::App( [INFO] [stdout] 371 | | box Lambda::Term("z".to_string()), [INFO] [stdout] 372 | | box Lambda::Term("z".to_string()), [INFO] [stdout] 373 | | ), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 370 ~ Box::new(Lambda::App( [INFO] [stdout] 371 | box Lambda::Term("z".to_string()), [INFO] [stdout] 372 | box Lambda::Term("z".to_string()), [INFO] [stdout] 373 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:374:25 [INFO] [stdout] | [INFO] [stdout] 374 | box Lambda::Term("x".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 374 - box Lambda::Term("x".to_string()), [INFO] [stdout] 374 + Box::new(Lambda::Term("x".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:369:21 [INFO] [stdout] | [INFO] [stdout] 369 | / box Lambda::App( [INFO] [stdout] 370 | | box Lambda::App( [INFO] [stdout] 371 | | box Lambda::Term("z".to_string()), [INFO] [stdout] 372 | | box Lambda::Term("z".to_string()), [INFO] [stdout] 373 | | ), [INFO] [stdout] 374 | | box Lambda::Term("x".to_string()), [INFO] [stdout] 375 | | ) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 369 ~ Box::new(Lambda::App( [INFO] [stdout] 370 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 374 | box Lambda::Term("x".to_string()), [INFO] [stdout] 375 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:367:17 [INFO] [stdout] | [INFO] [stdout] 367 | / box Lambda::App( [INFO] [stdout] 368 | | box Lambda::Term("x".to_string()), [INFO] [stdout] 369 | | box Lambda::App( [INFO] [stdout] 370 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 376 | | ) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 367 ~ Box::new(Lambda::App( [INFO] [stdout] 368 | box Lambda::Term("x".to_string()), [INFO] [stdout] ... [INFO] [stdout] 375 | ) [INFO] [stdout] 376 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:365:13 [INFO] [stdout] | [INFO] [stdout] 365 | / box Lambda::Abstruct( [INFO] [stdout] 366 | | "x".to_string(), [INFO] [stdout] 367 | | box Lambda::App( [INFO] [stdout] 368 | | box Lambda::Term("x".to_string()), [INFO] [stdout] ... | [INFO] [stdout] 377 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 365 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 366 | "x".to_string(), [INFO] [stdout] ... [INFO] [stdout] 376 | ) [INFO] [stdout] 377 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:363:9 [INFO] [stdout] | [INFO] [stdout] 363 | / box Lambda::Abstruct( [INFO] [stdout] 364 | | "z".to_string(), [INFO] [stdout] 365 | | box Lambda::Abstruct( [INFO] [stdout] 366 | | "x".to_string(), [INFO] [stdout] ... | [INFO] [stdout] 378 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 363 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 364 | "z".to_string(), [INFO] [stdout] ... [INFO] [stdout] 377 | ) [INFO] [stdout] 378 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:392:29 [INFO] [stdout] | [INFO] [stdout] 392 | ... box Lambda::Term("n".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 392 - box Lambda::Term("n".to_string()), [INFO] [stdout] 392 + Box::new(Lambda::Term("n".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:398:41 [INFO] [stdout] | [INFO] [stdout] 398 | ... box Lambda::Term("h".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 398 - box Lambda::Term("h".to_string()), [INFO] [stdout] 398 + Box::new(Lambda::Term("h".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:400:45 [INFO] [stdout] | [INFO] [stdout] 400 | ... box Lambda::Term("g".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 400 - box Lambda::Term("g".to_string()), [INFO] [stdout] 400 + Box::new(Lambda::Term("g".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:401:45 [INFO] [stdout] | [INFO] [stdout] 401 | ... box Lambda::Term("f".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 401 - box Lambda::Term("f".to_string()), [INFO] [stdout] 401 + Box::new(Lambda::Term("f".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:399:41 [INFO] [stdout] | [INFO] [stdout] 399 | / ... box Lambda::App( [INFO] [stdout] 400 | | ... box Lambda::Term("g".to_string()), [INFO] [stdout] 401 | | ... box Lambda::Term("f".to_string()), [INFO] [stdout] 402 | | ... ) [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 399 ~ Box::new(Lambda::App( [INFO] [stdout] 400 | box Lambda::Term("g".to_string()), [INFO] [stdout] 401 | box Lambda::Term("f".to_string()), [INFO] [stdout] 402 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:397:37 [INFO] [stdout] | [INFO] [stdout] 397 | / ... box Lambda::App( [INFO] [stdout] 398 | | ... box Lambda::Term("h".to_string()), [INFO] [stdout] 399 | | ... box Lambda::App( [INFO] [stdout] 400 | | ... box Lambda::Term("g".to_string()), [INFO] [stdout] ... | [INFO] [stdout] 403 | | ... ) [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 397 ~ Box::new(Lambda::App( [INFO] [stdout] 398 | box Lambda::Term("h".to_string()), [INFO] [stdout] ... [INFO] [stdout] 402 | ) [INFO] [stdout] 403 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:395:33 [INFO] [stdout] | [INFO] [stdout] 395 | / ... box Lambda::Abstruct( [INFO] [stdout] 396 | | ... "h".to_string(), [INFO] [stdout] 397 | | ... box Lambda::App( [INFO] [stdout] 398 | | ... box Lambda::Term("h".to_string()), [INFO] [stdout] ... | [INFO] [stdout] 404 | | ... ) [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 395 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 396 | "h".to_string(), [INFO] [stdout] ... [INFO] [stdout] 403 | ) [INFO] [stdout] 404 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:393:29 [INFO] [stdout] | [INFO] [stdout] 393 | / ... box Lambda::Abstruct( [INFO] [stdout] 394 | | ... "g".to_string(), [INFO] [stdout] 395 | | ... box Lambda::Abstruct( [INFO] [stdout] 396 | | ... "h".to_string(), [INFO] [stdout] ... | [INFO] [stdout] 405 | | ... ) [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 393 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 394 | "g".to_string(), [INFO] [stdout] ... [INFO] [stdout] 404 | ) [INFO] [stdout] 405 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:391:25 [INFO] [stdout] | [INFO] [stdout] 391 | / box Lambda::App( [INFO] [stdout] 392 | | box Lambda::Term("n".to_string()), [INFO] [stdout] 393 | | box Lambda::Abstruct( [INFO] [stdout] 394 | | "g".to_string(), [INFO] [stdout] ... | [INFO] [stdout] 406 | | ), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 391 ~ Box::new(Lambda::App( [INFO] [stdout] 392 | box Lambda::Term("n".to_string()), [INFO] [stdout] ... [INFO] [stdout] 405 | ) [INFO] [stdout] 406 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:409:29 [INFO] [stdout] | [INFO] [stdout] 409 | ... box Lambda::Term("x".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 409 - box Lambda::Term("x".to_string()), [INFO] [stdout] 409 + Box::new(Lambda::Term("x".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:407:25 [INFO] [stdout] | [INFO] [stdout] 407 | / box Lambda::Abstruct( [INFO] [stdout] 408 | | "u".to_string(), [INFO] [stdout] 409 | | box Lambda::Term("x".to_string()), [INFO] [stdout] 410 | | ) [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 407 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 408 | "u".to_string(), [INFO] [stdout] 409 | box Lambda::Term("x".to_string()), [INFO] [stdout] 410 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:390:21 [INFO] [stdout] | [INFO] [stdout] 390 | / box Lambda::App( [INFO] [stdout] 391 | | box Lambda::App( [INFO] [stdout] 392 | | box Lambda::Term("n".to_string()), [INFO] [stdout] 393 | | box Lambda::Abstruct( [INFO] [stdout] ... | [INFO] [stdout] 411 | | ), [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 390 ~ Box::new(Lambda::App( [INFO] [stdout] 391 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 410 | ) [INFO] [stdout] 411 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:414:25 [INFO] [stdout] | [INFO] [stdout] 414 | box Lambda::Term("u".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 414 - box Lambda::Term("u".to_string()), [INFO] [stdout] 414 + Box::new(Lambda::Term("u".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:412:21 [INFO] [stdout] | [INFO] [stdout] 412 | / box Lambda::Abstruct( [INFO] [stdout] 413 | | "u".to_string(), [INFO] [stdout] 414 | | box Lambda::Term("u".to_string()), [INFO] [stdout] 415 | | ) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 412 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 413 | "u".to_string(), [INFO] [stdout] 414 | box Lambda::Term("u".to_string()), [INFO] [stdout] 415 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:389:17 [INFO] [stdout] | [INFO] [stdout] 389 | / box Lambda::App( [INFO] [stdout] 390 | | box Lambda::App( [INFO] [stdout] 391 | | box Lambda::App( [INFO] [stdout] 392 | | box Lambda::Term("n".to_string()), [INFO] [stdout] ... | [INFO] [stdout] 416 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 389 ~ Box::new(Lambda::App( [INFO] [stdout] 390 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 415 | ) [INFO] [stdout] 416 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:387:13 [INFO] [stdout] | [INFO] [stdout] 387 | / box Lambda::Abstruct( [INFO] [stdout] 388 | | "x".to_string(), [INFO] [stdout] 389 | | box Lambda::App( [INFO] [stdout] 390 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 416 | | ), [INFO] [stdout] 417 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 387 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 388 | "x".to_string(), [INFO] [stdout] ... [INFO] [stdout] 416 | ), [INFO] [stdout] 417 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:385:9 [INFO] [stdout] | [INFO] [stdout] 385 | / box Lambda::Abstruct( [INFO] [stdout] 386 | | "f".to_string(), [INFO] [stdout] 387 | | box Lambda::Abstruct( [INFO] [stdout] 388 | | "x".to_string(), [INFO] [stdout] ... | [INFO] [stdout] 418 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 385 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 386 | "f".to_string(), [INFO] [stdout] ... [INFO] [stdout] 417 | ) [INFO] [stdout] 418 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:429:21 [INFO] [stdout] | [INFO] [stdout] 429 | box Lambda::Term("n".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 429 - box Lambda::Term("n".to_string()), [INFO] [stdout] 429 + Box::new(Lambda::Term("n".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:430:21 [INFO] [stdout] | [INFO] [stdout] 430 | box pred(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 430 - box pred(), [INFO] [stdout] 430 + Box::new(pred()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:428:17 [INFO] [stdout] | [INFO] [stdout] 428 | / box Lambda::App( [INFO] [stdout] 429 | | box Lambda::Term("n".to_string()), [INFO] [stdout] 430 | | box pred(), [INFO] [stdout] 431 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 428 ~ Box::new(Lambda::App( [INFO] [stdout] 429 | box Lambda::Term("n".to_string()), [INFO] [stdout] 430 | box pred(), [INFO] [stdout] 431 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:432:17 [INFO] [stdout] | [INFO] [stdout] 432 | box Lambda::Term("m".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 432 - box Lambda::Term("m".to_string()), [INFO] [stdout] 432 + Box::new(Lambda::Term("m".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:427:13 [INFO] [stdout] | [INFO] [stdout] 427 | / box Lambda::App( [INFO] [stdout] 428 | | box Lambda::App( [INFO] [stdout] 429 | | box Lambda::Term("n".to_string()), [INFO] [stdout] 430 | | box pred(), [INFO] [stdout] 431 | | ), [INFO] [stdout] 432 | | box Lambda::Term("m".to_string()), [INFO] [stdout] 433 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 427 ~ Box::new(Lambda::App( [INFO] [stdout] 428 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 432 | box Lambda::Term("m".to_string()), [INFO] [stdout] 433 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:425:9 [INFO] [stdout] | [INFO] [stdout] 425 | / box Lambda::Abstruct( [INFO] [stdout] 426 | | "n".to_string(), [INFO] [stdout] 427 | | box Lambda::App( [INFO] [stdout] 428 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 434 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 425 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 426 | "n".to_string(), [INFO] [stdout] ... [INFO] [stdout] 433 | ) [INFO] [stdout] 434 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:440:9 [INFO] [stdout] | [INFO] [stdout] 440 | box turing_y_combinator(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 440 - box turing_y_combinator(), [INFO] [stdout] 440 + Box::new(turing_y_combinator()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:448:29 [INFO] [stdout] | [INFO] [stdout] 448 | ... box cond(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 448 - box cond(), [INFO] [stdout] 448 + Box::new(cond()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:450:33 [INFO] [stdout] | [INFO] [stdout] 450 | ... box is_zero(), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 450 - box is_zero(), [INFO] [stdout] 450 + Box::new(is_zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:451:33 [INFO] [stdout] | [INFO] [stdout] 451 | ... box Lambda::Term("n".to_string()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 451 - box Lambda::Term("n".to_string()) [INFO] [stdout] 451 + Box::new(Lambda::Term("n".to_string())) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:449:29 [INFO] [stdout] | [INFO] [stdout] 449 | / ... box Lambda::App( [INFO] [stdout] 450 | | ... box is_zero(), [INFO] [stdout] 451 | | ... box Lambda::Term("n".to_string()) [INFO] [stdout] 452 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 449 ~ Box::new(Lambda::App( [INFO] [stdout] 450 | box is_zero(), [INFO] [stdout] 451 | box Lambda::Term("n".to_string()) [INFO] [stdout] 452 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:447:25 [INFO] [stdout] | [INFO] [stdout] 447 | / box Lambda::App( [INFO] [stdout] 448 | | box cond(), [INFO] [stdout] 449 | | box Lambda::App( [INFO] [stdout] 450 | | box is_zero(), [INFO] [stdout] 451 | | box Lambda::Term("n".to_string()) [INFO] [stdout] 452 | | ), [INFO] [stdout] 453 | | ), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 447 ~ Box::new(Lambda::App( [INFO] [stdout] 448 | box cond(), [INFO] [stdout] ... [INFO] [stdout] 452 | ), [INFO] [stdout] 453 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:454:25 [INFO] [stdout] | [INFO] [stdout] 454 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 454 - box one(), [INFO] [stdout] 454 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:446:21 [INFO] [stdout] | [INFO] [stdout] 446 | / box Lambda::App( [INFO] [stdout] 447 | | box Lambda::App( [INFO] [stdout] 448 | | box cond(), [INFO] [stdout] 449 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 454 | | box one(), [INFO] [stdout] 455 | | ), [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 446 ~ Box::new(Lambda::App( [INFO] [stdout] 447 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 454 | box one(), [INFO] [stdout] 455 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:458:29 [INFO] [stdout] | [INFO] [stdout] 458 | ... box mul(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 458 - box mul(), [INFO] [stdout] 458 + Box::new(mul()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:459:29 [INFO] [stdout] | [INFO] [stdout] 459 | ... box Lambda::Term("n".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 459 - box Lambda::Term("n".to_string()), [INFO] [stdout] 459 + Box::new(Lambda::Term("n".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:457:25 [INFO] [stdout] | [INFO] [stdout] 457 | / box Lambda::App( [INFO] [stdout] 458 | | box mul(), [INFO] [stdout] 459 | | box Lambda::Term("n".to_string()), [INFO] [stdout] 460 | | ), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 457 ~ Box::new(Lambda::App( [INFO] [stdout] 458 | box mul(), [INFO] [stdout] 459 | box Lambda::Term("n".to_string()), [INFO] [stdout] 460 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:462:29 [INFO] [stdout] | [INFO] [stdout] 462 | ... box Lambda::Term("fact".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 462 - box Lambda::Term("fact".to_string()), [INFO] [stdout] 462 + Box::new(Lambda::Term("fact".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:465:37 [INFO] [stdout] | [INFO] [stdout] 465 | ... box sub(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 465 - box sub(), [INFO] [stdout] 465 + Box::new(sub()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:466:37 [INFO] [stdout] | [INFO] [stdout] 466 | ... box Lambda::Term("n".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 466 - box Lambda::Term("n".to_string()), [INFO] [stdout] 466 + Box::new(Lambda::Term("n".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:464:33 [INFO] [stdout] | [INFO] [stdout] 464 | / ... box Lambda::App( [INFO] [stdout] 465 | | ... box sub(), [INFO] [stdout] 466 | | ... box Lambda::Term("n".to_string()), [INFO] [stdout] 467 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 464 ~ Box::new(Lambda::App( [INFO] [stdout] 465 | box sub(), [INFO] [stdout] 466 | box Lambda::Term("n".to_string()), [INFO] [stdout] 467 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:468:33 [INFO] [stdout] | [INFO] [stdout] 468 | ... box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 468 - box one(), [INFO] [stdout] 468 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:463:29 [INFO] [stdout] | [INFO] [stdout] 463 | / ... box Lambda::App( [INFO] [stdout] 464 | | ... box Lambda::App( [INFO] [stdout] 465 | | ... box sub(), [INFO] [stdout] 466 | | ... box Lambda::Term("n".to_string()), [INFO] [stdout] 467 | | ... ), [INFO] [stdout] 468 | | ... box one(), [INFO] [stdout] 469 | | ... ) [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 463 ~ Box::new(Lambda::App( [INFO] [stdout] 464 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 468 | box one(), [INFO] [stdout] 469 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:461:25 [INFO] [stdout] | [INFO] [stdout] 461 | / box Lambda::App( [INFO] [stdout] 462 | | box Lambda::Term("fact".to_string()), [INFO] [stdout] 463 | | box Lambda::App( [INFO] [stdout] 464 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 470 | | ), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 461 ~ Box::new(Lambda::App( [INFO] [stdout] 462 | box Lambda::Term("fact".to_string()), [INFO] [stdout] ... [INFO] [stdout] 469 | ) [INFO] [stdout] 470 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:456:21 [INFO] [stdout] | [INFO] [stdout] 456 | / box Lambda::App( [INFO] [stdout] 457 | | box Lambda::App( [INFO] [stdout] 458 | | box mul(), [INFO] [stdout] 459 | | box Lambda::Term("n".to_string()), [INFO] [stdout] ... | [INFO] [stdout] 470 | | ), [INFO] [stdout] 471 | | ), [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 456 ~ Box::new(Lambda::App( [INFO] [stdout] 457 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 470 | ), [INFO] [stdout] 471 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:445:17 [INFO] [stdout] | [INFO] [stdout] 445 | / box Lambda::App( [INFO] [stdout] 446 | | box Lambda::App( [INFO] [stdout] 447 | | box Lambda::App( [INFO] [stdout] 448 | | box cond(), [INFO] [stdout] ... | [INFO] [stdout] 471 | | ), [INFO] [stdout] 472 | | ) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 445 ~ Box::new(Lambda::App( [INFO] [stdout] 446 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 471 | ), [INFO] [stdout] 472 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:443:13 [INFO] [stdout] | [INFO] [stdout] 443 | / box Lambda::Abstruct( [INFO] [stdout] 444 | | "n".to_string(), [INFO] [stdout] 445 | | box Lambda::App( [INFO] [stdout] 446 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 473 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 443 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 444 | "n".to_string(), [INFO] [stdout] ... [INFO] [stdout] 472 | ) [INFO] [stdout] 473 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:441:9 [INFO] [stdout] | [INFO] [stdout] 441 | / box Lambda::Abstruct( [INFO] [stdout] 442 | | "fact".to_string(), [INFO] [stdout] 443 | | box Lambda::Abstruct( [INFO] [stdout] 444 | | "n".to_string(), [INFO] [stdout] ... | [INFO] [stdout] 474 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 441 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 442 | "fact".to_string(), [INFO] [stdout] ... [INFO] [stdout] 473 | ) [INFO] [stdout] 474 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:515:13 [INFO] [stdout] | [INFO] [stdout] 515 | box Lambda::Term("x".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 515 - box Lambda::Term("x".to_string()), [INFO] [stdout] 515 + Box::new(Lambda::Term("x".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:516:13 [INFO] [stdout] | [INFO] [stdout] 516 | box Lambda::Term("y".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 516 - box Lambda::Term("y".to_string()), [INFO] [stdout] 516 + Box::new(Lambda::Term("y".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:514:9 [INFO] [stdout] | [INFO] [stdout] 514 | / box Lambda::App( [INFO] [stdout] 515 | | box Lambda::Term("x".to_string()), [INFO] [stdout] 516 | | box Lambda::Term("y".to_string()), [INFO] [stdout] 517 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 514 ~ Box::new(Lambda::App( [INFO] [stdout] 515 | box Lambda::Term("x".to_string()), [INFO] [stdout] 516 | box Lambda::Term("y".to_string()), [INFO] [stdout] 517 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:520:9 [INFO] [stdout] | [INFO] [stdout] 520 | box Lambda::Term("y".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 520 - box Lambda::Term("y".to_string()), [INFO] [stdout] 520 + Box::new(Lambda::Term("y".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:521:9 [INFO] [stdout] | [INFO] [stdout] 521 | box Lambda::Term("z".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 521 - box Lambda::Term("z".to_string()), [INFO] [stdout] 521 + Box::new(Lambda::Term("z".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:528:17 [INFO] [stdout] | [INFO] [stdout] 528 | box Lambda::Term("y".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 528 - box Lambda::Term("y".to_string()), [INFO] [stdout] 528 + Box::new(Lambda::Term("y".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:529:17 [INFO] [stdout] | [INFO] [stdout] 529 | box Lambda::Term("z".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 529 - box Lambda::Term("z".to_string()), [INFO] [stdout] 529 + Box::new(Lambda::Term("z".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:527:13 [INFO] [stdout] | [INFO] [stdout] 527 | / box Lambda::App( [INFO] [stdout] 528 | | box Lambda::Term("y".to_string()), [INFO] [stdout] 529 | | box Lambda::Term("z".to_string()), [INFO] [stdout] 530 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 527 ~ Box::new(Lambda::App( [INFO] [stdout] 528 | box Lambda::Term("y".to_string()), [INFO] [stdout] 529 | box Lambda::Term("z".to_string()), [INFO] [stdout] 530 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:531:13 [INFO] [stdout] | [INFO] [stdout] 531 | box Lambda::Term("b".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 531 - box Lambda::Term("b".to_string()), [INFO] [stdout] 531 + Box::new(Lambda::Term("b".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:526:9 [INFO] [stdout] | [INFO] [stdout] 526 | / box Lambda::App( [INFO] [stdout] 527 | | box Lambda::App( [INFO] [stdout] 528 | | box Lambda::Term("y".to_string()), [INFO] [stdout] 529 | | box Lambda::Term("z".to_string()), [INFO] [stdout] 530 | | ), [INFO] [stdout] 531 | | box Lambda::Term("b".to_string()), [INFO] [stdout] 532 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 526 ~ Box::new(Lambda::App( [INFO] [stdout] 527 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 531 | box Lambda::Term("b".to_string()), [INFO] [stdout] 532 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:542:17 [INFO] [stdout] | [INFO] [stdout] 542 | box cond(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 542 - box cond(), [INFO] [stdout] 542 + Box::new(cond()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:543:17 [INFO] [stdout] | [INFO] [stdout] 543 | box t(), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 543 - box t(), [INFO] [stdout] 543 + Box::new(t()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:541:13 [INFO] [stdout] | [INFO] [stdout] 541 | / box Lambda::App( [INFO] [stdout] 542 | | box cond(), [INFO] [stdout] 543 | | box t(), [INFO] [stdout] 544 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 541 ~ Box::new(Lambda::App( [INFO] [stdout] 542 | box cond(), [INFO] [stdout] 543 | box t(), [INFO] [stdout] 544 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:545:13 [INFO] [stdout] | [INFO] [stdout] 545 | box Lambda::Term("A".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 545 - box Lambda::Term("A".to_string()), [INFO] [stdout] 545 + Box::new(Lambda::Term("A".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:540:9 [INFO] [stdout] | [INFO] [stdout] 540 | / box Lambda::App( [INFO] [stdout] 541 | | box Lambda::App( [INFO] [stdout] 542 | | box cond(), [INFO] [stdout] 543 | | box t(), [INFO] [stdout] 544 | | ), [INFO] [stdout] 545 | | box Lambda::Term("A".to_string()), [INFO] [stdout] 546 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 540 ~ Box::new(Lambda::App( [INFO] [stdout] 541 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 545 | box Lambda::Term("A".to_string()), [INFO] [stdout] 546 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:547:9 [INFO] [stdout] | [INFO] [stdout] 547 | box Lambda::Term("B".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 547 - box Lambda::Term("B".to_string()), [INFO] [stdout] 547 + Box::new(Lambda::Term("B".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:558:17 [INFO] [stdout] | [INFO] [stdout] 558 | box cond(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 558 - box cond(), [INFO] [stdout] 558 + Box::new(cond()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:559:17 [INFO] [stdout] | [INFO] [stdout] 559 | box t(), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 559 - box t(), [INFO] [stdout] 559 + Box::new(t()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:557:13 [INFO] [stdout] | [INFO] [stdout] 557 | / box Lambda::App( [INFO] [stdout] 558 | | box cond(), [INFO] [stdout] 559 | | box t(), [INFO] [stdout] 560 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 557 ~ Box::new(Lambda::App( [INFO] [stdout] 558 | box cond(), [INFO] [stdout] 559 | box t(), [INFO] [stdout] 560 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:561:13 [INFO] [stdout] | [INFO] [stdout] 561 | box Lambda::Term("A".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 561 - box Lambda::Term("A".to_string()), [INFO] [stdout] 561 + Box::new(Lambda::Term("A".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:556:9 [INFO] [stdout] | [INFO] [stdout] 556 | / box Lambda::App( [INFO] [stdout] 557 | | box Lambda::App( [INFO] [stdout] 558 | | box cond(), [INFO] [stdout] 559 | | box t(), [INFO] [stdout] 560 | | ), [INFO] [stdout] 561 | | box Lambda::Term("A".to_string()), [INFO] [stdout] 562 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 556 ~ Box::new(Lambda::App( [INFO] [stdout] 557 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 561 | box Lambda::Term("A".to_string()), [INFO] [stdout] 562 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:563:9 [INFO] [stdout] | [INFO] [stdout] 563 | box Lambda::Term("B".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 563 - box Lambda::Term("B".to_string()), [INFO] [stdout] 563 + Box::new(Lambda::Term("B".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:574:17 [INFO] [stdout] | [INFO] [stdout] 574 | box cond(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 574 - box cond(), [INFO] [stdout] 574 + Box::new(cond()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:575:17 [INFO] [stdout] | [INFO] [stdout] 575 | box f(), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 575 - box f(), [INFO] [stdout] 575 + Box::new(f()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:573:13 [INFO] [stdout] | [INFO] [stdout] 573 | / box Lambda::App( [INFO] [stdout] 574 | | box cond(), [INFO] [stdout] 575 | | box f(), [INFO] [stdout] 576 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 573 ~ Box::new(Lambda::App( [INFO] [stdout] 574 | box cond(), [INFO] [stdout] 575 | box f(), [INFO] [stdout] 576 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:577:13 [INFO] [stdout] | [INFO] [stdout] 577 | box Lambda::Term("A".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 577 - box Lambda::Term("A".to_string()), [INFO] [stdout] 577 + Box::new(Lambda::Term("A".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:572:9 [INFO] [stdout] | [INFO] [stdout] 572 | / box Lambda::App( [INFO] [stdout] 573 | | box Lambda::App( [INFO] [stdout] 574 | | box cond(), [INFO] [stdout] 575 | | box f(), [INFO] [stdout] 576 | | ), [INFO] [stdout] 577 | | box Lambda::Term("A".to_string()), [INFO] [stdout] 578 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 572 ~ Box::new(Lambda::App( [INFO] [stdout] 573 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 577 | box Lambda::Term("A".to_string()), [INFO] [stdout] 578 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:579:9 [INFO] [stdout] | [INFO] [stdout] 579 | box Lambda::Term("B".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 579 - box Lambda::Term("B".to_string()), [INFO] [stdout] 579 + Box::new(Lambda::Term("B".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:590:17 [INFO] [stdout] | [INFO] [stdout] 590 | box cond(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 590 - box cond(), [INFO] [stdout] 590 + Box::new(cond()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:591:17 [INFO] [stdout] | [INFO] [stdout] 591 | box f(), [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 591 - box f(), [INFO] [stdout] 591 + Box::new(f()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:589:13 [INFO] [stdout] | [INFO] [stdout] 589 | / box Lambda::App( [INFO] [stdout] 590 | | box cond(), [INFO] [stdout] 591 | | box f(), [INFO] [stdout] 592 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 589 ~ Box::new(Lambda::App( [INFO] [stdout] 590 | box cond(), [INFO] [stdout] 591 | box f(), [INFO] [stdout] 592 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:593:13 [INFO] [stdout] | [INFO] [stdout] 593 | box Lambda::Term("A".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 593 - box Lambda::Term("A".to_string()), [INFO] [stdout] 593 + Box::new(Lambda::Term("A".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:588:9 [INFO] [stdout] | [INFO] [stdout] 588 | / box Lambda::App( [INFO] [stdout] 589 | | box Lambda::App( [INFO] [stdout] 590 | | box cond(), [INFO] [stdout] 591 | | box f(), [INFO] [stdout] 592 | | ), [INFO] [stdout] 593 | | box Lambda::Term("A".to_string()), [INFO] [stdout] 594 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 588 ~ Box::new(Lambda::App( [INFO] [stdout] 589 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 593 | box Lambda::Term("A".to_string()), [INFO] [stdout] 594 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:595:9 [INFO] [stdout] | [INFO] [stdout] 595 | box Lambda::Term("B".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 595 - box Lambda::Term("B".to_string()), [INFO] [stdout] 595 + Box::new(Lambda::Term("B".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:604:9 [INFO] [stdout] | [INFO] [stdout] 604 | box succ(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 604 - box succ(), [INFO] [stdout] 604 + Box::new(succ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:605:9 [INFO] [stdout] | [INFO] [stdout] 605 | box zero(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 605 - box zero(), [INFO] [stdout] 605 + Box::new(zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:614:9 [INFO] [stdout] | [INFO] [stdout] 614 | box succ(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 614 - box succ(), [INFO] [stdout] 614 + Box::new(succ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:615:9 [INFO] [stdout] | [INFO] [stdout] 615 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 615 - box one(), [INFO] [stdout] 615 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:625:9 [INFO] [stdout] | [INFO] [stdout] 625 | box succ(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 625 - box succ(), [INFO] [stdout] 625 + Box::new(succ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:626:9 [INFO] [stdout] | [INFO] [stdout] 626 | box two(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 626 - box two(), [INFO] [stdout] 626 + Box::new(two()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:636:9 [INFO] [stdout] | [INFO] [stdout] 636 | box succ(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 636 - box succ(), [INFO] [stdout] 636 + Box::new(succ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:638:13 [INFO] [stdout] | [INFO] [stdout] 638 | box succ(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 638 - box succ(), [INFO] [stdout] 638 + Box::new(succ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:639:13 [INFO] [stdout] | [INFO] [stdout] 639 | box zero(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 639 - box zero(), [INFO] [stdout] 639 + Box::new(zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:637:9 [INFO] [stdout] | [INFO] [stdout] 637 | / box Lambda::App( [INFO] [stdout] 638 | | box succ(), [INFO] [stdout] 639 | | box zero(), [INFO] [stdout] 640 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 637 ~ Box::new(Lambda::App( [INFO] [stdout] 638 | box succ(), [INFO] [stdout] 639 | box zero(), [INFO] [stdout] 640 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:649:10 [INFO] [stdout] | [INFO] [stdout] 649 | box succ(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 649 - box succ(), [INFO] [stdout] 649 + Box::new(succ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:651:13 [INFO] [stdout] | [INFO] [stdout] 651 | box succ(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 651 - box succ(), [INFO] [stdout] 651 + Box::new(succ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:653:17 [INFO] [stdout] | [INFO] [stdout] 653 | box succ(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 653 - box succ(), [INFO] [stdout] 653 + Box::new(succ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:654:17 [INFO] [stdout] | [INFO] [stdout] 654 | box zero(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 654 - box zero(), [INFO] [stdout] 654 + Box::new(zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:652:13 [INFO] [stdout] | [INFO] [stdout] 652 | / box Lambda::App( [INFO] [stdout] 653 | | box succ(), [INFO] [stdout] 654 | | box zero(), [INFO] [stdout] 655 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 652 ~ Box::new(Lambda::App( [INFO] [stdout] 653 | box succ(), [INFO] [stdout] 654 | box zero(), [INFO] [stdout] 655 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:650:10 [INFO] [stdout] | [INFO] [stdout] 650 | / box Lambda::App( [INFO] [stdout] 651 | | box succ(), [INFO] [stdout] 652 | | box Lambda::App( [INFO] [stdout] 653 | | box succ(), [INFO] [stdout] ... | [INFO] [stdout] 656 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 650 ~ Box::new(Lambda::App( [INFO] [stdout] 651 | box succ(), [INFO] [stdout] ... [INFO] [stdout] 655 | ) [INFO] [stdout] 656 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:673:13 [INFO] [stdout] | [INFO] [stdout] 673 | box add(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 673 - box add(), [INFO] [stdout] 673 + Box::new(add()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:674:13 [INFO] [stdout] | [INFO] [stdout] 674 | box zero(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 674 - box zero(), [INFO] [stdout] 674 + Box::new(zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:672:9 [INFO] [stdout] | [INFO] [stdout] 672 | / box Lambda::App( [INFO] [stdout] 673 | | box add(), [INFO] [stdout] 674 | | box zero(), [INFO] [stdout] 675 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 672 ~ Box::new(Lambda::App( [INFO] [stdout] 673 | box add(), [INFO] [stdout] 674 | box zero(), [INFO] [stdout] 675 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:676:9 [INFO] [stdout] | [INFO] [stdout] 676 | box zero(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 676 - box zero(), [INFO] [stdout] 676 + Box::new(zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:686:13 [INFO] [stdout] | [INFO] [stdout] 686 | box add(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 686 - box add(), [INFO] [stdout] 686 + Box::new(add()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:687:13 [INFO] [stdout] | [INFO] [stdout] 687 | box zero(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 687 - box zero(), [INFO] [stdout] 687 + Box::new(zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:685:9 [INFO] [stdout] | [INFO] [stdout] 685 | / box Lambda::App( [INFO] [stdout] 686 | | box add(), [INFO] [stdout] 687 | | box zero(), [INFO] [stdout] 688 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 685 ~ Box::new(Lambda::App( [INFO] [stdout] 686 | box add(), [INFO] [stdout] 687 | box zero(), [INFO] [stdout] 688 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:689:9 [INFO] [stdout] | [INFO] [stdout] 689 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 689 - box one(), [INFO] [stdout] 689 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:699:13 [INFO] [stdout] | [INFO] [stdout] 699 | box add(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 699 - box add(), [INFO] [stdout] 699 + Box::new(add()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:700:13 [INFO] [stdout] | [INFO] [stdout] 700 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 700 - box one(), [INFO] [stdout] 700 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:698:9 [INFO] [stdout] | [INFO] [stdout] 698 | / box Lambda::App( [INFO] [stdout] 699 | | box add(), [INFO] [stdout] 700 | | box one(), [INFO] [stdout] 701 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 698 ~ Box::new(Lambda::App( [INFO] [stdout] 699 | box add(), [INFO] [stdout] 700 | box one(), [INFO] [stdout] 701 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:702:9 [INFO] [stdout] | [INFO] [stdout] 702 | box zero(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 702 - box zero(), [INFO] [stdout] 702 + Box::new(zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:712:13 [INFO] [stdout] | [INFO] [stdout] 712 | box add(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 712 - box add(), [INFO] [stdout] 712 + Box::new(add()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:713:13 [INFO] [stdout] | [INFO] [stdout] 713 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 713 - box one(), [INFO] [stdout] 713 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:711:9 [INFO] [stdout] | [INFO] [stdout] 711 | / box Lambda::App( [INFO] [stdout] 712 | | box add(), [INFO] [stdout] 713 | | box one(), [INFO] [stdout] 714 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 711 ~ Box::new(Lambda::App( [INFO] [stdout] 712 | box add(), [INFO] [stdout] 713 | box one(), [INFO] [stdout] 714 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:715:9 [INFO] [stdout] | [INFO] [stdout] 715 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 715 - box one(), [INFO] [stdout] 715 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:725:13 [INFO] [stdout] | [INFO] [stdout] 725 | box add(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 725 - box add(), [INFO] [stdout] 725 + Box::new(add()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:728:21 [INFO] [stdout] | [INFO] [stdout] 728 | box add(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 728 - box add(), [INFO] [stdout] 728 + Box::new(add()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:729:21 [INFO] [stdout] | [INFO] [stdout] 729 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 729 - box one(), [INFO] [stdout] 729 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:727:17 [INFO] [stdout] | [INFO] [stdout] 727 | / box Lambda::App( [INFO] [stdout] 728 | | box add(), [INFO] [stdout] 729 | | box one(), [INFO] [stdout] 730 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 727 ~ Box::new(Lambda::App( [INFO] [stdout] 728 | box add(), [INFO] [stdout] 729 | box one(), [INFO] [stdout] 730 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:731:17 [INFO] [stdout] | [INFO] [stdout] 731 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 731 - box one(), [INFO] [stdout] 731 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:726:13 [INFO] [stdout] | [INFO] [stdout] 726 | / box Lambda::App( [INFO] [stdout] 727 | | box Lambda::App( [INFO] [stdout] 728 | | box add(), [INFO] [stdout] 729 | | box one(), [INFO] [stdout] 730 | | ), [INFO] [stdout] 731 | | box one(), [INFO] [stdout] 732 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 726 ~ Box::new(Lambda::App( [INFO] [stdout] 727 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 731 | box one(), [INFO] [stdout] 732 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:724:9 [INFO] [stdout] | [INFO] [stdout] 724 | / box Lambda::App( [INFO] [stdout] 725 | | box add(), [INFO] [stdout] 726 | | box Lambda::App( [INFO] [stdout] 727 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 732 | | ), [INFO] [stdout] 733 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 724 ~ Box::new(Lambda::App( [INFO] [stdout] 725 | box add(), [INFO] [stdout] ... [INFO] [stdout] 732 | ), [INFO] [stdout] 733 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:734:9 [INFO] [stdout] | [INFO] [stdout] 734 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 734 - box one(), [INFO] [stdout] 734 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:743:9 [INFO] [stdout] | [INFO] [stdout] 743 | box succ(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 743 - box succ(), [INFO] [stdout] 743 + Box::new(succ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:745:13 [INFO] [stdout] | [INFO] [stdout] 745 | box succ(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 745 - box succ(), [INFO] [stdout] 745 + Box::new(succ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:746:13 [INFO] [stdout] | [INFO] [stdout] 746 | box zero(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 746 - box zero(), [INFO] [stdout] 746 + Box::new(zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:744:9 [INFO] [stdout] | [INFO] [stdout] 744 | / box Lambda::App( [INFO] [stdout] 745 | | box succ(), [INFO] [stdout] 746 | | box zero(), [INFO] [stdout] 747 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 744 ~ Box::new(Lambda::App( [INFO] [stdout] 745 | box succ(), [INFO] [stdout] 746 | box zero(), [INFO] [stdout] 747 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:751:13 [INFO] [stdout] | [INFO] [stdout] 751 | box add(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 751 - box add(), [INFO] [stdout] 751 + Box::new(add()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:752:13 [INFO] [stdout] | [INFO] [stdout] 752 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 752 - box one(), [INFO] [stdout] 752 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:750:9 [INFO] [stdout] | [INFO] [stdout] 750 | / box Lambda::App( [INFO] [stdout] 751 | | box add(), [INFO] [stdout] 752 | | box one(), [INFO] [stdout] 753 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 750 ~ Box::new(Lambda::App( [INFO] [stdout] 751 | box add(), [INFO] [stdout] 752 | box one(), [INFO] [stdout] 753 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:754:9 [INFO] [stdout] | [INFO] [stdout] 754 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 754 - box one(), [INFO] [stdout] 754 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:764:9 [INFO] [stdout] | [INFO] [stdout] 764 | box succ(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 764 - box succ(), [INFO] [stdout] 764 + Box::new(succ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:765:9 [INFO] [stdout] | [INFO] [stdout] 765 | box zero(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 765 - box zero(), [INFO] [stdout] 765 + Box::new(zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:769:9 [INFO] [stdout] | [INFO] [stdout] 769 | box succ(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 769 - box succ(), [INFO] [stdout] 769 + Box::new(succ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:770:9 [INFO] [stdout] | [INFO] [stdout] 770 | box b1.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 770 - box b1.clone(), [INFO] [stdout] 770 + Box::new(b1.clone()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:782:13 [INFO] [stdout] | [INFO] [stdout] 782 | box Lambda::Term("x".to_string()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 782 - box Lambda::Term("x".to_string()) [INFO] [stdout] 782 + Box::new(Lambda::Term("x".to_string())) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:780:9 [INFO] [stdout] | [INFO] [stdout] 780 | / box Lambda::Abstruct( [INFO] [stdout] 781 | | "x".to_string(), [INFO] [stdout] 782 | | box Lambda::Term("x".to_string()) [INFO] [stdout] 783 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 780 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 781 | "x".to_string(), [INFO] [stdout] 782 | box Lambda::Term("x".to_string()) [INFO] [stdout] 783 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:789:13 [INFO] [stdout] | [INFO] [stdout] 789 | box Lambda::Term("x".to_string()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 789 - box Lambda::Term("x".to_string()) [INFO] [stdout] 789 + Box::new(Lambda::Term("x".to_string())) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:787:9 [INFO] [stdout] | [INFO] [stdout] 787 | / box Lambda::Abstruct( [INFO] [stdout] 788 | | "x".to_string(), [INFO] [stdout] 789 | | box Lambda::Term("x".to_string()) [INFO] [stdout] 790 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 787 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 788 | "x".to_string(), [INFO] [stdout] 789 | box Lambda::Term("x".to_string()) [INFO] [stdout] 790 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:796:13 [INFO] [stdout] | [INFO] [stdout] 796 | box Lambda::Term("x".to_string()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 796 - box Lambda::Term("x".to_string()) [INFO] [stdout] 796 + Box::new(Lambda::Term("x".to_string())) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:794:9 [INFO] [stdout] | [INFO] [stdout] 794 | / box Lambda::Abstruct( [INFO] [stdout] 795 | | "y".to_string(), [INFO] [stdout] 796 | | box Lambda::Term("x".to_string()) [INFO] [stdout] 797 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 794 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 795 | "y".to_string(), [INFO] [stdout] 796 | box Lambda::Term("x".to_string()) [INFO] [stdout] 797 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:820:13 [INFO] [stdout] | [INFO] [stdout] 820 | box add(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 820 - box add(), [INFO] [stdout] 820 + Box::new(add()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:821:13 [INFO] [stdout] | [INFO] [stdout] 821 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 821 - box one(), [INFO] [stdout] 821 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:819:9 [INFO] [stdout] | [INFO] [stdout] 819 | / box Lambda::App( [INFO] [stdout] 820 | | box add(), [INFO] [stdout] 821 | | box one(), [INFO] [stdout] 822 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 819 ~ Box::new(Lambda::App( [INFO] [stdout] 820 | box add(), [INFO] [stdout] 821 | box one(), [INFO] [stdout] 822 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:823:9 [INFO] [stdout] | [INFO] [stdout] 823 | box n.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 823 - box n.clone(), [INFO] [stdout] 823 + Box::new(n.clone()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:826:9 [INFO] [stdout] | [INFO] [stdout] 826 | box succ(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 826 - box succ(), [INFO] [stdout] 826 + Box::new(succ()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:827:9 [INFO] [stdout] | [INFO] [stdout] 827 | box n, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 827 - box n, [INFO] [stdout] 827 + Box::new(n), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:838:13 [INFO] [stdout] | [INFO] [stdout] 838 | box mul(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 838 - box mul(), [INFO] [stdout] 838 + Box::new(mul()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:839:13 [INFO] [stdout] | [INFO] [stdout] 839 | box zero(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 839 - box zero(), [INFO] [stdout] 839 + Box::new(zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:837:9 [INFO] [stdout] | [INFO] [stdout] 837 | / box Lambda::App( [INFO] [stdout] 838 | | box mul(), [INFO] [stdout] 839 | | box zero(), [INFO] [stdout] 840 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 837 ~ Box::new(Lambda::App( [INFO] [stdout] 838 | box mul(), [INFO] [stdout] 839 | box zero(), [INFO] [stdout] 840 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:841:9 [INFO] [stdout] | [INFO] [stdout] 841 | box zero(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 841 - box zero(), [INFO] [stdout] 841 + Box::new(zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:851:13 [INFO] [stdout] | [INFO] [stdout] 851 | box mul(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 851 - box mul(), [INFO] [stdout] 851 + Box::new(mul()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:852:13 [INFO] [stdout] | [INFO] [stdout] 852 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 852 - box one(), [INFO] [stdout] 852 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:850:9 [INFO] [stdout] | [INFO] [stdout] 850 | / box Lambda::App( [INFO] [stdout] 851 | | box mul(), [INFO] [stdout] 852 | | box one(), [INFO] [stdout] 853 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 850 ~ Box::new(Lambda::App( [INFO] [stdout] 851 | box mul(), [INFO] [stdout] 852 | box one(), [INFO] [stdout] 853 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:854:9 [INFO] [stdout] | [INFO] [stdout] 854 | box two(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 854 - box two(), [INFO] [stdout] 854 + Box::new(two()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:864:13 [INFO] [stdout] | [INFO] [stdout] 864 | box mul(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 864 - box mul(), [INFO] [stdout] 864 + Box::new(mul()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:865:13 [INFO] [stdout] | [INFO] [stdout] 865 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 865 - box one(), [INFO] [stdout] 865 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:863:9 [INFO] [stdout] | [INFO] [stdout] 863 | / box Lambda::App( [INFO] [stdout] 864 | | box mul(), [INFO] [stdout] 865 | | box one(), [INFO] [stdout] 866 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 863 ~ Box::new(Lambda::App( [INFO] [stdout] 864 | box mul(), [INFO] [stdout] 865 | box one(), [INFO] [stdout] 866 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:867:9 [INFO] [stdout] | [INFO] [stdout] 867 | box zero(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 867 - box zero(), [INFO] [stdout] 867 + Box::new(zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:877:13 [INFO] [stdout] | [INFO] [stdout] 877 | box mul(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 877 - box mul(), [INFO] [stdout] 877 + Box::new(mul()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:878:13 [INFO] [stdout] | [INFO] [stdout] 878 | box n(2), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 878 - box n(2), [INFO] [stdout] 878 + Box::new(n(2)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:876:9 [INFO] [stdout] | [INFO] [stdout] 876 | / box Lambda::App( [INFO] [stdout] 877 | | box mul(), [INFO] [stdout] 878 | | box n(2), [INFO] [stdout] 879 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 876 ~ Box::new(Lambda::App( [INFO] [stdout] 877 | box mul(), [INFO] [stdout] 878 | box n(2), [INFO] [stdout] 879 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:880:9 [INFO] [stdout] | [INFO] [stdout] 880 | box n(4), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 880 - box n(4), [INFO] [stdout] 880 + Box::new(n(4)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:891:13 [INFO] [stdout] | [INFO] [stdout] 891 | box mul(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 891 - box mul(), [INFO] [stdout] 891 + Box::new(mul()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:892:13 [INFO] [stdout] | [INFO] [stdout] 892 | box n(5), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 892 - box n(5), [INFO] [stdout] 892 + Box::new(n(5)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:890:9 [INFO] [stdout] | [INFO] [stdout] 890 | / box Lambda::App( [INFO] [stdout] 891 | | box mul(), [INFO] [stdout] 892 | | box n(5), [INFO] [stdout] 893 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 890 ~ Box::new(Lambda::App( [INFO] [stdout] 891 | box mul(), [INFO] [stdout] 892 | box n(5), [INFO] [stdout] 893 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:894:9 [INFO] [stdout] | [INFO] [stdout] 894 | box n(10), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 894 - box n(10), [INFO] [stdout] 894 + Box::new(n(10)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:904:13 [INFO] [stdout] | [INFO] [stdout] 904 | box mul(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 904 - box mul(), [INFO] [stdout] 904 + Box::new(mul()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:907:21 [INFO] [stdout] | [INFO] [stdout] 907 | box mul(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 907 - box mul(), [INFO] [stdout] 907 + Box::new(mul()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:908:21 [INFO] [stdout] | [INFO] [stdout] 908 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 908 - box one(), [INFO] [stdout] 908 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:906:17 [INFO] [stdout] | [INFO] [stdout] 906 | / box Lambda::App( [INFO] [stdout] 907 | | box mul(), [INFO] [stdout] 908 | | box one(), [INFO] [stdout] 909 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 906 ~ Box::new(Lambda::App( [INFO] [stdout] 907 | box mul(), [INFO] [stdout] 908 | box one(), [INFO] [stdout] 909 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:910:17 [INFO] [stdout] | [INFO] [stdout] 910 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 910 - box one(), [INFO] [stdout] 910 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:905:13 [INFO] [stdout] | [INFO] [stdout] 905 | / box Lambda::App( [INFO] [stdout] 906 | | box Lambda::App( [INFO] [stdout] 907 | | box mul(), [INFO] [stdout] 908 | | box one(), [INFO] [stdout] 909 | | ), [INFO] [stdout] 910 | | box one(), [INFO] [stdout] 911 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 905 ~ Box::new(Lambda::App( [INFO] [stdout] 906 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 910 | box one(), [INFO] [stdout] 911 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:903:9 [INFO] [stdout] | [INFO] [stdout] 903 | / box Lambda::App( [INFO] [stdout] 904 | | box mul(), [INFO] [stdout] 905 | | box Lambda::App( [INFO] [stdout] 906 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 911 | | ), [INFO] [stdout] 912 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 903 ~ Box::new(Lambda::App( [INFO] [stdout] 904 | box mul(), [INFO] [stdout] ... [INFO] [stdout] 911 | ), [INFO] [stdout] 912 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:913:9 [INFO] [stdout] | [INFO] [stdout] 913 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 913 - box one(), [INFO] [stdout] 913 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:924:13 [INFO] [stdout] | [INFO] [stdout] 924 | box mul(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 924 - box mul(), [INFO] [stdout] 924 + Box::new(mul()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:927:21 [INFO] [stdout] | [INFO] [stdout] 927 | box mul(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 927 - box mul(), [INFO] [stdout] 927 + Box::new(mul()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:928:21 [INFO] [stdout] | [INFO] [stdout] 928 | box n(2), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 928 - box n(2), [INFO] [stdout] 928 + Box::new(n(2)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:926:17 [INFO] [stdout] | [INFO] [stdout] 926 | / box Lambda::App( [INFO] [stdout] 927 | | box mul(), [INFO] [stdout] 928 | | box n(2), [INFO] [stdout] 929 | | ), [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 926 ~ Box::new(Lambda::App( [INFO] [stdout] 927 | box mul(), [INFO] [stdout] 928 | box n(2), [INFO] [stdout] 929 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:930:17 [INFO] [stdout] | [INFO] [stdout] 930 | box n(2), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 930 - box n(2), [INFO] [stdout] 930 + Box::new(n(2)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:925:13 [INFO] [stdout] | [INFO] [stdout] 925 | / box Lambda::App( [INFO] [stdout] 926 | | box Lambda::App( [INFO] [stdout] 927 | | box mul(), [INFO] [stdout] 928 | | box n(2), [INFO] [stdout] 929 | | ), [INFO] [stdout] 930 | | box n(2), [INFO] [stdout] 931 | | ), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 925 ~ Box::new(Lambda::App( [INFO] [stdout] 926 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 930 | box n(2), [INFO] [stdout] 931 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:923:9 [INFO] [stdout] | [INFO] [stdout] 923 | / box Lambda::App( [INFO] [stdout] 924 | | box mul(), [INFO] [stdout] 925 | | box Lambda::App( [INFO] [stdout] 926 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 931 | | ), [INFO] [stdout] 932 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 923 ~ Box::new(Lambda::App( [INFO] [stdout] 924 | box mul(), [INFO] [stdout] ... [INFO] [stdout] 931 | ), [INFO] [stdout] 932 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:933:9 [INFO] [stdout] | [INFO] [stdout] 933 | box n(2), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 933 - box n(2), [INFO] [stdout] 933 + Box::new(n(2)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:943:13 [INFO] [stdout] | [INFO] [stdout] 943 | box exp(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 943 - box exp(), [INFO] [stdout] 943 + Box::new(exp()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:944:13 [INFO] [stdout] | [INFO] [stdout] 944 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 944 - box one(), [INFO] [stdout] 944 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:942:9 [INFO] [stdout] | [INFO] [stdout] 942 | / box Lambda::App( [INFO] [stdout] 943 | | box exp(), [INFO] [stdout] 944 | | box one(), [INFO] [stdout] 945 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 942 ~ Box::new(Lambda::App( [INFO] [stdout] 943 | box exp(), [INFO] [stdout] 944 | box one(), [INFO] [stdout] 945 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:946:9 [INFO] [stdout] | [INFO] [stdout] 946 | box n(1), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 946 - box n(1), [INFO] [stdout] 946 + Box::new(n(1)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:956:13 [INFO] [stdout] | [INFO] [stdout] 956 | box exp(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 956 - box exp(), [INFO] [stdout] 956 + Box::new(exp()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:957:13 [INFO] [stdout] | [INFO] [stdout] 957 | box n(2), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 957 - box n(2), [INFO] [stdout] 957 + Box::new(n(2)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:955:9 [INFO] [stdout] | [INFO] [stdout] 955 | / box Lambda::App( [INFO] [stdout] 956 | | box exp(), [INFO] [stdout] 957 | | box n(2), [INFO] [stdout] 958 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 955 ~ Box::new(Lambda::App( [INFO] [stdout] 956 | box exp(), [INFO] [stdout] 957 | box n(2), [INFO] [stdout] 958 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:959:9 [INFO] [stdout] | [INFO] [stdout] 959 | box n(1), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 959 - box n(1), [INFO] [stdout] 959 + Box::new(n(1)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:968:9 [INFO] [stdout] | [INFO] [stdout] 968 | box is_zero(), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 968 - box is_zero(), [INFO] [stdout] 968 + Box::new(is_zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:969:9 [INFO] [stdout] | [INFO] [stdout] 969 | box zero(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 969 - box zero(), [INFO] [stdout] 969 + Box::new(zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:975:9 [INFO] [stdout] | [INFO] [stdout] 975 | box is_zero(), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 975 - box is_zero(), [INFO] [stdout] 975 + Box::new(is_zero()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:976:9 [INFO] [stdout] | [INFO] [stdout] 976 | box n(100), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 976 - box n(100), [INFO] [stdout] 976 + Box::new(n(100)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:996:33 [INFO] [stdout] | [INFO] [stdout] 996 | ... box Lambda::Term("P".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 996 - box Lambda::Term("P".to_string()), [INFO] [stdout] 996 + Box::new(Lambda::Term("P".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:997:33 [INFO] [stdout] | [INFO] [stdout] 997 | ... box Lambda::Term("x_1".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 997 - box Lambda::Term("x_1".to_string()), [INFO] [stdout] 997 + Box::new(Lambda::Term("x_1".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:995:29 [INFO] [stdout] | [INFO] [stdout] 995 | / ... box Lambda::App( [INFO] [stdout] 996 | | ... box Lambda::Term("P".to_string()), [INFO] [stdout] 997 | | ... box Lambda::Term("x_1".to_string()), [INFO] [stdout] 998 | | ... ), [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 995 ~ Box::new(Lambda::App( [INFO] [stdout] 996 | box Lambda::Term("P".to_string()), [INFO] [stdout] 997 | box Lambda::Term("x_1".to_string()), [INFO] [stdout] 998 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:999:29 [INFO] [stdout] | [INFO] [stdout] 999 | ... box Lambda::Term("x_2".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 999 - box Lambda::Term("x_2".to_string()), [INFO] [stdout] 999 + Box::new(Lambda::Term("x_2".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:994:25 [INFO] [stdout] | [INFO] [stdout] 994 | / box Lambda::App( [INFO] [stdout] 995 | | box Lambda::App( [INFO] [stdout] 996 | | box Lambda::Term("P".to_string()), [INFO] [stdout] 997 | | box Lambda::Term("x_1".to_string()), [INFO] [stdout] 998 | | ), [INFO] [stdout] 999 | | box Lambda::Term("x_2".to_string()), [INFO] [stdout] 1000 | | ), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 994 ~ Box::new(Lambda::App( [INFO] [stdout] 995 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 999 | box Lambda::Term("x_2".to_string()), [INFO] [stdout] 1000 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1001:25 [INFO] [stdout] | [INFO] [stdout] 1001 | box Lambda::Term("x_3".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1001 - box Lambda::Term("x_3".to_string()), [INFO] [stdout] 1001 + Box::new(Lambda::Term("x_3".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:993:21 [INFO] [stdout] | [INFO] [stdout] 993 | / box Lambda::App( [INFO] [stdout] 994 | | box Lambda::App( [INFO] [stdout] 995 | | box Lambda::App( [INFO] [stdout] 996 | | box Lambda::Term("P".to_string()), [INFO] [stdout] ... | [INFO] [stdout] 1001 | | box Lambda::Term("x_3".to_string()), [INFO] [stdout] 1002 | | ) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 993 ~ Box::new(Lambda::App( [INFO] [stdout] 994 | box Lambda::App( [INFO] [stdout] ... [INFO] [stdout] 1001 | box Lambda::Term("x_3".to_string()), [INFO] [stdout] 1002 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:991:16 [INFO] [stdout] | [INFO] [stdout] 991 | / box Lambda::Abstruct( [INFO] [stdout] 992 | | "P".to_string(), [INFO] [stdout] 993 | | box Lambda::App( [INFO] [stdout] 994 | | box Lambda::App( [INFO] [stdout] ... | [INFO] [stdout] 1003 | | ) [INFO] [stdout] | |________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 991 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 992 | "P".to_string(), [INFO] [stdout] ... [INFO] [stdout] 1002 | ) [INFO] [stdout] 1003 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:989:12 [INFO] [stdout] | [INFO] [stdout] 989 | / box Lambda::Abstruct( [INFO] [stdout] 990 | | "x_3".to_string(), [INFO] [stdout] 991 | | box Lambda::Abstruct( [INFO] [stdout] 992 | | "P".to_string(), [INFO] [stdout] ... | [INFO] [stdout] 1004 | | ) [INFO] [stdout] | |____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 989 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 990 | "x_3".to_string(), [INFO] [stdout] ... [INFO] [stdout] 1003 | ) [INFO] [stdout] 1004 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:987:9 [INFO] [stdout] | [INFO] [stdout] 987 | / box Lambda::Abstruct( [INFO] [stdout] 988 | | "x_2".to_string(), [INFO] [stdout] 989 | | box Lambda::Abstruct( [INFO] [stdout] 990 | | "x_3".to_string(), [INFO] [stdout] ... | [INFO] [stdout] 1005 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 987 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 988 | "x_2".to_string(), [INFO] [stdout] ... [INFO] [stdout] 1004 | ) [INFO] [stdout] 1005 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1018:17 [INFO] [stdout] | [INFO] [stdout] 1018 | box Lambda::Term("P".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1018 - box Lambda::Term("P".to_string()), [INFO] [stdout] 1018 + Box::new(Lambda::Term("P".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1019:17 [INFO] [stdout] | [INFO] [stdout] 1019 | box Lambda::Term("x_1".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1019 - box Lambda::Term("x_1".to_string()), [INFO] [stdout] 1019 + Box::new(Lambda::Term("x_1".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1017:13 [INFO] [stdout] | [INFO] [stdout] 1017 | / box Lambda::App( [INFO] [stdout] 1018 | | box Lambda::Term("P".to_string()), [INFO] [stdout] 1019 | | box Lambda::Term("x_1".to_string()), [INFO] [stdout] 1020 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1017 ~ Box::new(Lambda::App( [INFO] [stdout] 1018 | box Lambda::Term("P".to_string()), [INFO] [stdout] 1019 | box Lambda::Term("x_1".to_string()), [INFO] [stdout] 1020 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1015:9 [INFO] [stdout] | [INFO] [stdout] 1015 | / box Lambda::Abstruct( [INFO] [stdout] 1016 | | "P".to_string(), [INFO] [stdout] 1017 | | box Lambda::App( [INFO] [stdout] 1018 | | box Lambda::Term("P".to_string()), [INFO] [stdout] ... | [INFO] [stdout] 1021 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1015 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 1016 | "P".to_string(), [INFO] [stdout] ... [INFO] [stdout] 1020 | ) [INFO] [stdout] 1021 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1033:13 [INFO] [stdout] | [INFO] [stdout] 1033 | box Lambda::Term("x_1".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1033 - box Lambda::Term("x_1".to_string()), [INFO] [stdout] 1033 + Box::new(Lambda::Term("x_1".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1031:9 [INFO] [stdout] | [INFO] [stdout] 1031 | / box Lambda::Abstruct( [INFO] [stdout] 1032 | | "x_2".to_string(), [INFO] [stdout] 1033 | | box Lambda::Term("x_1".to_string()), [INFO] [stdout] 1034 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1031 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 1032 | "x_2".to_string(), [INFO] [stdout] 1033 | box Lambda::Term("x_1".to_string()), [INFO] [stdout] 1034 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1047:13 [INFO] [stdout] | [INFO] [stdout] 1047 | box Lambda::Term("x_2".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1047 - box Lambda::Term("x_2".to_string()), [INFO] [stdout] 1047 + Box::new(Lambda::Term("x_2".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1045:9 [INFO] [stdout] | [INFO] [stdout] 1045 | / box Lambda::Abstruct( [INFO] [stdout] 1046 | | "x_2".to_string(), [INFO] [stdout] 1047 | | box Lambda::Term("x_2".to_string()), [INFO] [stdout] 1048 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1045 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 1046 | "x_2".to_string(), [INFO] [stdout] 1047 | box Lambda::Term("x_2".to_string()), [INFO] [stdout] 1048 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1066:25 [INFO] [stdout] | [INFO] [stdout] 1066 | box Lambda::Term("x_2".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1066 - box Lambda::Term("x_2".to_string()), [INFO] [stdout] 1066 + Box::new(Lambda::Term("x_2".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1064:21 [INFO] [stdout] | [INFO] [stdout] 1064 | / box Lambda::Abstruct( [INFO] [stdout] 1065 | | "x_5".to_string(), [INFO] [stdout] 1066 | | box Lambda::Term("x_2".to_string()), [INFO] [stdout] 1067 | | ) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1064 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 1065 | "x_5".to_string(), [INFO] [stdout] 1066 | box Lambda::Term("x_2".to_string()), [INFO] [stdout] 1067 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1062:17 [INFO] [stdout] | [INFO] [stdout] 1062 | / box Lambda::Abstruct( [INFO] [stdout] 1063 | | "x_4".to_string(), [INFO] [stdout] 1064 | | box Lambda::Abstruct( [INFO] [stdout] 1065 | | "x_5".to_string(), [INFO] [stdout] ... | [INFO] [stdout] 1068 | | ) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1062 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 1063 | "x_4".to_string(), [INFO] [stdout] ... [INFO] [stdout] 1067 | ) [INFO] [stdout] 1068 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1060:13 [INFO] [stdout] | [INFO] [stdout] 1060 | / box Lambda::Abstruct( [INFO] [stdout] 1061 | | "x_3".to_string(), [INFO] [stdout] 1062 | | box Lambda::Abstruct( [INFO] [stdout] 1063 | | "x_4".to_string(), [INFO] [stdout] ... | [INFO] [stdout] 1069 | | ) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1060 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 1061 | "x_3".to_string(), [INFO] [stdout] ... [INFO] [stdout] 1068 | ) [INFO] [stdout] 1069 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1058:9 [INFO] [stdout] | [INFO] [stdout] 1058 | / box Lambda::Abstruct( [INFO] [stdout] 1059 | | "x_2".to_string(), [INFO] [stdout] 1060 | | box Lambda::Abstruct( [INFO] [stdout] 1061 | | "x_3".to_string(), [INFO] [stdout] ... | [INFO] [stdout] 1070 | | ) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1058 ~ Box::new(Lambda::Abstruct( [INFO] [stdout] 1059 | "x_2".to_string(), [INFO] [stdout] ... [INFO] [stdout] 1069 | ) [INFO] [stdout] 1070 ~ )) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1080:13 [INFO] [stdout] | [INFO] [stdout] 1080 | box prod_n(2), [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1080 - box prod_n(2), [INFO] [stdout] 1080 + Box::new(prod_n(2)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1081:13 [INFO] [stdout] | [INFO] [stdout] 1081 | box Lambda::Term("M_1".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1081 - box Lambda::Term("M_1".to_string()), [INFO] [stdout] 1081 + Box::new(Lambda::Term("M_1".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1079:9 [INFO] [stdout] | [INFO] [stdout] 1079 | / box Lambda::App( [INFO] [stdout] 1080 | | box prod_n(2), [INFO] [stdout] 1081 | | box Lambda::Term("M_1".to_string()), [INFO] [stdout] 1082 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1079 ~ Box::new(Lambda::App( [INFO] [stdout] 1080 | box prod_n(2), [INFO] [stdout] 1081 | box Lambda::Term("M_1".to_string()), [INFO] [stdout] 1082 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1083:9 [INFO] [stdout] | [INFO] [stdout] 1083 | box Lambda::Term("M_2".to_string()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1083 - box Lambda::Term("M_2".to_string()), [INFO] [stdout] 1083 + Box::new(Lambda::Term("M_2".to_string())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1086:9 [INFO] [stdout] | [INFO] [stdout] 1086 | box p, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1086 - box p, [INFO] [stdout] 1086 + Box::new(p), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1087:9 [INFO] [stdout] | [INFO] [stdout] 1087 | box prod_n_i(2,1), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1087 - box prod_n_i(2,1), [INFO] [stdout] 1087 + Box::new(prod_n_i(2,1)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1098:9 [INFO] [stdout] | [INFO] [stdout] 1098 | box pred(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1098 - box pred(), [INFO] [stdout] 1098 + Box::new(pred()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1099:9 [INFO] [stdout] | [INFO] [stdout] 1099 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1099 - box one(), [INFO] [stdout] 1099 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1108:9 [INFO] [stdout] | [INFO] [stdout] 1108 | box pred(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1108 - box pred(), [INFO] [stdout] 1108 + Box::new(pred()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1109:9 [INFO] [stdout] | [INFO] [stdout] 1109 | box two(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1109 - box two(), [INFO] [stdout] 1109 + Box::new(two()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1119:13 [INFO] [stdout] | [INFO] [stdout] 1119 | box sub(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1119 - box sub(), [INFO] [stdout] 1119 + Box::new(sub()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1120:13 [INFO] [stdout] | [INFO] [stdout] 1120 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1120 - box one(), [INFO] [stdout] 1120 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1118:9 [INFO] [stdout] | [INFO] [stdout] 1118 | / box Lambda::App( [INFO] [stdout] 1119 | | box sub(), [INFO] [stdout] 1120 | | box one(), [INFO] [stdout] 1121 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1118 ~ Box::new(Lambda::App( [INFO] [stdout] 1119 | box sub(), [INFO] [stdout] 1120 | box one(), [INFO] [stdout] 1121 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1122:9 [INFO] [stdout] | [INFO] [stdout] 1122 | box one(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1122 - box one(), [INFO] [stdout] 1122 + Box::new(one()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1132:13 [INFO] [stdout] | [INFO] [stdout] 1132 | box sub(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1132 - box sub(), [INFO] [stdout] 1132 + Box::new(sub()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1133:13 [INFO] [stdout] | [INFO] [stdout] 1133 | box n(5), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1133 - box n(5), [INFO] [stdout] 1133 + Box::new(n(5)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1131:9 [INFO] [stdout] | [INFO] [stdout] 1131 | / box Lambda::App( [INFO] [stdout] 1132 | | box sub(), [INFO] [stdout] 1133 | | box n(5), [INFO] [stdout] 1134 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1131 ~ Box::new(Lambda::App( [INFO] [stdout] 1132 | box sub(), [INFO] [stdout] 1133 | box n(5), [INFO] [stdout] 1134 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1135:9 [INFO] [stdout] | [INFO] [stdout] 1135 | box n(1), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1135 - box n(1), [INFO] [stdout] 1135 + Box::new(n(1)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1145:13 [INFO] [stdout] | [INFO] [stdout] 1145 | box sub(), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1145 - box sub(), [INFO] [stdout] 1145 + Box::new(sub()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1146:13 [INFO] [stdout] | [INFO] [stdout] 1146 | box n(5), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1146 - box n(5), [INFO] [stdout] 1146 + Box::new(n(5)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1144:9 [INFO] [stdout] | [INFO] [stdout] 1144 | / box Lambda::App( [INFO] [stdout] 1145 | | box sub(), [INFO] [stdout] 1146 | | box n(5), [INFO] [stdout] 1147 | | ), [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1144 ~ Box::new(Lambda::App( [INFO] [stdout] 1145 | box sub(), [INFO] [stdout] 1146 | box n(5), [INFO] [stdout] 1147 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1148:9 [INFO] [stdout] | [INFO] [stdout] 1148 | box n(3), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1148 - box n(3), [INFO] [stdout] 1148 + Box::new(n(3)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1157:9 [INFO] [stdout] | [INFO] [stdout] 1157 | box fact(), [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1157 - box fact(), [INFO] [stdout] 1157 + Box::new(fact()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/main.rs:1158:9 [INFO] [stdout] | [INFO] [stdout] 1158 | box n(3), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1158 - box n(3), [INFO] [stdout] 1158 + Box::new(n(3)), [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 for more information [INFO] [stdout] = note: replaced with `#[rustc_box]` [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[E0635]: unknown feature `vec_remove_item` [INFO] [stdout] --> src/main.rs:4:12 [INFO] [stdout] | [INFO] [stdout] 4 | #![feature(vec_remove_item)] [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/main.rs:47:9 [INFO] [stdout] | [INFO] [stdout] 47 | _ => vec![] [INFO] [stdout] | ^ no value can reach this [INFO] [stdout] | [INFO] [stdout] note: multiple earlier patterns match some of the same values [INFO] [stdout] --> src/main.rs:47:9 [INFO] [stdout] | [INFO] [stdout] 37 | Lambda::Term(var) => vec![var.clone()], [INFO] [stdout] | ----------------- matches some of the same values [INFO] [stdout] 38 | Lambda::App(box e1,box e2) => { [INFO] [stdout] | -------------------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 43 | Lambda::Abstruct(var,box m) => { [INFO] [stdout] | --------------------------- matches some of the same values [INFO] [stdout] ... [INFO] [stdout] 47 | _ => vec![] [INFO] [stdout] | ^ collectively making this unreachable [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0557, E0635. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stderr] error: could not compile `untyped_lambda` (bin "untyped_lambda") due to 344 previous errors; 2 warnings emitted [INFO] running `Command { std: "docker" "inspect" "028d399274669a95d53d30620d60ee175e7da8ce841d37a0cdd1027fafe18278", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "028d399274669a95d53d30620d60ee175e7da8ce841d37a0cdd1027fafe18278", kill_on_drop: false }` [INFO] [stdout] 028d399274669a95d53d30620d60ee175e7da8ce841d37a0cdd1027fafe18278