[INFO] fetching crate lalrpop-lambda 0.6.1...
[INFO] checking lalrpop-lambda-0.6.1 against master#30f74ff0dc4d66debc8b50724c446f817e5f75f4 for pr-121848-1
[INFO] extracting crate lalrpop-lambda 0.6.1 into /workspace/builds/worker-1-tc1/source
[INFO] validating manifest of crates.io crate lalrpop-lambda 0.6.1 on toolchain 30f74ff0dc4d66debc8b50724c446f817e5f75f4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+30f74ff0dc4d66debc8b50724c446f817e5f75f4" "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-1-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" "+30f74ff0dc4d66debc8b50724c446f817e5f75f4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded wasm-bindgen-backend v0.2.45
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.45
[INFO] [stderr]   Downloaded log v0.4.6
[INFO] [stderr]   Downloaded new_debug_unreachable v1.0.3
[INFO] [stderr]   Downloaded syn v0.15.35
[INFO] [stderr]   Downloaded criterion-plot v0.3.1
[INFO] [stderr]   Downloaded generic-array v0.12.0
[INFO] [stderr]   Downloaded bit-set v0.5.1
[INFO] [stderr]   Downloaded rand_xoshiro v0.1.0
[INFO] [stderr]   Downloaded crossbeam-epoch v0.3.1
[INFO] [stderr]   Downloaded crossbeam-utils v0.2.2
[INFO] [stderr]   Downloaded csv-core v0.1.5
[INFO] [stderr]   Downloaded rayon v1.0.3
[INFO] [stderr]   Downloaded rayon-core v1.4.1
[INFO] [stderr]   Downloaded regex v1.1.7
[INFO] [stderr]   Downloaded libc v0.2.58
[INFO] [stderr]   Downloaded regex-syntax v0.6.7
[INFO] [stderr]   Downloaded csv v1.0.7
[INFO] [stderr]   Downloaded ena v0.13.0
[INFO] [stderr]   Downloaded criterion v0.2.11
[INFO] [stderr]   Downloaded aho-corasick v0.7.3
[INFO] [stderr]   Downloaded serde v1.0.92
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.45
[INFO] [stderr]   Downloaded tinytemplate v1.0.2
[INFO] [stderr]   Downloaded docopt v1.1.0
[INFO] [stderr]   Downloaded serde_derive v1.0.92
[INFO] [stderr]   Downloaded backtrace v0.3.30
[INFO] [stderr]   Downloaded crossbeam-deque v0.2.0
[INFO] [stderr]   Downloaded num_cpus v1.10.1
[INFO] [stderr]   Downloaded walkdir v2.2.8
[INFO] [stderr]   Downloaded ascii-canvas v2.0.0
[INFO] [stderr]   Downloaded bit-vec v0.5.1
[INFO] [stderr]   Downloaded strsim v0.9.2
[INFO] [stderr]   Downloaded digest v0.8.0
[INFO] [stderr]   Downloaded bumpalo v2.4.3
[INFO] [stderr]   Downloaded string_cache v0.7.3
[INFO] [stderr]   Downloaded utf8-ranges v1.0.3
[INFO] [stderr]   Downloaded diff v0.1.11
[INFO] [stderr]   Downloaded block-padding v0.1.4
[INFO] [stderr]   Downloaded opaque-debug v0.2.2
[INFO] [stderr]   Downloaded string_cache_codegen v0.4.2
[INFO] [stderr]   Downloaded ctor v0.1.9
[INFO] [stderr]   Downloaded ucd-util v0.1.3
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.45
[INFO] [stderr]   Downloaded lalrpop-util v0.17.0
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.45
[INFO] [stderr]   Downloaded lalrpop v0.17.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+30f74ff0dc4d66debc8b50724c446f817e5f75f4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 26a7f0f8a4ae167a4f53c450d60184bfd5209cf60e557512c1c5ad0b989581a2
[INFO] running `Command { std: "docker" "start" "-a" "26a7f0f8a4ae167a4f53c450d60184bfd5209cf60e557512c1c5ad0b989581a2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "26a7f0f8a4ae167a4f53c450d60184bfd5209cf60e557512c1c5ad0b989581a2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "26a7f0f8a4ae167a4f53c450d60184bfd5209cf60e557512c1c5ad0b989581a2", kill_on_drop: false }`
[INFO] [stdout] 26a7f0f8a4ae167a4f53c450d60184bfd5209cf60e557512c1c5ad0b989581a2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+30f74ff0dc4d66debc8b50724c446f817e5f75f4" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 11aaf2426132cdf2ea4da320d19f6cc905245f0ec16521612f59cc8bf4c446e9
[INFO] running `Command { std: "docker" "start" "-a" "11aaf2426132cdf2ea4da320d19f6cc905245f0ec16521612f59cc8bf4c446e9", 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 rand_core v0.3.1
[INFO] [stderr]    Compiling lazy_static v1.3.0
[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]    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 rand_jitter v0.1.4
[INFO] [stderr]    Compiling siphasher v0.2.3
[INFO] [stderr]    Compiling typenum v1.10.0
[INFO] [stderr]    Compiling cfg-if v0.1.9
[INFO] [stderr]    Compiling log v0.4.6
[INFO] [stderr]    Compiling string_cache_shared v0.3.0
[INFO] [stderr]    Compiling quote v0.6.12
[INFO] [stderr]    Compiling rand_os v0.1.3
[INFO] [stderr]    Compiling phf_shared v0.7.24
[INFO] [stderr]    Compiling regex v1.1.7
[INFO] [stderr]    Compiling wasm-bindgen-shared v0.2.45
[INFO] [stderr]    Compiling byte-tools v0.3.1
[INFO] [stderr]    Compiling arrayvec v0.4.10
[INFO] [stderr]    Compiling ucd-util v0.1.3
[INFO] [stderr]    Compiling regex-syntax v0.6.7
[INFO] [stderr]    Compiling aho-corasick v0.7.3
[INFO] [stderr]    Compiling block-padding v0.1.4
[INFO] [stderr]    Compiling dirs v1.0.5
[INFO] [stderr]    Compiling thread_local v0.3.6
[INFO] [stderr]    Compiling utf8-ranges v1.0.3
[INFO] [stderr]    Compiling ryu v0.2.8
[INFO] [stderr]     Checking nodrop v0.1.13
[INFO] [stderr]     Checking crossbeam-utils v0.2.2
[INFO] [stderr]    Compiling term v0.5.2
[INFO] [stderr]    Compiling phf_generator v0.7.24
[INFO] [stderr]    Compiling string_cache_codegen v0.4.2
[INFO] [stderr]    Compiling generic-array v0.12.0
[INFO] [stderr]    Compiling bit-vec v0.5.1
[INFO] [stderr]    Compiling ordermap v0.3.5
[INFO] [stderr]    Compiling opaque-debug v0.2.2
[INFO] [stderr]    Compiling digest v0.8.0
[INFO] [stderr]    Compiling block-buffer v0.7.3
[INFO] [stderr]     Checking scopeguard v0.3.3
[INFO] [stderr]    Compiling bumpalo v2.4.3
[INFO] [stderr]     Checking memoffset v0.2.1
[INFO] [stderr]    Compiling rayon-core v1.4.1
[INFO] [stderr]    Compiling either v1.5.2
[INFO] [stderr]    Compiling fixedbitset v0.1.9
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling fake-simd v0.1.2
[INFO] [stderr]    Compiling string_cache v0.7.3
[INFO] [stderr]    Compiling strsim v0.9.2
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.3
[INFO] [stderr]    Compiling sha2 v0.8.0
[INFO] [stderr]    Compiling petgraph v0.4.13
[INFO] [stderr]    Compiling itertools v0.8.0
[INFO] [stderr]     Checking crossbeam-epoch v0.3.1
[INFO] [stderr]    Compiling bit-set v0.5.1
[INFO] [stderr]    Compiling ascii-canvas v2.0.0
[INFO] [stderr]    Compiling ena v0.13.0
[INFO] [stderr]    Compiling atty v0.2.11
[INFO] [stderr]     Checking itoa v0.4.4
[INFO] [stderr]    Compiling bitflags v1.1.0
[INFO] [stderr]    Compiling lalrpop-util v0.17.0
[INFO] [stderr]    Compiling diff v0.1.11
[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 rayon v1.0.3
[INFO] [stderr]     Checking unicode-width v0.1.5
[INFO] [stderr]    Compiling regex v0.2.11
[INFO] [stderr]    Compiling wasm-bindgen v0.2.45
[INFO] [stderr]     Checking regex-syntax v0.5.6
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking aho-corasick v0.6.10
[INFO] [stderr]     Checking csv-core v0.1.5
[INFO] [stderr]     Checking same-file v1.0.4
[INFO] [stderr]     Checking cast v0.2.2
[INFO] [stderr]     Checking walkdir v2.2.8
[INFO] [stderr]     Checking rand_xoshiro v0.1.0
[INFO] [stderr]     Checking clap v2.33.0
[INFO] [stderr]     Checking criterion-plot v0.3.1
[INFO] [stderr]     Checking ansi_term v0.11.0
[INFO] [stderr]     Checking difference v2.0.0
[INFO] [stderr]     Checking pretty_assertions v0.6.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]     Checking tinytemplate v1.0.2
[INFO] [stderr]    Compiling lalrpop v0.17.0
[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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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/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: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/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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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/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: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: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/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: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/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: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/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: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: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: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: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/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/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: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/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: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/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: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: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: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/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: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/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/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/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/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: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/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: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: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/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/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/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: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/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: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: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: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: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/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: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: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: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/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/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: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: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/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/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: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: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: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: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: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: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: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: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/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/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/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/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: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: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: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-c1ffc4ebbe994034/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-c1ffc4ebbe994034/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-c1ffc4ebbe994034/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-c1ffc4ebbe994034/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-c1ffc4ebbe994034/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-c1ffc4ebbe994034/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-c1ffc4ebbe994034/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-c1ffc4ebbe994034/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-c1ffc4ebbe994034/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-c1ffc4ebbe994034/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: 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-c1ffc4ebbe994034/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-c1ffc4ebbe994034/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-c1ffc4ebbe994034/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-c1ffc4ebbe994034/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-c1ffc4ebbe994034/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-c1ffc4ebbe994034/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] 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" "11aaf2426132cdf2ea4da320d19f6cc905245f0ec16521612f59cc8bf4c446e9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "11aaf2426132cdf2ea4da320d19f6cc905245f0ec16521612f59cc8bf4c446e9", kill_on_drop: false }`
[INFO] [stdout] 11aaf2426132cdf2ea4da320d19f6cc905245f0ec16521612f59cc8bf4c446e9
