[INFO] fetching crate lalrpop-lambda 0.6.1... [INFO] checking lalrpop-lambda-0.6.1 against master#f609b7e0586f81fefb3523e3e17adf779ac416be for pr-129466-2 [INFO] extracting crate lalrpop-lambda 0.6.1 into /workspace/builds/worker-5-tc1/source [INFO] validating manifest of crates.io crate lalrpop-lambda 0.6.1 on toolchain f609b7e0586f81fefb3523e3e17adf779ac416be [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate lalrpop-lambda 0.6.1 [INFO] finished tweaking crates.io crate lalrpop-lambda 0.6.1 [INFO] tweaked toml for crates.io crate lalrpop-lambda 0.6.1 written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] crate crates.io crate lalrpop-lambda 0.6.1 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded wasm-bindgen-shared v0.2.45 [INFO] [stderr] Downloaded wasm-bindgen-macro v0.2.45 [INFO] [stderr] Downloaded lalrpop-util v0.17.0 [INFO] [stderr] Downloaded cast v0.2.2 [INFO] [stderr] Downloaded wasm-bindgen v0.2.45 [INFO] [stderr] Downloaded bumpalo v2.4.3 [INFO] [stderr] Downloaded lalrpop v0.17.0 [INFO] [stderr] Downloaded wasm-bindgen-backend v0.2.45 [INFO] [stderr] Downloaded wasm-bindgen-macro-support v0.2.45 [INFO] [stderr] Downloaded ctor v0.1.9 [INFO] [stderr] Downloaded syn v0.15.35 [INFO] [stderr] Downloaded csv v1.0.7 [INFO] [stderr] Downloaded backtrace v0.3.30 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 09a11f60972f4b215f1ab9eada21d317f1a8f20187526aa6fc266feb72de212d [INFO] running `Command { std: "docker" "start" "-a" "09a11f60972f4b215f1ab9eada21d317f1a8f20187526aa6fc266feb72de212d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "09a11f60972f4b215f1ab9eada21d317f1a8f20187526aa6fc266feb72de212d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "09a11f60972f4b215f1ab9eada21d317f1a8f20187526aa6fc266feb72de212d", kill_on_drop: false }` [INFO] [stdout] 09a11f60972f4b215f1ab9eada21d317f1a8f20187526aa6fc266feb72de212d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 09b2613d5d932fbef7913a86997c3d65a3890cdd1f29595e7776c19c7a4b760e [INFO] running `Command { std: "docker" "start" "-a" "09b2613d5d932fbef7913a86997c3d65a3890cdd1f29595e7776c19c7a4b760e", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.58 [INFO] [stderr] Compiling proc-macro2 v0.4.30 [INFO] [stderr] Compiling unicode-xid v0.1.0 [INFO] [stderr] Compiling autocfg v0.1.4 [INFO] [stderr] Compiling syn v0.15.35 [INFO] [stderr] Compiling rand_core v0.4.0 [INFO] [stderr] Compiling memchr v2.2.0 [INFO] [stderr] Compiling byteorder v1.3.2 [INFO] [stderr] Compiling serde v1.0.92 [INFO] [stderr] Compiling lazy_static v1.3.0 [INFO] [stderr] Compiling cfg-if v0.1.9 [INFO] [stderr] Compiling siphasher v0.2.3 [INFO] [stderr] Compiling typenum v1.10.0 [INFO] [stderr] Compiling string_cache_shared v0.3.0 [INFO] [stderr] Compiling wasm-bindgen-shared v0.2.45 [INFO] [stderr] Compiling log v0.4.6 [INFO] [stderr] Compiling arrayvec v0.4.10 [INFO] [stderr] Compiling ucd-util v0.1.3 [INFO] [stderr] Compiling byte-tools v0.3.1 [INFO] [stderr] Compiling regex v1.1.7 [INFO] [stderr] Compiling block-padding v0.1.4 [INFO] [stderr] Compiling rand_core v0.3.1 [INFO] [stderr] Compiling rand_jitter v0.1.4 [INFO] [stderr] Compiling rand_xorshift v0.1.1 [INFO] [stderr] Compiling rand_isaac v0.1.1 [INFO] [stderr] Compiling rand_hc v0.1.0 [INFO] [stderr] Compiling phf_shared v0.7.24 [INFO] [stderr] Compiling regex-syntax v0.6.7 [INFO] [stderr] Compiling thread_local v0.3.6 [INFO] [stderr] Compiling rand_chacha v0.1.1 [INFO] [stderr] Compiling rand_pcg v0.1.2 [INFO] [stderr] Compiling rand v0.6.5 [INFO] [stderr] Checking nodrop v0.1.13 [INFO] [stderr] Compiling ryu v0.2.8 [INFO] [stderr] Compiling utf8-ranges v1.0.3 [INFO] [stderr] Checking crossbeam-utils v0.2.2 [INFO] [stderr] Compiling bit-vec v0.5.1 [INFO] [stderr] Compiling opaque-debug v0.2.2 [INFO] [stderr] Compiling fixedbitset v0.1.9 [INFO] [stderr] Compiling rayon-core v1.4.1 [INFO] [stderr] Compiling either v1.5.2 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling fake-simd v0.1.2 [INFO] [stderr] Checking memoffset v0.2.1 [INFO] [stderr] Compiling ordermap v0.3.5 [INFO] [stderr] Compiling strsim v0.9.2 [INFO] [stderr] Checking scopeguard v0.3.3 [INFO] [stderr] Compiling new_debug_unreachable v1.0.3 [INFO] [stderr] Compiling bumpalo v2.4.3 [INFO] [stderr] Compiling itertools v0.8.0 [INFO] [stderr] Compiling bit-set v0.5.1 [INFO] [stderr] Checking crossbeam-epoch v0.3.1 [INFO] [stderr] Compiling ena v0.13.0 [INFO] [stderr] Checking itoa v0.4.4 [INFO] [stderr] Compiling quote v0.6.12 [INFO] [stderr] Compiling rand_os v0.1.3 [INFO] [stderr] Compiling dirs v1.0.5 [INFO] [stderr] Compiling atty v0.2.11 [INFO] [stderr] Compiling term v0.5.2 [INFO] [stderr] Compiling bitflags v1.1.0 [INFO] [stderr] Compiling diff v0.1.11 [INFO] [stderr] Compiling petgraph v0.4.13 [INFO] [stderr] Compiling aho-corasick v0.7.3 [INFO] [stderr] Compiling lalrpop-util v0.17.0 [INFO] [stderr] Checking crossbeam-deque v0.2.0 [INFO] [stderr] Checking num_cpus v1.10.1 [INFO] [stderr] Compiling num-traits v0.2.8 [INFO] [stderr] Compiling generic-array v0.12.0 [INFO] [stderr] Checking unicode-width v0.1.5 [INFO] [stderr] Compiling wasm-bindgen v0.2.45 [INFO] [stderr] Compiling ascii-canvas v2.0.0 [INFO] [stderr] Compiling rayon v1.0.3 [INFO] [stderr] Compiling regex v0.2.11 [INFO] [stderr] Checking textwrap v0.11.0 [INFO] [stderr] Checking regex-syntax v0.5.6 [INFO] [stderr] Checking aho-corasick v0.6.10 [INFO] [stderr] Compiling block-buffer v0.7.3 [INFO] [stderr] Compiling digest v0.8.0 [INFO] [stderr] Checking csv-core v0.1.5 [INFO] [stderr] Checking cast v0.2.2 [INFO] [stderr] Compiling sha2 v0.8.0 [INFO] [stderr] Checking same-file v1.0.4 [INFO] [stderr] Checking rand_xoshiro v0.1.0 [INFO] [stderr] Checking clap v2.33.0 [INFO] [stderr] Checking difference v2.0.0 [INFO] [stderr] Checking walkdir v2.2.8 [INFO] [stderr] Checking ansi_term v0.11.0 [INFO] [stderr] Checking pretty_assertions v0.6.1 [INFO] [stderr] Compiling phf_generator v0.7.24 [INFO] [stderr] Compiling string_cache_codegen v0.4.2 [INFO] [stderr] Compiling string_cache v0.7.3 [INFO] [stderr] Checking criterion-plot v0.3.1 [INFO] [stderr] Compiling wasm-bindgen-backend v0.2.45 [INFO] [stderr] Compiling serde_derive v1.0.92 [INFO] [stderr] Compiling wasm-bindgen-macro-support v0.2.45 [INFO] [stderr] Compiling wasm-bindgen-macro v0.2.45 [INFO] [stderr] Checking serde_json v1.0.39 [INFO] [stderr] Checking csv v1.0.7 [INFO] [stderr] Compiling docopt v1.1.0 [INFO] [stderr] Compiling lalrpop v0.17.0 [INFO] [stderr] Checking tinytemplate v1.0.2 [INFO] [stderr] Checking criterion v0.2.11 [INFO] [stderr] Compiling lalrpop-lambda v0.6.1 (/opt/rustwide/workdir) [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lib.rs:220:45 [INFO] [stdout] | [INFO] [stdout] 220 | ... box body.resolve(env))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 220 | Box::new(body.resolve(env)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lib.rs:243:50 [INFO] [stdout] | [INFO] [stdout] 243 | abs = Expression::Abs(Abstraction(i, box abs)); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 243 | abs = Expression::Abs(Abstraction(i, Box::new(abs))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lib.rs:251:62 [INFO] [stdout] | [INFO] [stdout] 251 | abs = Expression::Abs(Abstraction(variable!(""), box abs)); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 251 | abs = Expression::Abs(Abstraction(variable!(""), Box::new(abs))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lib.rs:220:45 [INFO] [stdout] | [INFO] [stdout] 220 | ... box body.resolve(env))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 220 | Box::new(body.resolve(env)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lib.rs:243:50 [INFO] [stdout] | [INFO] [stdout] 243 | abs = Expression::Abs(Abstraction(i, box abs)); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 243 | abs = Expression::Abs(Abstraction(i, Box::new(abs))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lib.rs:251:62 [INFO] [stdout] | [INFO] [stdout] 251 | abs = Expression::Abs(Abstraction(variable!(""), box abs)); [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 251 | abs = Expression::Abs(Abstraction(variable!(""), Box::new(abs))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/lib.rs:43:12 [INFO] [stdout] | [INFO] [stdout] 43 | box_syntax, [INFO] [stdout] | ^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: replaced with `#[rustc_box]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/lib.rs:43:12 [INFO] [stdout] | [INFO] [stdout] 43 | box_syntax, [INFO] [stdout] | ^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: replaced with `#[rustc_box]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:77:53 [INFO] [stdout] | [INFO] [stdout] 77 | Expression::App(Application(box e, box e2.clone())) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 77 | Expression::App(Application(Box::new(e), box e2.clone())) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:77:53 [INFO] [stdout] | [INFO] [stdout] 77 | Expression::App(Application(box e, box e2.clone())) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 77 | Expression::App(Application(Box::new(e), box e2.clone())) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:77:60 [INFO] [stdout] | [INFO] [stdout] 77 | Expression::App(Application(box e, box e2.clone())) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 77 | Expression::App(Application(box e, Box::new(e2.clone()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:77:60 [INFO] [stdout] | [INFO] [stdout] 77 | Expression::App(Application(box e, box e2.clone())) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 77 | Expression::App(Application(box e, Box::new(e2.clone()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:100:45 [INFO] [stdout] | [INFO] [stdout] 100 | ... box body.no(η))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 100 | Box::new(body.no(η)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:100:45 [INFO] [stdout] | [INFO] [stdout] 100 | ... box body.no(η))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 100 | Box::new(body.no(η)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:108:53 [INFO] [stdout] | [INFO] [stdout] 108 | Expression::App(Application(box e.no(η), box e2.no(η))) [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 108 | Expression::App(Application(Box::new(e.no(η)), box e2.no(η))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:108:53 [INFO] [stdout] | [INFO] [stdout] 108 | Expression::App(Application(box e.no(η), box e2.no(η))) [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 108 | Expression::App(Application(Box::new(e.no(η)), box e2.no(η))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:108:66 [INFO] [stdout] | [INFO] [stdout] 108 | Expression::App(Application(box e.no(η), box e2.no(η))) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 108 | Expression::App(Application(box e.no(η), Box::new(e2.no(η)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:108:66 [INFO] [stdout] | [INFO] [stdout] 108 | Expression::App(Application(box e.no(η), box e2.no(η))) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 108 | Expression::App(Application(box e.no(η), Box::new(e2.no(η)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:123:53 [INFO] [stdout] | [INFO] [stdout] 123 | Expression::App(Application(box e, box e2.bv())) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 123 | Expression::App(Application(Box::new(e), box e2.bv())) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:123:53 [INFO] [stdout] | [INFO] [stdout] 123 | Expression::App(Application(box e, box e2.bv())) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 123 | Expression::App(Application(Box::new(e), box e2.bv())) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:123:60 [INFO] [stdout] | [INFO] [stdout] 123 | Expression::App(Application(box e, box e2.bv())) [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 123 | Expression::App(Application(box e, Box::new(e2.bv()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:146:45 [INFO] [stdout] | [INFO] [stdout] 146 | ... box body.ao(η))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 146 | Box::new(body.ao(η)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:123:60 [INFO] [stdout] | [INFO] [stdout] 123 | Expression::App(Application(box e, box e2.bv())) [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 123 | Expression::App(Application(box e, Box::new(e2.bv()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:154:53 [INFO] [stdout] | [INFO] [stdout] 154 | Expression::App(Application(box e, box e2.ao(η))) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 154 | Expression::App(Application(Box::new(e), box e2.ao(η))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:146:45 [INFO] [stdout] | [INFO] [stdout] 146 | ... box body.ao(η))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 146 | Box::new(body.ao(η)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:154:60 [INFO] [stdout] | [INFO] [stdout] 154 | Expression::App(Application(box e, box e2.ao(η))) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 154 | Expression::App(Application(box e, Box::new(e2.ao(η)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:175:45 [INFO] [stdout] | [INFO] [stdout] 175 | ... box body.hs(η))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 175 | Box::new(body.hs(η)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:154:53 [INFO] [stdout] | [INFO] [stdout] 154 | Expression::App(Application(box e, box e2.ao(η))) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 154 | Expression::App(Application(Box::new(e), box e2.ao(η))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:183:53 [INFO] [stdout] | [INFO] [stdout] 183 | Expression::App(Application(box e, box e2.clone())) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 183 | Expression::App(Application(Box::new(e), box e2.clone())) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:154:60 [INFO] [stdout] | [INFO] [stdout] 154 | Expression::App(Application(box e, box e2.ao(η))) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 154 | Expression::App(Application(box e, Box::new(e2.ao(η)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:175:45 [INFO] [stdout] | [INFO] [stdout] 175 | ... box body.hs(η))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 175 | Box::new(body.hs(η)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:183:60 [INFO] [stdout] | [INFO] [stdout] 183 | Expression::App(Application(box e, box e2.clone())) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 183 | Expression::App(Application(box e, Box::new(e2.clone()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:183:53 [INFO] [stdout] | [INFO] [stdout] 183 | Expression::App(Application(box e, box e2.clone())) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 183 | Expression::App(Application(Box::new(e), box e2.clone())) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:197:49 [INFO] [stdout] | [INFO] [stdout] 197 | ... box body.substitute(v, x))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 197 | Box::new(body.substitute(v, x)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:183:60 [INFO] [stdout] | [INFO] [stdout] 183 | Expression::App(Application(box e, box e2.clone())) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 183 | Expression::App(Application(box e, Box::new(e2.clone()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:202:49 [INFO] [stdout] | [INFO] [stdout] 202 | ... box body.substitute(v, x))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 202 | Box::new(body.substitute(v, x)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:209:45 [INFO] [stdout] | [INFO] [stdout] 209 | Expression::App(Application(box e1.substitute(v, x), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 209 | Expression::App(Application(Box::new(e1.substitute(v, x)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:197:49 [INFO] [stdout] | [INFO] [stdout] 197 | ... box body.substitute(v, x))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 197 | Box::new(body.substitute(v, x)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:202:49 [INFO] [stdout] | [INFO] [stdout] 202 | ... box body.substitute(v, x))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 202 | Box::new(body.substitute(v, x)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:210:45 [INFO] [stdout] | [INFO] [stdout] 210 | ... box e2.substitute(v, x))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 210 | Box::new(e2.substitute(v, x)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:209:45 [INFO] [stdout] | [INFO] [stdout] 209 | Expression::App(Application(box e1.substitute(v, x), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 209 | Expression::App(Application(Box::new(e1.substitute(v, x)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:222:45 [INFO] [stdout] | [INFO] [stdout] 222 | ... box body.replace(old, new))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 222 | Box::new(body.replace(old, new)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:210:45 [INFO] [stdout] | [INFO] [stdout] 210 | ... box e2.substitute(v, x))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 210 | Box::new(e2.substitute(v, x)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:225:45 [INFO] [stdout] | [INFO] [stdout] 225 | Expression::App(Application(box e1.replace(old, new), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 225 | Expression::App(Application(Box::new(e1.replace(old, new)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:222:45 [INFO] [stdout] | [INFO] [stdout] 222 | ... box body.replace(old, new))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 222 | Box::new(body.replace(old, new)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:226:45 [INFO] [stdout] | [INFO] [stdout] 226 | ... box e2.replace(old, new))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 226 | Box::new(e2.replace(old, new)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:225:45 [INFO] [stdout] | [INFO] [stdout] 225 | Expression::App(Application(box e1.replace(old, new), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 225 | Expression::App(Application(Box::new(e1.replace(old, new)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:281:17 [INFO] [stdout] | [INFO] [stdout] 281 | box Expression::Var(variable!("y")))))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 281 | Box::new(Expression::Var(variable!("y"))))))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:280:13 [INFO] [stdout] | [INFO] [stdout] 280 | / box Expression::Abs(Abstraction(variable!("y'"), [INFO] [stdout] 281 | | box Expression::Var(variable!("y")))))); [INFO] [stdout] | |_____________________________________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 280 ~ Box::new(Expression::Abs(Abstraction(variable!("y'"), [INFO] [stdout] 281 ~ box Expression::Var(variable!("y"))))))); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:226:45 [INFO] [stdout] | [INFO] [stdout] 226 | ... box e2.replace(old, new))) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 226 | Box::new(e2.replace(old, new)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:295:52 [INFO] [stdout] | [INFO] [stdout] 295 | ... box var!(x))); [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 295 | Box::new(var!(x)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:281:17 [INFO] [stdout] | [INFO] [stdout] 281 | box Expression::Var(variable!("y")))))); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 281 | Box::new(Expression::Var(variable!("y"))))))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:280:13 [INFO] [stdout] | [INFO] [stdout] 280 | / box Expression::Abs(Abstraction(variable!("y'"), [INFO] [stdout] 281 | | box Expression::Var(variable!("y")))))); [INFO] [stdout] | |_____________________________________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 280 ~ Box::new(Expression::Abs(Abstraction(variable!("y'"), [INFO] [stdout] 281 ~ box Expression::Var(variable!("y"))))))); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:295:52 [INFO] [stdout] | [INFO] [stdout] 295 | ... box var!(x))); [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 295 | Box::new(var!(x)))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:83:33 [INFO] [stdout] | [INFO] [stdout] 83 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:257:29 [INFO] [stdout] | [INFO] [stdout] 257 | assert_eq!(var!(a), app!(abs!{x.x}, a).normalize(&strategy)); [INFO] [stdout] | ------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:84:33 [INFO] [stdout] | [INFO] [stdout] 84 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:257:29 [INFO] [stdout] | [INFO] [stdout] 257 | assert_eq!(var!(a), app!(abs!{x.x}, a).normalize(&strategy)); [INFO] [stdout] | ------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 84 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:73:33 [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(box var!($func), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:259:20 [INFO] [stdout] | [INFO] [stdout] 259 | assert_eq!(app!(a, a), app!(abs!{x.app!(abs!{x.app!(x, x)}, a)}, b) [INFO] [stdout] | ---------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(Box::new(var!($func)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:74:33 [INFO] [stdout] | [INFO] [stdout] 74 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:259:20 [INFO] [stdout] | [INFO] [stdout] 259 | assert_eq!(app!(a, a), app!(abs!{x.app!(abs!{x.app!(x, x)}, a)}, b) [INFO] [stdout] | ---------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 74 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:83:33 [INFO] [stdout] | [INFO] [stdout] 83 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:259:32 [INFO] [stdout] | [INFO] [stdout] 259 | assert_eq!(app!(a, a), app!(abs!{x.app!(abs!{x.app!(x, x)}, a)}, b) [INFO] [stdout] | -------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:84:33 [INFO] [stdout] | [INFO] [stdout] 84 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:259:32 [INFO] [stdout] | [INFO] [stdout] 259 | assert_eq!(app!(a, a), app!(abs!{x.app!(abs!{x.app!(x, x)}, a)}, b) [INFO] [stdout] | -------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 84 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:73:33 [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(box var!($func), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:261:20 [INFO] [stdout] | [INFO] [stdout] 261 | assert_eq!(app!(a, b), app!(abs!{y.app!(a, y)}, b) [INFO] [stdout] | ---------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(Box::new(var!($func)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:74:33 [INFO] [stdout] | [INFO] [stdout] 74 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:261:20 [INFO] [stdout] | [INFO] [stdout] 261 | assert_eq!(app!(a, b), app!(abs!{y.app!(a, y)}, b) [INFO] [stdout] | ---------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 74 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:83:33 [INFO] [stdout] | [INFO] [stdout] 83 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:261:32 [INFO] [stdout] | [INFO] [stdout] 261 | assert_eq!(app!(a, b), app!(abs!{y.app!(a, y)}, b) [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:84:33 [INFO] [stdout] | [INFO] [stdout] 84 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:261:32 [INFO] [stdout] | [INFO] [stdout] 261 | assert_eq!(app!(a, b), app!(abs!{y.app!(a, y)}, b) [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 84 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:73:33 [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(box var!($func), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:263:20 [INFO] [stdout] | [INFO] [stdout] 263 | assert_eq!(app!(b, a), app!(app!(abs!{x.abs!{y.app!(x, y)}}, b), a) [INFO] [stdout] | ---------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(Box::new(var!($func)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:74:33 [INFO] [stdout] | [INFO] [stdout] 74 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:263:20 [INFO] [stdout] | [INFO] [stdout] 263 | assert_eq!(app!(b, a), app!(app!(abs!{x.abs!{y.app!(x, y)}}, b), a) [INFO] [stdout] | ---------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 74 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:83:33 [INFO] [stdout] | [INFO] [stdout] 83 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:263:32 [INFO] [stdout] | [INFO] [stdout] 263 | assert_eq!(app!(b, a), app!(app!(abs!{x.abs!{y.app!(x, y)}}, b), a) [INFO] [stdout] | -------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:84:33 [INFO] [stdout] | [INFO] [stdout] 84 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:263:32 [INFO] [stdout] | [INFO] [stdout] 263 | assert_eq!(app!(b, a), app!(app!(abs!{x.abs!{y.app!(x, y)}}, b), a) [INFO] [stdout] | -------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 84 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:73:33 [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(box var!($func), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:265:20 [INFO] [stdout] | [INFO] [stdout] 265 | assert_eq!(app!(b, b), app!(app!(abs!{x.abs!{y.app!(x, y)}}, b), b) [INFO] [stdout] | ---------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(Box::new(var!($func)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:74:33 [INFO] [stdout] | [INFO] [stdout] 74 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:265:20 [INFO] [stdout] | [INFO] [stdout] 265 | assert_eq!(app!(b, b), app!(app!(abs!{x.abs!{y.app!(x, y)}}, b), b) [INFO] [stdout] | ---------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 74 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:83:33 [INFO] [stdout] | [INFO] [stdout] 83 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:265:32 [INFO] [stdout] | [INFO] [stdout] 265 | assert_eq!(app!(b, b), app!(app!(abs!{x.abs!{y.app!(x, y)}}, b), b) [INFO] [stdout] | -------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:84:33 [INFO] [stdout] | [INFO] [stdout] 84 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:265:32 [INFO] [stdout] | [INFO] [stdout] 265 | assert_eq!(app!(b, b), app!(app!(abs!{x.abs!{y.app!(x, y)}}, b), b) [INFO] [stdout] | -------------------------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 84 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:268:31 [INFO] [stdout] | [INFO] [stdout] 268 | assert_eq!(abs!{a.a}, app!(abs!{x.x}, abs!{a.a}) [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:268:31 [INFO] [stdout] | [INFO] [stdout] 268 | assert_eq!(abs!{a.a}, app!(abs!{x.x}, abs!{a.a}) [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:270:24 [INFO] [stdout] | [INFO] [stdout] 270 | println!("{}", app!(abs!{f.abs!{x.app!(f,a)}}, abs!{x.x})); [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:270:24 [INFO] [stdout] | [INFO] [stdout] 270 | println!("{}", app!(abs!{f.abs!{x.app!(f,a)}}, abs!{x.x})); [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:271:31 [INFO] [stdout] | [INFO] [stdout] 271 | assert_eq!(abs!{x.a}, app!(abs!{f.abs!{x.app!(f,a)}}, abs!{x.x}) [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:271:31 [INFO] [stdout] | [INFO] [stdout] 271 | assert_eq!(abs!{x.a}, app!(abs!{f.abs!{x.app!(f,a)}}, abs!{x.x}) [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:83:33 [INFO] [stdout] | [INFO] [stdout] 83 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:282:29 [INFO] [stdout] | [INFO] [stdout] 282 | let actual = abs!{y.app!(abs!{x.abs!{y.x}}, y)}; [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:84:33 [INFO] [stdout] | [INFO] [stdout] 84 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:282:29 [INFO] [stdout] | [INFO] [stdout] 282 | let actual = abs!{y.app!(abs!{x.abs!{y.x}}, y)}; [INFO] [stdout] | -------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 84 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:287:41 [INFO] [stdout] | [INFO] [stdout] 287 | / ... box app!(app!(var!(f), [INFO] [stdout] 288 | | ... var!(x)), [INFO] [stdout] 289 | | ... var!("x'")))))}}; [INFO] [stdout] | |__________________________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 287 ~ Box::new(app!(app!(var!(f), [INFO] [stdout] 288 | var!(x)), [INFO] [stdout] 289 ~ var!("x'"))))))}}; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:22:9 [INFO] [stdout] | [INFO] [stdout] 22 | γ!({self},t.0.into()) [INFO] [stdout] | --------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:285:38 [INFO] [stdout] | [INFO] [stdout] 285 | let expected = abs!{f.abs!{x.app!(var!(f), [INFO] [stdout] | ______________________________________- [INFO] [stdout] 286 | | Expression::Abs(Abstraction(variable!("x'"), [INFO] [stdout] 287 | | box app!(app!(var!(f), [INFO] [stdout] 288 | | var!(x)), [INFO] [stdout] 289 | | var!("x'")))))}}; [INFO] [stdout] | |_______________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:22:9 [INFO] [stdout] | [INFO] [stdout] 22 | γ!({self},t.0.into()) [INFO] [stdout] | --------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:285:38 [INFO] [stdout] | [INFO] [stdout] 285 | let expected = abs!{f.abs!{x.app!(var!(f), [INFO] [stdout] | ______________________________________- [INFO] [stdout] 286 | | Expression::Abs(Abstraction(variable!("x'"), [INFO] [stdout] 287 | | box app!(app!(var!(f), [INFO] [stdout] 288 | | var!(x)), [INFO] [stdout] 289 | | var!("x'")))))}}; [INFO] [stdout] | |_______________________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:290:22 [INFO] [stdout] | [INFO] [stdout] 290 | let actual = app!(abs!{n.abs!{f.abs!{x.app!(f, app!(n, app!(f, x)))}}}, [INFO] [stdout] | ______________________- [INFO] [stdout] 291 | | abs!{f.abs!{x.app!(f, x)}}); [INFO] [stdout] | |_____________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:73:33 [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(box var!($func), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:51:16 [INFO] [stdout] | [INFO] [stdout] 51 | abs!{x.app!(f,x)} [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(Box::new(var!($func)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:290:22 [INFO] [stdout] | [INFO] [stdout] 290 | let actual = app!(abs!{n.abs!{f.abs!{x.app!(f, app!(n, app!(f, x)))}}}, [INFO] [stdout] | ______________________- [INFO] [stdout] 291 | | abs!{f.abs!{x.app!(f, x)}}); [INFO] [stdout] | |_____________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:74:33 [INFO] [stdout] | [INFO] [stdout] 74 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:51:16 [INFO] [stdout] | [INFO] [stdout] 51 | abs!{x.app!(f,x)} [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 74 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:296:22 [INFO] [stdout] | [INFO] [stdout] 296 | let actual = app!(abs!{f.abs!{x.app!(f,a)}}, abs!{a.x}) [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:296:22 [INFO] [stdout] | [INFO] [stdout] 296 | let actual = app!(abs!{f.abs!{x.app!(f,a)}}, abs!{a.x}) [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:75:38 [INFO] [stdout] | [INFO] [stdout] 75 | let not_app = λ!{p.λ!{a.λ!{b.γ!(γ!(p,b),a)}}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:302:50 [INFO] [stdout] | [INFO] [stdout] 302 | ... box var!("x''"))); [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 302 | Box::new(var!("x''")))); [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/normal.rs:305:41 [INFO] [stdout] | [INFO] [stdout] 305 | ... box fx)) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 305 | Box::new(fx))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:75:38 [INFO] [stdout] | [INFO] [stdout] 75 | let not_app = λ!{p.λ!{a.λ!{b.γ!(γ!(p,b),a)}}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:78:33 [INFO] [stdout] | [INFO] [stdout] 78 | $crate::Application(box var!($func), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:300:38 [INFO] [stdout] | [INFO] [stdout] 300 | let expected = abs!{f.abs!{x.app!(f,{ [INFO] [stdout] | ______________________________________- [INFO] [stdout] 301 | | let x2 = Expression::Abs(Abstraction(variable!("x''"), [INFO] [stdout] 302 | | box var!("x''"))); [INFO] [stdout] 303 | | let fx = app!(app!(f,x),{x2}); [INFO] [stdout] 304 | | Expression::Abs(Abstraction(variable!("x'"), [INFO] [stdout] 305 | | box fx)) [INFO] [stdout] 306 | | })}}; [INFO] [stdout] | |__________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 78 | $crate::Application(Box::new(var!($func)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:76:9 [INFO] [stdout] | [INFO] [stdout] 76 | γ!({not_app},{self}).normalize(&Strategy::Applicative(true)) [INFO] [stdout] | -------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:79:33 [INFO] [stdout] | [INFO] [stdout] 79 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:300:38 [INFO] [stdout] | [INFO] [stdout] 300 | let expected = abs!{f.abs!{x.app!(f,{ [INFO] [stdout] | ______________________________________- [INFO] [stdout] 301 | | let x2 = Expression::Abs(Abstraction(variable!("x''"), [INFO] [stdout] 302 | | box var!("x''"))); [INFO] [stdout] 303 | | let fx = app!(app!(f,x),{x2}); [INFO] [stdout] 304 | | Expression::Abs(Abstraction(variable!("x'"), [INFO] [stdout] 305 | | box fx)) [INFO] [stdout] 306 | | })}}; [INFO] [stdout] | |__________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 79 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:307:22 [INFO] [stdout] | [INFO] [stdout] 307 | let actual = app!(abs!{n.abs!{f.abs!{x.app!(f,app!(n,app!(f,x)))}}}, [INFO] [stdout] | ______________________- [INFO] [stdout] 308 | | app!(abs!{n.abs!{f.abs!{x.app!(f,app!(n,app!(f,x)))}}}, [INFO] [stdout] 309 | | abs!{f.abs!{x.x}})); [INFO] [stdout] | |__________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:76:9 [INFO] [stdout] | [INFO] [stdout] 76 | γ!({not_app},{self}).normalize(&Strategy::Applicative(true)) [INFO] [stdout] | -------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:307:22 [INFO] [stdout] | [INFO] [stdout] 307 | let actual = app!(abs!{n.abs!{f.abs!{x.app!(f,app!(n,app!(f,x)))}}}, [INFO] [stdout] | ______________________- [INFO] [stdout] 308 | | app!(abs!{n.abs!{f.abs!{x.app!(f,app!(n,app!(f,x)))}}}, [INFO] [stdout] 309 | | abs!{f.abs!{x.x}})); [INFO] [stdout] | |__________________________________________________- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:98:28 [INFO] [stdout] | [INFO] [stdout] 98 | let or = λ!{p.λ!{q.γ!(γ!(p,p),q)}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:73:33 [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(box var!($func), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:317:36 [INFO] [stdout] | [INFO] [stdout] 317 | assert_eq!(var!(f), abs!{x.app!(f,x)}.normalize(&strategy)); [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(Box::new(var!($func)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:98:28 [INFO] [stdout] | [INFO] [stdout] 98 | let or = λ!{p.λ!{q.γ!(γ!(p,p),q)}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:74:33 [INFO] [stdout] | [INFO] [stdout] 74 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:317:36 [INFO] [stdout] | [INFO] [stdout] 317 | assert_eq!(var!(f), abs!{x.app!(f,x)}.normalize(&strategy)); [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 74 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:73:33 [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(box var!($func), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:318:27 [INFO] [stdout] | [INFO] [stdout] 318 | assert_eq!(abs!{x.app!(x,x)}, abs!{x.app!(x, x)}.normalize(&strategy)); [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(Box::new(var!($func)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | γ!(γ!({or},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:74:33 [INFO] [stdout] | [INFO] [stdout] 74 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:318:27 [INFO] [stdout] | [INFO] [stdout] 318 | assert_eq!(abs!{x.app!(x,x)}, abs!{x.app!(x, x)}.normalize(&strategy)); [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 74 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | γ!(γ!({or},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:73:33 [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(box var!($func), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:318:46 [INFO] [stdout] | [INFO] [stdout] 318 | assert_eq!(abs!{x.app!(x,x)}, abs!{x.app!(x, x)}.normalize(&strategy)); [INFO] [stdout] | ---------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(Box::new(var!($func)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:74:33 [INFO] [stdout] | [INFO] [stdout] 74 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:318:46 [INFO] [stdout] | [INFO] [stdout] 318 | assert_eq!(abs!{x.app!(x,x)}, abs!{x.app!(x, x)}.normalize(&strategy)); [INFO] [stdout] | ---------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 74 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:121:29 [INFO] [stdout] | [INFO] [stdout] 121 | let and = λ!{p.λ!{q.γ!(γ!(p,q),p)}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:83:33 [INFO] [stdout] | [INFO] [stdout] 83 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:319:52 [INFO] [stdout] | [INFO] [stdout] 319 | assert_eq!(abs!{f.f}, abs!{f.abs!{g.abs!{x.app!(app!(f,g),x)}}}); [INFO] [stdout] | ----------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:121:29 [INFO] [stdout] | [INFO] [stdout] 121 | let and = λ!{p.λ!{q.γ!(γ!(p,q),p)}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:84:33 [INFO] [stdout] | [INFO] [stdout] 84 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:319:52 [INFO] [stdout] | [INFO] [stdout] 319 | assert_eq!(abs!{f.f}, abs!{f.abs!{g.abs!{x.app!(app!(f,g),x)}}}); [INFO] [stdout] | ----------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 84 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:122:9 [INFO] [stdout] | [INFO] [stdout] 122 | γ!(γ!({and},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:328:17 [INFO] [stdout] | [INFO] [stdout] 328 | let Ω = app!(abs!{x.app!(x,x)}, abs!{x.app!(x,x)}); [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:122:9 [INFO] [stdout] | [INFO] [stdout] 122 | γ!(γ!({and},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:328:17 [INFO] [stdout] | [INFO] [stdout] 328 | let Ω = app!(abs!{x.app!(x,x)}, abs!{x.app!(x,x)}); [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:73:33 [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(box var!($func), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:337:20 [INFO] [stdout] | [INFO] [stdout] 337 | assert_eq!(app!(b,b), app!(a,a).replace(&variable!(a), &variable!(b))); [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(Box::new(var!($func)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:145:38 [INFO] [stdout] | [INFO] [stdout] 145 | let not_app = λ!{p.λ!{a.λ!{b.γ!(γ!(p,b),a)}}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:74:33 [INFO] [stdout] | [INFO] [stdout] 74 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:337:20 [INFO] [stdout] | [INFO] [stdout] 337 | assert_eq!(app!(b,b), app!(a,a).replace(&variable!(a), &variable!(b))); [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 74 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:73:33 [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(box var!($func), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:337:31 [INFO] [stdout] | [INFO] [stdout] 337 | assert_eq!(app!(b,b), app!(a,a).replace(&variable!(a), &variable!(b))); [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(Box::new(var!($func)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:145:38 [INFO] [stdout] | [INFO] [stdout] 145 | let not_app = λ!{p.λ!{a.λ!{b.γ!(γ!(p,b),a)}}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:74:33 [INFO] [stdout] | [INFO] [stdout] 74 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/normal.rs:337:31 [INFO] [stdout] | [INFO] [stdout] 337 | assert_eq!(app!(b,b), app!(a,a).replace(&variable!(a), &variable!(b))); [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 74 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:146:29 [INFO] [stdout] | [INFO] [stdout] 146 | let xor = λ!{p.λ!{q.γ!(γ!(p,γ!({not_app},q)),q)}}; [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:22:9 [INFO] [stdout] | [INFO] [stdout] 22 | γ!({self},t.0.into()) [INFO] [stdout] | --------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:146:29 [INFO] [stdout] | [INFO] [stdout] 146 | let xor = λ!{p.λ!{q.γ!(γ!(p,γ!({not_app},q)),q)}}; [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:22:9 [INFO] [stdout] | [INFO] [stdout] 22 | γ!({self},t.0.into()) [INFO] [stdout] | --------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:147:9 [INFO] [stdout] | [INFO] [stdout] 147 | γ!(γ!({xor},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:73:33 [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(box var!($func), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:51:16 [INFO] [stdout] | [INFO] [stdout] 51 | abs!{x.app!(f,x)} [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(Box::new(var!($func)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:147:9 [INFO] [stdout] | [INFO] [stdout] 147 | γ!(γ!({xor},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:74:33 [INFO] [stdout] | [INFO] [stdout] 74 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:51:16 [INFO] [stdout] | [INFO] [stdout] 51 | abs!{x.app!(f,x)} [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 74 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:21:35 [INFO] [stdout] | [INFO] [stdout] 21 | let succ = λ!{n.λ!{f.λ!{x.γ!(f, γ!(γ!(n, f), x))}}}; [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:73:33 [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(box var!($func), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:62:33 [INFO] [stdout] | [INFO] [stdout] 62 | let one = abs!{f.abs!{x.app!(f,x)}}; [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(Box::new(var!($func)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:74:33 [INFO] [stdout] | [INFO] [stdout] 74 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:62:33 [INFO] [stdout] | [INFO] [stdout] 62 | let one = abs!{f.abs!{x.app!(f,x)}}; [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 74 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:21:35 [INFO] [stdout] | [INFO] [stdout] 21 | let succ = λ!{n.λ!{f.λ!{x.γ!(f, γ!(γ!(n, f), x))}}}; [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:78:33 [INFO] [stdout] | [INFO] [stdout] 78 | $crate::Application(box var!($func), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:63:20 [INFO] [stdout] | [INFO] [stdout] 63 | assert_eq!(app!(x,{one}), var!(x)(1)); [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 78 | $crate::Application(Box::new(var!($func)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:24:17 [INFO] [stdout] | [INFO] [stdout] 24 | e = app!({&succ}, {&e}).normalize(&Strategy::Applicative(false)); [INFO] [stdout] | ------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:79:33 [INFO] [stdout] | [INFO] [stdout] 79 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:63:20 [INFO] [stdout] | [INFO] [stdout] 63 | assert_eq!(app!(x,{one}), var!(x)(1)); [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 79 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:24:17 [INFO] [stdout] | [INFO] [stdout] 24 | e = app!({&succ}, {&e}).normalize(&Strategy::Applicative(false)); [INFO] [stdout] | ------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:74:20 [INFO] [stdout] | [INFO] [stdout] 74 | assert_eq!(app!(app!(a,b),{zero}), app!(a,b)(0)); [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:74:20 [INFO] [stdout] | [INFO] [stdout] 74 | assert_eq!(app!(app!(a,b),{zero}), app!(a,b)(0)); [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:78:39 [INFO] [stdout] | [INFO] [stdout] 78 | let add = λ!{m.λ!{n.λ!{f.λ!{x.γ!(γ!(m,f),γ!(γ!(n,f),x))}}}}; [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:73:33 [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(box var!($func), [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:74:44 [INFO] [stdout] | [INFO] [stdout] 74 | assert_eq!(app!(app!(a,b),{zero}), app!(a,b)(0)); [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 73 | $crate::Application(Box::new(var!($func)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:78:39 [INFO] [stdout] | [INFO] [stdout] 78 | let add = λ!{m.λ!{n.λ!{f.λ!{x.γ!(γ!(m,f),γ!(γ!(n,f),x))}}}}; [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:74:33 [INFO] [stdout] | [INFO] [stdout] 74 | ... box var!($arg))) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/function.rs:74:44 [INFO] [stdout] | [INFO] [stdout] 74 | assert_eq!(app!(app!(a,b),{zero}), app!(a,b)(0)); [INFO] [stdout] | --------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 74 | Box::new(var!($arg)))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:79:9 [INFO] [stdout] | [INFO] [stdout] 79 | γ!(γ!({add},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:75:38 [INFO] [stdout] | [INFO] [stdout] 75 | let not_app = λ!{p.λ!{a.λ!{b.γ!(γ!(p,b),a)}}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:79:9 [INFO] [stdout] | [INFO] [stdout] 79 | γ!(γ!({add},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:75:38 [INFO] [stdout] | [INFO] [stdout] 75 | let not_app = λ!{p.λ!{a.λ!{b.γ!(γ!(p,b),a)}}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:98:39 [INFO] [stdout] | [INFO] [stdout] 98 | let mul = λ!{m.λ!{n.λ!{f.λ!{x.γ!(γ!(m,γ!(n,f)),x)}}}}; [INFO] [stdout] | ------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:76:9 [INFO] [stdout] | [INFO] [stdout] 76 | γ!({not_app},{self}).normalize(&Strategy::Applicative(true)) [INFO] [stdout] | -------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:98:39 [INFO] [stdout] | [INFO] [stdout] 98 | let mul = λ!{m.λ!{n.λ!{f.λ!{x.γ!(γ!(m,γ!(n,f)),x)}}}}; [INFO] [stdout] | ------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | γ!(γ!({mul},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:76:9 [INFO] [stdout] | [INFO] [stdout] 76 | γ!({not_app},{self}).normalize(&Strategy::Applicative(true)) [INFO] [stdout] | -------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | γ!(γ!({mul},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:98:28 [INFO] [stdout] | [INFO] [stdout] 98 | let or = λ!{p.λ!{q.γ!(γ!(p,p),q)}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/lib.rs:223:17 [INFO] [stdout] | [INFO] [stdout] 223 | app!({e1.resolve(env)}, {e2.resolve(env)}) [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:98:28 [INFO] [stdout] | [INFO] [stdout] 98 | let or = λ!{p.λ!{q.γ!(γ!(p,p),q)}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/lib.rs:223:17 [INFO] [stdout] | [INFO] [stdout] 223 | app!({e1.resolve(env)}, {e2.resolve(env)}) [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | γ!(γ!({or},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | γ!(γ!({or},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:121:29 [INFO] [stdout] | [INFO] [stdout] 121 | let and = λ!{p.λ!{q.γ!(γ!(p,q),p)}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:121:29 [INFO] [stdout] | [INFO] [stdout] 121 | let and = λ!{p.λ!{q.γ!(γ!(p,q),p)}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:122:9 [INFO] [stdout] | [INFO] [stdout] 122 | γ!(γ!({and},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:122:9 [INFO] [stdout] | [INFO] [stdout] 122 | γ!(γ!({and},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:145:38 [INFO] [stdout] | [INFO] [stdout] 145 | let not_app = λ!{p.λ!{a.λ!{b.γ!(γ!(p,b),a)}}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:145:38 [INFO] [stdout] | [INFO] [stdout] 145 | let not_app = λ!{p.λ!{a.λ!{b.γ!(γ!(p,b),a)}}}; [INFO] [stdout] | ------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:146:29 [INFO] [stdout] | [INFO] [stdout] 146 | let xor = λ!{p.λ!{q.γ!(γ!(p,γ!({not_app},q)),q)}}; [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:146:29 [INFO] [stdout] | [INFO] [stdout] 146 | let xor = λ!{p.λ!{q.γ!(γ!(p,γ!({not_app},q)),q)}}; [INFO] [stdout] | --------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:147:9 [INFO] [stdout] | [INFO] [stdout] 147 | γ!(γ!({xor},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/boolean.rs:147:9 [INFO] [stdout] | [INFO] [stdout] 147 | γ!(γ!({xor},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:21:35 [INFO] [stdout] | [INFO] [stdout] 21 | let succ = λ!{n.λ!{f.λ!{x.γ!(f, γ!(γ!(n, f), x))}}}; [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:21:35 [INFO] [stdout] | [INFO] [stdout] 21 | let succ = λ!{n.λ!{f.λ!{x.γ!(f, γ!(γ!(n, f), x))}}}; [INFO] [stdout] | ---------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:24:17 [INFO] [stdout] | [INFO] [stdout] 24 | e = app!({&succ}, {&e}).normalize(&Strategy::Applicative(false)); [INFO] [stdout] | ------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:24:17 [INFO] [stdout] | [INFO] [stdout] 24 | e = app!({&succ}, {&e}).normalize(&Strategy::Applicative(false)); [INFO] [stdout] | ------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:78:39 [INFO] [stdout] | [INFO] [stdout] 78 | let add = λ!{m.λ!{n.λ!{f.λ!{x.γ!(γ!(m,f),γ!(γ!(n,f),x))}}}}; [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:78:39 [INFO] [stdout] | [INFO] [stdout] 78 | let add = λ!{m.λ!{n.λ!{f.λ!{x.γ!(γ!(m,f),γ!(γ!(n,f),x))}}}}; [INFO] [stdout] | ------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:79:9 [INFO] [stdout] | [INFO] [stdout] 79 | γ!(γ!({add},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:79:9 [INFO] [stdout] | [INFO] [stdout] 79 | γ!(γ!({add},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:98:39 [INFO] [stdout] | [INFO] [stdout] 98 | let mul = λ!{m.λ!{n.λ!{f.λ!{x.γ!(γ!(m,γ!(n,f)),x)}}}}; [INFO] [stdout] | ------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:98:39 [INFO] [stdout] | [INFO] [stdout] 98 | let mul = λ!{m.λ!{n.λ!{f.λ!{x.γ!(γ!(m,γ!(n,f)),x)}}}}; [INFO] [stdout] | ------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | γ!(γ!({mul},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/encode/numerals.rs:99:9 [INFO] [stdout] | [INFO] [stdout] 99 | γ!(γ!({mul},{self}),{other}).normalize(&Strategy::Applicative(false)) [INFO] [stdout] | ---------------------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` which comes from the expansion of the macro `γ` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/lib.rs:223:17 [INFO] [stdout] | [INFO] [stdout] 223 | app!({e1.resolve(env)}, {e2.resolve(env)}) [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: src/lib.rs:223:17 [INFO] [stdout] | [INFO] [stdout] 223 | app!({e1.resolve(env)}, {e2.resolve(env)}) [INFO] [stdout] | ------------------------------------------ in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:3049:9 [INFO] [stdout] | [INFO] [stdout] 3049 | app!({e1},{e2}) [INFO] [stdout] | --------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:3049:9 [INFO] [stdout] | [INFO] [stdout] 3049 | app!({e1},{e2}) [INFO] [stdout] | --------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:88:33 [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(box $func.clone().into(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:3049:9 [INFO] [stdout] | [INFO] [stdout] 3049 | app!({e1},{e2}) [INFO] [stdout] | --------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 88 | $crate::Application(Box::new($func.clone().into()), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/macros.rs:89:33 [INFO] [stdout] | [INFO] [stdout] 89 | ... box $arg.clone().into())) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] ::: /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:3049:9 [INFO] [stdout] | [INFO] [stdout] 3049 | app!({e1},{e2}) [INFO] [stdout] | --------------- in this macro invocation [INFO] [stdout] | [INFO] [stdout] = note: this error originates in the macro `app` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 89 | Box::new($arg.clone().into()))) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: found both `y` and `γ` as identifiers, which look alike [INFO] [stdout] --> src/macros.rs:144:14 [INFO] [stdout] | [INFO] [stdout] 144 | macro_rules! γ { [INFO] [stdout] | ^ this identifier can be confused with `y` [INFO] [stdout] | [INFO] [stdout] ::: src/lib.rs:347:51 [INFO] [stdout] | [INFO] [stdout] 347 | assert_eq!(set! { variable!(x), variable!(y) }, [INFO] [stdout] | - other identifier used here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(confusable_idents)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around block return value [INFO] [stdout] --> /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:2949:5 [INFO] [stdout] | [INFO] [stdout] 2949 | (__0) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 2949 - (__0) [INFO] [stdout] 2949 + __0 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around block return value [INFO] [stdout] --> /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:2960:5 [INFO] [stdout] | [INFO] [stdout] 2960 | (__0) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 2960 - (__0) [INFO] [stdout] 2960 + __0 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around block return value [INFO] [stdout] --> /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:3085:5 [INFO] [stdout] | [INFO] [stdout] 3085 | (__0) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 3085 - (__0) [INFO] [stdout] 3085 + __0 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around block return value [INFO] [stdout] --> /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:3096:5 [INFO] [stdout] | [INFO] [stdout] 3096 | (__0) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 3096 - (__0) [INFO] [stdout] 3096 + __0 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around block return value [INFO] [stdout] --> /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:3201:5 [INFO] [stdout] | [INFO] [stdout] 3201 | (__0) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 3201 - (__0) [INFO] [stdout] 3201 + __0 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around block return value [INFO] [stdout] --> /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:3235:5 [INFO] [stdout] | [INFO] [stdout] 3235 | (__0) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 3235 - (__0) [INFO] [stdout] 3235 + __0 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: found both `y` and `γ` as identifiers, which look alike [INFO] [stdout] --> src/macros.rs:144:14 [INFO] [stdout] | [INFO] [stdout] 144 | macro_rules! γ { [INFO] [stdout] | ^ this identifier can be confused with `y` [INFO] [stdout] | [INFO] [stdout] ::: src/lib.rs:347:51 [INFO] [stdout] | [INFO] [stdout] 347 | assert_eq!(set! { variable!(x), variable!(y) }, [INFO] [stdout] | - other identifier used here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(confusable_idents)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around block return value [INFO] [stdout] --> /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:2949:5 [INFO] [stdout] | [INFO] [stdout] 2949 | (__0) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 2949 - (__0) [INFO] [stdout] 2949 + __0 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around block return value [INFO] [stdout] --> /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:2960:5 [INFO] [stdout] | [INFO] [stdout] 2960 | (__0) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 2960 - (__0) [INFO] [stdout] 2960 + __0 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around block return value [INFO] [stdout] --> /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:3085:5 [INFO] [stdout] | [INFO] [stdout] 3085 | (__0) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 3085 - (__0) [INFO] [stdout] 3085 + __0 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around block return value [INFO] [stdout] --> /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:3096:5 [INFO] [stdout] | [INFO] [stdout] 3096 | (__0) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 3096 - (__0) [INFO] [stdout] 3096 + __0 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around block return value [INFO] [stdout] --> /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:3201:5 [INFO] [stdout] | [INFO] [stdout] 3201 | (__0) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 3201 - (__0) [INFO] [stdout] 3201 + __0 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unnecessary parentheses around block return value [INFO] [stdout] --> /opt/rustwide/target/debug/build/lalrpop-lambda-7e2d28d6480497d8/out/parse.rs:3235:5 [INFO] [stdout] | [INFO] [stdout] 3235 | (__0) [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 3235 - (__0) [INFO] [stdout] 3235 + __0 [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `non_ascii_idents` has been stable since 1.53.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/lib.rs:42:12 [INFO] [stdout] | [INFO] [stdout] 42 | #![feature(non_ascii_idents, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `non_ascii_idents` has been stable since 1.53.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/lib.rs:42:12 [INFO] [stdout] | [INFO] [stdout] 42 | #![feature(non_ascii_idents, [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 65 previous errors; 8 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stderr] error: could not compile `lalrpop-lambda` (lib) due to 66 previous errors; 8 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: aborting due to 126 previous errors; 8 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stderr] error: could not compile `lalrpop-lambda` (lib test) due to 127 previous errors; 8 warnings emitted [INFO] running `Command { std: "docker" "inspect" "09b2613d5d932fbef7913a86997c3d65a3890cdd1f29595e7776c19c7a4b760e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "09b2613d5d932fbef7913a86997c3d65a3890cdd1f29595e7776c19c7a4b760e", kill_on_drop: false }` [INFO] [stdout] 09b2613d5d932fbef7913a86997c3d65a3890cdd1f29595e7776c19c7a4b760e