[INFO] fetching crate lalrpop-lambda 0.6.1...
[INFO] testing lalrpop-lambda-0.6.1 against beta-2023-04-20 for beta-1.70-1
[INFO] extracting crate lalrpop-lambda 0.6.1 into /workspace/builds/worker-3-tc2/source
[INFO] validating manifest of crates.io crate lalrpop-lambda 0.6.1 on toolchain beta-2023-04-20
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-04-20" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking 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-3-tc2/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" "+beta-2023-04-20" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded same-file v1.0.4
[INFO] [stderr]   Downloaded serde_json v1.0.39
[INFO] [stderr]   Downloaded memoffset v0.2.1
[INFO] [stderr]   Downloaded quote v0.6.12
[INFO] [stderr]   Downloaded termion v1.5.2
[INFO] [stderr]   Downloaded autocfg v0.1.4
[INFO] [stderr]   Downloaded utf8-ranges v1.0.3
[INFO] [stderr]   Downloaded regex v0.2.11
[INFO] [stderr]   Downloaded constant_time_eq v0.1.3
[INFO] [stderr]   Downloaded ryu v0.2.8
[INFO] [stderr]   Downloaded cast v0.2.2
[INFO] [stderr]   Downloaded crossbeam-deque v0.2.0
[INFO] [stderr]   Downloaded crossbeam-epoch v0.3.1
[INFO] [stderr]   Downloaded csv-core v0.1.5
[INFO] [stderr]   Downloaded walkdir v2.2.8
[INFO] [stderr]   Downloaded aho-corasick v0.7.3
[INFO] [stderr]   Downloaded arrayvec v0.4.10
[INFO] [stderr]   Downloaded itertools v0.8.0
[INFO] [stderr]   Downloaded libc v0.2.58
[INFO] [stderr]   Downloaded syn v0.15.35
[INFO] [stderr]   Downloaded rayon v1.0.3
[INFO] [stderr]   Downloaded redox_syscall v0.1.54
[INFO] [stderr]   Downloaded crossbeam-utils v0.2.2
[INFO] [stderr]   Downloaded regex-syntax v0.5.6
[INFO] [stderr]   Downloaded block-padding v0.1.4
[INFO] [stderr]   Downloaded regex v1.1.7
[INFO] [stderr]   Downloaded regex-syntax v0.6.7
[INFO] [stderr]   Downloaded opaque-debug v0.2.2
[INFO] [stderr]   Downloaded csv v1.0.7
[INFO] [stderr]   Downloaded backtrace-sys v0.1.28
[INFO] [stderr]   Downloaded wasm-bindgen v0.2.45
[INFO] [stderr]   Downloaded serde v1.0.92
[INFO] [stderr]   Downloaded backtrace v0.3.30
[INFO] [stderr]   Downloaded lalrpop-util v0.17.0
[INFO] [stderr]   Downloaded bumpalo v2.4.3
[INFO] [stderr]   Downloaded wasm-bindgen-macro v0.2.45
[INFO] [stderr]   Downloaded redox_users v0.3.0
[INFO] [stderr]   Downloaded string_cache v0.7.3
[INFO] [stderr]   Downloaded log v0.4.6
[INFO] [stderr]   Downloaded tinytemplate v1.0.2
[INFO] [stderr]   Downloaded wasm-bindgen-macro-support v0.2.45
[INFO] [stderr]   Downloaded digest v0.8.0
[INFO] [stderr]   Downloaded typenum v1.10.0
[INFO] [stderr]   Downloaded lalrpop v0.17.0
[INFO] [stderr]   Downloaded wasm-bindgen-shared v0.2.45
[INFO] [stderr]   Downloaded ena v0.13.0
[INFO] [stderr]   Downloaded rustc-demangle v0.1.15
[INFO] [stderr]   Downloaded rand_core v0.4.0
[INFO] [stderr]   Downloaded memchr v2.2.0
[INFO] [stderr]   Downloaded ucd-util v0.1.3
[INFO] [stderr]   Downloaded rayon-core v1.4.1
[INFO] [stderr]   Downloaded string_cache_codegen v0.4.2
[INFO] [stderr]   Downloaded serde_derive v1.0.92
[INFO] [stderr]   Downloaded cc v1.0.37
[INFO] [stderr]   Downloaded generic-array v0.12.0
[INFO] [stderr]   Downloaded ctor v0.1.9
[INFO] [stderr]   Downloaded wasm-bindgen-backend v0.2.45
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c9042acc90c0bb68a9dca825d8ab34536845442a1d562fc7202031bbcaed859e
[INFO] running `Command { std: "docker" "start" "-a" "c9042acc90c0bb68a9dca825d8ab34536845442a1d562fc7202031bbcaed859e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c9042acc90c0bb68a9dca825d8ab34536845442a1d562fc7202031bbcaed859e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c9042acc90c0bb68a9dca825d8ab34536845442a1d562fc7202031bbcaed859e", kill_on_drop: false }`
[INFO] [stdout] c9042acc90c0bb68a9dca825d8ab34536845442a1d562fc7202031bbcaed859e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:5ff2268d62e97bff2cde7d5815dd6ed5b47097566f13b8d0ca110b04b60e07ed" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ab92c1ec9fd8f357036674af77d4c997663a9ae09e61714150dc9603108ea850
[INFO] running `Command { std: "docker" "start" "-a" "ab92c1ec9fd8f357036674af77d4c997663a9ae09e61714150dc9603108ea850", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.58
[INFO] [stderr]    Compiling autocfg v0.1.4
[INFO] [stderr]    Compiling rand_core v0.4.0
[INFO] [stderr]    Compiling syn v0.15.35
[INFO] [stderr]    Compiling lazy_static v1.3.0
[INFO] [stderr]    Compiling memchr v2.2.0
[INFO] [stderr]    Compiling cfg-if v0.1.9
[INFO] [stderr]    Compiling typenum v1.10.0
[INFO] [stderr]    Compiling byteorder v1.3.2
[INFO] [stderr]    Compiling siphasher v0.2.3
[INFO] [stderr]    Compiling ucd-util v0.1.3
[INFO] [stderr]    Compiling serde v1.0.92
[INFO] [stderr]    Compiling string_cache_shared v0.3.0
[INFO] [stderr]    Compiling utf8-ranges v1.0.3
[INFO] [stderr]    Compiling byte-tools v0.3.1
[INFO] [stderr]    Compiling quote v0.6.12
[INFO] [stderr]    Compiling log v0.4.6
[INFO] [stderr]    Compiling thread_local v0.3.6
[INFO] [stderr]    Compiling wasm-bindgen-shared v0.2.45
[INFO] [stderr]    Compiling regex v1.1.7
[INFO] [stderr]    Compiling rand_core v0.3.1
[INFO] [stderr]    Compiling rand_jitter v0.1.4
[INFO] [stderr]    Compiling phf_shared v0.7.24
[INFO] [stderr]    Compiling rand_hc v0.1.0
[INFO] [stderr]    Compiling rand_isaac v0.1.1
[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 regex-syntax v0.6.7
[INFO] [stderr]    Compiling block-padding v0.1.4
[INFO] [stderr]    Compiling fake-simd v0.1.2
[INFO] [stderr]    Compiling bit-vec v0.5.1
[INFO] [stderr]    Compiling fixedbitset v0.1.9
[INFO] [stderr]    Compiling ordermap v0.3.5
[INFO] [stderr]    Compiling bumpalo v2.4.3
[INFO] [stderr]    Compiling opaque-debug v0.2.2
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling strsim v0.9.2
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.3
[INFO] [stderr]    Compiling either v1.5.2
[INFO] [stderr]    Compiling bit-set v0.5.1
[INFO] [stderr]    Compiling ena v0.13.0
[INFO] [stderr]    Compiling diff v0.1.11
[INFO] [stderr]    Compiling lalrpop-util v0.17.0
[INFO] [stderr]    Compiling rand_os v0.1.3
[INFO] [stderr]    Compiling dirs v1.0.5
[INFO] [stderr]    Compiling itertools v0.8.0
[INFO] [stderr]    Compiling atty v0.2.11
[INFO] [stderr]    Compiling regex v0.2.11
[INFO] [stderr]    Compiling petgraph v0.4.13
[INFO] [stderr]    Compiling wasm-bindgen v0.2.45
[INFO] [stderr]    Compiling term v0.5.2
[INFO] [stderr]    Compiling regex-syntax v0.5.6
[INFO] [stderr]    Compiling aho-corasick v0.7.3
[INFO] [stderr]    Compiling generic-array v0.12.0
[INFO] [stderr]    Compiling aho-corasick v0.6.10
[INFO] [stderr]    Compiling ascii-canvas v2.0.0
[INFO] [stderr]    Compiling digest v0.8.0
[INFO] [stderr]    Compiling block-buffer v0.7.3
[INFO] [stderr]    Compiling sha2 v0.8.0
[INFO] [stderr]    Compiling phf_generator v0.7.24
[INFO] [stderr]    Compiling string_cache_codegen v0.4.2
[INFO] [stderr]    Compiling string_cache v0.7.3
[INFO] [stderr]    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]    Compiling docopt v1.1.0
[INFO] [stderr]    Compiling lalrpop v0.17.0
[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[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:108:66
[INFO] [stdout]     |
[INFO] [stdout] 108 |                         Expression::App(Application(box e.no(η), box e2.no(η)))
[INFO] [stdout]     |                                                                  ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 108 |                         Expression::App(Application(box e.no(η), Box::new(e2.no(η))))
[INFO] [stdout]     |                                                                  ~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/normal.rs:123:53
[INFO] [stdout]     |
[INFO] [stdout] 123 |                         Expression::App(Application(box e, box e2.bv()))
[INFO] [stdout]     |                                                     ^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 123 |                         Expression::App(Application(Box::new(e), box e2.bv()))
[INFO] [stdout]     |                                                     ~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/normal.rs:123:60
[INFO] [stdout]     |
[INFO] [stdout] 123 |                         Expression::App(Application(box e, box e2.bv()))
[INFO] [stdout]     |                                                            ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 123 |                         Expression::App(Application(box e, Box::new(e2.bv())))
[INFO] [stdout]     |                                                            ~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/normal.rs:146:45
[INFO] [stdout]     |
[INFO] [stdout] 146 | ...                   box body.ao(η)))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 146 |                                             Box::new(body.ao(η))))
[INFO] [stdout]     |                                             ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/normal.rs: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:154:60
[INFO] [stdout]     |
[INFO] [stdout] 154 |                         Expression::App(Application(box e, box e2.ao(η)))
[INFO] [stdout]     |                                                            ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 154 |                         Expression::App(Application(box e, Box::new(e2.ao(η))))
[INFO] [stdout]     |                                                            ~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/normal.rs:175:45
[INFO] [stdout]     |
[INFO] [stdout] 175 | ...                   box body.hs(η)))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 175 |                                             Box::new(body.hs(η))))
[INFO] [stdout]     |                                             ~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/normal.rs:183: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: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:197:49
[INFO] [stdout]     |
[INFO] [stdout] 197 | ...                   box body.substitute(v, x)))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 197 |                                                 Box::new(body.substitute(v, x))))
[INFO] [stdout]     |                                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/normal.rs:202:49
[INFO] [stdout]     |
[INFO] [stdout] 202 | ...                   box body.substitute(v, x)))
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 202 |                                                 Box::new(body.substitute(v, x))))
[INFO] [stdout]     |                                                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/normal.rs: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: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:281:17
[INFO] [stdout]     |
[INFO] [stdout] 281 |                 box Expression::Var(variable!("y"))))));
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 281 |                 Box::new(Expression::Var(variable!("y")))))));
[INFO] [stdout]     |                 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/normal.rs:280:13
[INFO] [stdout]     |
[INFO] [stdout] 280 | /             box Expression::Abs(Abstraction(variable!("y'"),
[INFO] [stdout] 281 | |                 box Expression::Var(variable!("y"))))));
[INFO] [stdout]     | |_____________________________________________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 280 ~             Box::new(Expression::Abs(Abstraction(variable!("y'"),
[INFO] [stdout] 281 ~                 box Expression::Var(variable!("y")))))));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/normal.rs:295:52
[INFO] [stdout]     |
[INFO] [stdout] 295 | ...                   box var!(x)));
[INFO] [stdout]     |                       ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 295 |                                                    Box::new(var!(x))));
[INFO] [stdout]     |                                                    ~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/macros.rs: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: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:75:41
[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:41
[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:98:31
[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:31
[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:99:12
[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:12
[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:121:32
[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:32
[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:122:12
[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:12
[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:145:41
[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:41
[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:146:32
[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:32
[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:146:37
[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:37
[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/boolean.rs:147:12
[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:12
[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:21:41
[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:41
[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:21:44
[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:44
[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:78:42
[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:42
[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:78:50
[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:50
[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:78:53
[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:53
[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:79:12
[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:12
[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:98:42
[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:42
[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:98:47
[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:47
[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/encode/numerals.rs:99:12
[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:12
[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-17c491b4794ab02e/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-17c491b4794ab02e/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[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]   --> src/lib.rs:42:1
[INFO] [stdout]    |
[INFO] [stdout] 42 | / #![feature(non_ascii_idents,
[INFO] [stdout] 43 | |            box_syntax,
[INFO] [stdout] 44 | |            box_patterns,
[INFO] [stdout] 45 | |            fn_traits,
[INFO] [stdout] 46 | |            unboxed_closures)]
[INFO] [stdout]    | |_____________________________^
[INFO] [stdout]    |
[INFO] [stdout]    = help: the feature `non_ascii_idents` has been stable since `1.53.0` and no longer requires an attribute to enable
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: identifier pair considered confusable between `y` and `γ`
[INFO] [stdout]    --> src/macros.rs:144:14
[INFO] [stdout]     |
[INFO] [stdout] 144 | macro_rules! γ {
[INFO] [stdout]     |              ^
[INFO] [stdout]     |
[INFO] [stdout]    ::: src/lib.rs:347:51
[INFO] [stdout]     |
[INFO] [stdout] 347 |         assert_eq!(set! { variable!(x), variable!(y) },
[INFO] [stdout]     |                                                   - this is where the previous identifier occurred
[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-17c491b4794ab02e/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-17c491b4794ab02e/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-17c491b4794ab02e/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-17c491b4794ab02e/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-17c491b4794ab02e/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-17c491b4794ab02e/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[E0554]: `#![feature]` may not be used on the beta release channel
[INFO] [stdout]   --> src/lib.rs:45:12
[INFO] [stdout]    |
[INFO] [stdout] 45 |            fn_traits,
[INFO] [stdout]    |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 103 previous errors; 8 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0554, E0557.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0554`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `lalrpop-lambda` (lib) due to 104 previous errors; 8 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "ab92c1ec9fd8f357036674af77d4c997663a9ae09e61714150dc9603108ea850", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ab92c1ec9fd8f357036674af77d4c997663a9ae09e61714150dc9603108ea850", kill_on_drop: false }`
[INFO] [stdout] ab92c1ec9fd8f357036674af77d4c997663a9ae09e61714150dc9603108ea850
