[INFO] fetching crate lambash 0.1.0...
[INFO] checking lambash-0.1.0 against master#c2f2db79ca3024f68d22b45aa22b570775c2c4ad for pr-124157
[INFO] extracting crate lambash 0.1.0 into /workspace/builds/worker-0-tc1/source
[INFO] validating manifest of crates.io crate lambash 0.1.0 on toolchain c2f2db79ca3024f68d22b45aa22b570775c2c4ad
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2f2db79ca3024f68d22b45aa22b570775c2c4ad" "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-0-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2f2db79ca3024f68d22b45aa22b570775c2c4ad" "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" "+c2f2db79ca3024f68d22b45aa22b570775c2c4ad" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:99613afd962a8cfa530ec1899472a458bd015a1ab0af876cf7eb06f6006d81ea" "/opt/rustwide/cargo-home/bin/cargo" "+c2f2db79ca3024f68d22b45aa22b570775c2c4ad" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f6b4b65bb874312d4ae1cca52c4178fcf9abc05c0a96c93d7b7285a984c7d1a3
[INFO] running `Command { std: "docker" "start" "-a" "f6b4b65bb874312d4ae1cca52c4178fcf9abc05c0a96c93d7b7285a984c7d1a3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f6b4b65bb874312d4ae1cca52c4178fcf9abc05c0a96c93d7b7285a984c7d1a3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f6b4b65bb874312d4ae1cca52c4178fcf9abc05c0a96c93d7b7285a984c7d1a3", kill_on_drop: false }`
[INFO] [stdout] f6b4b65bb874312d4ae1cca52c4178fcf9abc05c0a96c93d7b7285a984c7d1a3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:99613afd962a8cfa530ec1899472a458bd015a1ab0af876cf7eb06f6006d81ea" "/opt/rustwide/cargo-home/bin/cargo" "+c2f2db79ca3024f68d22b45aa22b570775c2c4ad" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 98a9fb8aa7e68cba2bdd594e0c7b6f85002c3ffb7d6b2ac50f9d14d12f4a40c4
[INFO] running `Command { std: "docker" "start" "-a" "98a9fb8aa7e68cba2bdd594e0c7b6f85002c3ffb7d6b2ac50f9d14d12f4a40c4", 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: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: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: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: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: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: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: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: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: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: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: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: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] 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 20 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 20 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 21 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 21 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "98a9fb8aa7e68cba2bdd594e0c7b6f85002c3ffb7d6b2ac50f9d14d12f4a40c4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "98a9fb8aa7e68cba2bdd594e0c7b6f85002c3ffb7d6b2ac50f9d14d12f4a40c4", kill_on_drop: false }`
[INFO] [stdout] 98a9fb8aa7e68cba2bdd594e0c7b6f85002c3ffb7d6b2ac50f9d14d12f4a40c4
[INFO] checking lambash-0.1.0 against try#9c7b5f5b6b8ec32bbbcf9f07fc0e5208da6c5f88 for pr-124157
[INFO] extracting crate lambash 0.1.0 into /workspace/builds/worker-0-tc2/source
[INFO] validating manifest of crates.io crate lambash 0.1.0 on toolchain 9c7b5f5b6b8ec32bbbcf9f07fc0e5208da6c5f88
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9c7b5f5b6b8ec32bbbcf9f07fc0e5208da6c5f88" "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-0-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9c7b5f5b6b8ec32bbbcf9f07fc0e5208da6c5f88" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+9c7b5f5b6b8ec32bbbcf9f07fc0e5208da6c5f88" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:99613afd962a8cfa530ec1899472a458bd015a1ab0af876cf7eb06f6006d81ea" "/opt/rustwide/cargo-home/bin/cargo" "+9c7b5f5b6b8ec32bbbcf9f07fc0e5208da6c5f88" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ec30ad5780d7f560c940f55641af6ca5920119325bca8ca8254f62a39474f94b
[INFO] running `Command { std: "docker" "start" "-a" "ec30ad5780d7f560c940f55641af6ca5920119325bca8ca8254f62a39474f94b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ec30ad5780d7f560c940f55641af6ca5920119325bca8ca8254f62a39474f94b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ec30ad5780d7f560c940f55641af6ca5920119325bca8ca8254f62a39474f94b", kill_on_drop: false }`
[INFO] [stdout] ec30ad5780d7f560c940f55641af6ca5920119325bca8ca8254f62a39474f94b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:99613afd962a8cfa530ec1899472a458bd015a1ab0af876cf7eb06f6006d81ea" "/opt/rustwide/cargo-home/bin/cargo" "+9c7b5f5b6b8ec32bbbcf9f07fc0e5208da6c5f88" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 453ea9f7822d488d85f6654cc11087c79b1e7043f4c90a05d659ea670e2a6ec4
[INFO] running `Command { std: "docker" "start" "-a" "453ea9f7822d488d85f6654cc11087c79b1e7043f4c90a05d659ea670e2a6ec4", 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: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: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: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: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: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: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: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: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: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: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: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: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: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] 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 20 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 21 previous errors; 1 warning emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: aborting due to 20 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" test) due to 21 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "453ea9f7822d488d85f6654cc11087c79b1e7043f4c90a05d659ea670e2a6ec4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "453ea9f7822d488d85f6654cc11087c79b1e7043f4c90a05d659ea670e2a6ec4", kill_on_drop: false }`
[INFO] [stdout] 453ea9f7822d488d85f6654cc11087c79b1e7043f4c90a05d659ea670e2a6ec4
