[INFO] fetching crate lambash 0.1.0...
[INFO] checking lambash-0.1.0 against master#4d1bd0db7f489b22c6d8aa2385937a95412c015b for pr-114682
[INFO] extracting crate lambash 0.1.0 into /workspace/builds/worker-3-tc1/source
[INFO] validating manifest of crates.io crate lambash 0.1.0 on toolchain 4d1bd0db7f489b22c6d8aa2385937a95412c015b
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4d1bd0db7f489b22c6d8aa2385937a95412c015b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate lambash 0.1.0
[INFO] finished tweaking crates.io crate lambash 0.1.0
[INFO] tweaked toml for crates.io crate lambash 0.1.0 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4d1bd0db7f489b22c6d8aa2385937a95412c015b" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4d1bd0db7f489b22c6d8aa2385937a95412c015b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+4d1bd0db7f489b22c6d8aa2385937a95412c015b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 00a819155b75cf2d91b5baabc73e35a19127abba9ce14af35e94d47093238444
[INFO] running `Command { std: "docker" "start" "-a" "00a819155b75cf2d91b5baabc73e35a19127abba9ce14af35e94d47093238444", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "00a819155b75cf2d91b5baabc73e35a19127abba9ce14af35e94d47093238444", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "00a819155b75cf2d91b5baabc73e35a19127abba9ce14af35e94d47093238444", kill_on_drop: false }`
[INFO] [stdout] 00a819155b75cf2d91b5baabc73e35a19127abba9ce14af35e94d47093238444
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+4d1bd0db7f489b22c6d8aa2385937a95412c015b" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f7099510e6823f771a26746a39d3348f9b25af204c6dde96b71436ab165ccaa7
[INFO] running `Command { std: "docker" "start" "-a" "f7099510e6823f771a26746a39d3348f9b25af204c6dde96b71436ab165ccaa7", kill_on_drop: false }`
[INFO] [stderr]     Checking lambash v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:30
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(non_ascii_idents, box_syntax)]
[INFO] [stdout]   |                              ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:30
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(non_ascii_idents, 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/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:7:14
[INFO] [stdout]    |
[INFO] [stdout] 7  |     let id = λ!{x.x};
[INFO] [stdout]    |              ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:7:14
[INFO] [stdout]    |
[INFO] [stdout] 7  |     let id = λ!{x.x};
[INFO] [stdout]    |              ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:7:14
[INFO] [stdout]    |
[INFO] [stdout] 7  |       let id = λ!{x.x};
[INFO] [stdout]    |                ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:7:14
[INFO] [stdout]    |
[INFO] [stdout] 7  |       let id = λ!{x.x};
[INFO] [stdout]    |                ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:16
[INFO] [stdout]    |
[INFO] [stdout] 10 |     let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                ------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:16
[INFO] [stdout]    |
[INFO] [stdout] 10 |     let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                ------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:16
[INFO] [stdout]    |
[INFO] [stdout] 10 |       let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                  ------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:16
[INFO] [stdout]    |
[INFO] [stdout] 10 |       let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                  ------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:21
[INFO] [stdout]    |
[INFO] [stdout] 10 |     let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                     ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:21
[INFO] [stdout]    |
[INFO] [stdout] 10 |     let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                     ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:21
[INFO] [stdout]    |
[INFO] [stdout] 10 |       let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                       ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:21
[INFO] [stdout]    |
[INFO] [stdout] 10 |       let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                       ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:15
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |               -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:15
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |               -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:15
[INFO] [stdout]    |
[INFO] [stdout] 12 |       let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |                 -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:15
[INFO] [stdout]    |
[INFO] [stdout] 12 |       let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |                 -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:20
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |                    -------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:20
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |                    -------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:20
[INFO] [stdout]    |
[INFO] [stdout] 12 |       let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |                      -------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:20
[INFO] [stdout]    |
[INFO] [stdout] 12 |       let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |                      -------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:25
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:25
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:25
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:25
[INFO] [stdout]    |
[INFO] [stdout] 12 |       let one = λ!{f.λ!{x.γ!(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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:25
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:25
[INFO] [stdout]    |
[INFO] [stdout] 12 |       let one = λ!{f.λ!{x.γ!(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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:16
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:16
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:16
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:16
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:21
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:21
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:21
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:21
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:26
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:26
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:26
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:31
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:26
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:31
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:31
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:31
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:31
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:31
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:37
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:37
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:37
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:37
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:37
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:37
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:43
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:43
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:43
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:43
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:43
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:15
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:43
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:15
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:15
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:20
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:15
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:20
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:20
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:20
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:25
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:25
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:25
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:25
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:30
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:30
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:30
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:35
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:30
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:35
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:35
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:35
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:35
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:35
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:41
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:41
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:41
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:47
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:41
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:47
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:41
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:47
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:41
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:47
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:53
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:53
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:47
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:53
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:47
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:20:15
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let two = app!(succ, one);
[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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:53
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:20:15
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let two = app!(succ, one);
[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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:53
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:20:15
[INFO] [stdout]    |
[INFO] [stdout] 20 |       let two = app!(succ, one);
[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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:22:17
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let three = app!(succ, two);
[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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:53
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:22:17
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let three = app!(succ, two);
[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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:20:15
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let two = app!(succ, one);
[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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:22:17
[INFO] [stdout]    |
[INFO] [stdout] 22 |       let three = app!(succ, two);
[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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:20:15
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let two = app!(succ, one);
[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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:24:16
[INFO] [stdout]    |
[INFO] [stdout] 24 |     let four = app!(succ, three);
[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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:20:15
[INFO] [stdout]    |
[INFO] [stdout] 20 |       let two = app!(succ, one);
[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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:24:16
[INFO] [stdout]    |
[INFO] [stdout] 24 |     let four = app!(succ, three);
[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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:22:17
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let three = app!(succ, two);
[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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:22:17
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let three = app!(succ, two);
[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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:24:16
[INFO] [stdout]    |
[INFO] [stdout] 24 |       let four = app!(succ, three);
[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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:22:17
[INFO] [stdout]    |
[INFO] [stdout] 22 |       let three = app!(succ, two);
[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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:24:16
[INFO] [stdout]    |
[INFO] [stdout] 24 |     let four = app!(succ, three);
[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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:24:16
[INFO] [stdout]    |
[INFO] [stdout] 24 |     let four = app!(succ, three);
[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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:24:16
[INFO] [stdout]    |
[INFO] [stdout] 24 |       let four = app!(succ, three);
[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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[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/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(non_ascii_idents, box_syntax)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `non_ascii_idents` has been stable since 1.53.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(non_ascii_idents, box_syntax)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 58 previous errors; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 58 previous errors; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `lambash` (bin "lambash") due to 59 previous errors; 1 warning emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `lambash` (bin "lambash" test) due to 59 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "f7099510e6823f771a26746a39d3348f9b25af204c6dde96b71436ab165ccaa7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f7099510e6823f771a26746a39d3348f9b25af204c6dde96b71436ab165ccaa7", kill_on_drop: false }`
[INFO] [stdout] f7099510e6823f771a26746a39d3348f9b25af204c6dde96b71436ab165ccaa7
[INFO] checking lambash-0.1.0 against try#785364c7e5e0804473a3fddfb579798ea14e3493 for pr-114682
[INFO] extracting crate lambash 0.1.0 into /workspace/builds/worker-3-tc2/source
[INFO] validating manifest of crates.io crate lambash 0.1.0 on toolchain 785364c7e5e0804473a3fddfb579798ea14e3493
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+785364c7e5e0804473a3fddfb579798ea14e3493" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate lambash 0.1.0
[INFO] finished tweaking crates.io crate lambash 0.1.0
[INFO] tweaked toml for crates.io crate lambash 0.1.0 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+785364c7e5e0804473a3fddfb579798ea14e3493" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+785364c7e5e0804473a3fddfb579798ea14e3493" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+785364c7e5e0804473a3fddfb579798ea14e3493" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] dfad28f2bdcb17de092c3fa46d1de4bd2a5251932b782f493c43fd13880519ad
[INFO] running `Command { std: "docker" "start" "-a" "dfad28f2bdcb17de092c3fa46d1de4bd2a5251932b782f493c43fd13880519ad", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dfad28f2bdcb17de092c3fa46d1de4bd2a5251932b782f493c43fd13880519ad", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dfad28f2bdcb17de092c3fa46d1de4bd2a5251932b782f493c43fd13880519ad", kill_on_drop: false }`
[INFO] [stdout] dfad28f2bdcb17de092c3fa46d1de4bd2a5251932b782f493c43fd13880519ad
[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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+785364c7e5e0804473a3fddfb579798ea14e3493" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6ebee7812efd0202367346de8729886a4d4c7f32b9829d47c1ced6a40bbd097f
[INFO] running `Command { std: "docker" "start" "-a" "6ebee7812efd0202367346de8729886a4d4c7f32b9829d47c1ced6a40bbd097f", kill_on_drop: false }`
[INFO] [stderr]     Checking lambash v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:30
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(non_ascii_idents, box_syntax)]
[INFO] [stdout]   |                              ^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: replaced with `#[rustc_box]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:30
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(non_ascii_idents, 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/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:7:14
[INFO] [stdout]    |
[INFO] [stdout] 7  |     let id = λ!{x.x};
[INFO] [stdout]    |              ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:7:14
[INFO] [stdout]    |
[INFO] [stdout] 7  |     let id = λ!{x.x};
[INFO] [stdout]    |              ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:7:14
[INFO] [stdout]    |
[INFO] [stdout] 7  |       let id = λ!{x.x};
[INFO] [stdout]    |                ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:7:14
[INFO] [stdout]    |
[INFO] [stdout] 7  |       let id = λ!{x.x};
[INFO] [stdout]    |                ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:16
[INFO] [stdout]    |
[INFO] [stdout] 10 |     let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                ------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:16
[INFO] [stdout]    |
[INFO] [stdout] 10 |     let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                ------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:16
[INFO] [stdout]    |
[INFO] [stdout] 10 |       let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                  ------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:16
[INFO] [stdout]    |
[INFO] [stdout] 10 |       let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                  ------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:21
[INFO] [stdout]    |
[INFO] [stdout] 10 |     let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                     ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:21
[INFO] [stdout]    |
[INFO] [stdout] 10 |       let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                       ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:15
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |               -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:15
[INFO] [stdout]    |
[INFO] [stdout] 12 |       let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |                 -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:21
[INFO] [stdout]    |
[INFO] [stdout] 10 |     let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                     ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:20
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |                    -------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:10:21
[INFO] [stdout]    |
[INFO] [stdout] 10 |       let zero = λ!{f.λ!{x.x}};
[INFO] [stdout]    |                       ------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:20
[INFO] [stdout]    |
[INFO] [stdout] 12 |       let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |                      -------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:25
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:15
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |               -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:25
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:15
[INFO] [stdout]    |
[INFO] [stdout] 12 |       let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |                 -------------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:25
[INFO] [stdout]    |
[INFO] [stdout] 12 |       let one = λ!{f.λ!{x.γ!(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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:20
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |                    -------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:16
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:20
[INFO] [stdout]    |
[INFO] [stdout] 12 |       let one = λ!{f.λ!{x.γ!(f, x)}};
[INFO] [stdout]    |                      -------------- in this macro invocation
[INFO] [stdout]    |
[INFO] [stdout]    = note: this error originates in the macro `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:16
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:25
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:25
[INFO] [stdout]    |
[INFO] [stdout] 12 |     let one = λ!{f.λ!{x.γ!(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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:21
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:12:25
[INFO] [stdout]    |
[INFO] [stdout] 12 |       let one = λ!{f.λ!{x.γ!(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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:21
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:16
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:26
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:26
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:16
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:31
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:21
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:21
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:31
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:26
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:31
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:37
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:26
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:37
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:31
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:37
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:31
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:43
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:31
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:43
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:37
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:43
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:37
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:15
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:37
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:15
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:43
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:20
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:43
[INFO] [stdout]    |
[INFO] [stdout] 15 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:20
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:15:43
[INFO] [stdout]    |
[INFO] [stdout] 15 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:25
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:15
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:15
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:25
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:20
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:20
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:30
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:25
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:25
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:30
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:21:41
[INFO] [stdout]    |
[INFO] [stdout] 21 | ...                   box $body.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:30
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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 `abs` 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] 21 |                                         Box::new($body.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:35
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 |           Expression::Abs(box Abstraction(binding!($arg),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 21 | |                                         box $body.clone()))
[INFO] [stdout]    | |__________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:30
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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 `abs` 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] 20 ~         Expression::Abs(Box::new(Abstraction(binding!($arg),
[INFO] [stdout] 21 ~                                         box $body.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:35
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:35
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:35
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:35
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:35
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:41
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:41
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:41
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:41
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:41
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:47
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:47
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:41
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:47
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:53
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:53
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:53
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:20:15
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let two = app!(succ, one);
[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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:47
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:20:15
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let two = app!(succ, one);
[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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:20:15
[INFO] [stdout]    |
[INFO] [stdout] 20 |       let two = app!(succ, one);
[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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:22:17
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let three = app!(succ, two);
[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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:47
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:22:17
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let three = app!(succ, two);
[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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:47
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:22:17
[INFO] [stdout]    |
[INFO] [stdout] 22 |       let three = app!(succ, two);
[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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:53
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:24:16
[INFO] [stdout]    |
[INFO] [stdout] 24 |     let four = app!(succ, three);
[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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:24:16
[INFO] [stdout]    |
[INFO] [stdout] 24 |     let four = app!(succ, three);
[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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:53
[INFO] [stdout]    |
[INFO] [stdout] 17 |     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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:24:16
[INFO] [stdout]    |
[INFO] [stdout] 24 |       let four = app!(succ, three);
[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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:17:53
[INFO] [stdout]    |
[INFO] [stdout] 17 |       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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:20:15
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let two = app!(succ, one);
[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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:20:15
[INFO] [stdout]    |
[INFO] [stdout] 20 |     let two = app!(succ, one);
[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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:20:15
[INFO] [stdout]    |
[INFO] [stdout] 20 |       let two = app!(succ, one);
[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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:22:17
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let three = app!(succ, two);
[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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:22:17
[INFO] [stdout]    |
[INFO] [stdout] 22 |     let three = app!(succ, two);
[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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:22:17
[INFO] [stdout]    |
[INFO] [stdout] 22 |       let three = app!(succ, two);
[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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:41
[INFO] [stdout]    |
[INFO] [stdout] 29 |         Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |                                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:24:16
[INFO] [stdout]    |
[INFO] [stdout] 24 |     let four = app!(succ, three);
[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] 29 |         Expression::App(box Application(Box::new($func.clone()),
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 | ...                   box $arg.clone()))
[INFO] [stdout]    |                       ^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:24:16
[INFO] [stdout]    |
[INFO] [stdout] 24 |     let four = app!(succ, three);
[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] 30 |                                         Box::new($arg.clone())))
[INFO] [stdout]    |                                         ~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/syntax.rs:29:25
[INFO] [stdout]    |
[INFO] [stdout] 29 |           Expression::App(box Application(box $func.clone(),
[INFO] [stdout]    |  _________________________^
[INFO] [stdout] 30 | |                                         box $arg.clone()))
[INFO] [stdout]    | |_________________________________________________________^
[INFO] [stdout]    |
[INFO] [stdout]   ::: src/main.rs:24:16
[INFO] [stdout]    |
[INFO] [stdout] 24 |       let four = app!(succ, three);
[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] 29 ~         Expression::App(Box::new(Application(box $func.clone(),
[INFO] [stdout] 30 ~                                         box $arg.clone())))
[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/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(non_ascii_idents, box_syntax)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `non_ascii_idents` has been stable since 1.53.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(non_ascii_idents, box_syntax)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 58 previous errors; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 58 previous errors; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `lambash` (bin "lambash") due to 59 previous errors; 1 warning emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `lambash` (bin "lambash" test) due to 59 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "6ebee7812efd0202367346de8729886a4d4c7f32b9829d47c1ced6a40bbd097f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6ebee7812efd0202367346de8729886a4d4c7f32b9829d47c1ced6a40bbd097f", kill_on_drop: false }`
[INFO] [stdout] 6ebee7812efd0202367346de8729886a4d4c7f32b9829d47c1ced6a40bbd097f
