[INFO] cloning repository https://github.com/PhotonQuantum/l-lang-parser-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/PhotonQuantum/l-lang-parser-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FPhotonQuantum%2Fl-lang-parser-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FPhotonQuantum%2Fl-lang-parser-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 828b04f0164a163345e876106e3a5c636bcf24a5
[INFO] checking PhotonQuantum/l-lang-parser-rs/828b04f0164a163345e876106e3a5c636bcf24a5 against master#f609b7e0586f81fefb3523e3e17adf779ac416be for pr-129466-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FPhotonQuantum%2Fl-lang-parser-rs" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/PhotonQuantum/l-lang-parser-rs on toolchain f609b7e0586f81fefb3523e3e17adf779ac416be
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/PhotonQuantum/l-lang-parser-rs
[INFO] finished tweaking git repo https://github.com/PhotonQuantum/l-lang-parser-rs
[INFO] tweaked toml for git repo https://github.com/PhotonQuantum/l-lang-parser-rs written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/PhotonQuantum/l-lang-parser-rs already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded which v4.0.2
[INFO] [stderr]   Downloaded syn v1.0.50
[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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 04c15be270fbd90a387694f6415ce52752f29f4ecf0ffdca2f8e89dacd1adafd
[INFO] running `Command { std: "docker" "start" "-a" "04c15be270fbd90a387694f6415ce52752f29f4ecf0ffdca2f8e89dacd1adafd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "04c15be270fbd90a387694f6415ce52752f29f4ecf0ffdca2f8e89dacd1adafd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "04c15be270fbd90a387694f6415ce52752f29f4ecf0ffdca2f8e89dacd1adafd", kill_on_drop: false }`
[INFO] [stdout] 04c15be270fbd90a387694f6415ce52752f29f4ecf0ffdca2f8e89dacd1adafd
[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:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8e26d9f4f6ec4abe605c0da77d3cc2664f7223353563396810b6874039c49c01
[INFO] running `Command { std: "docker" "start" "-a" "8e26d9f4f6ec4abe605c0da77d3cc2664f7223353563396810b6874039c49c01", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.24
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling syn v1.0.50
[INFO] [stderr]    Compiling libc v0.2.80
[INFO] [stderr]    Compiling ucd-trie v0.1.3
[INFO] [stderr]    Compiling bitflags v1.2.1
[INFO] [stderr]    Compiling maplit v1.0.2
[INFO] [stderr]     Checking unicode-width v0.1.8
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]     Checking vec_map v0.8.2
[INFO] [stderr]     Checking remove_dir_all v0.5.3
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking pest v2.1.3
[INFO] [stderr]    Compiling quote v1.0.7
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking rand v0.4.6
[INFO] [stderr]     Checking clap v2.33.3
[INFO] [stderr]    Compiling pest_meta v2.1.3
[INFO] [stderr]     Checking tempdir v0.3.7
[INFO] [stderr]    Compiling pest_generator v2.1.3
[INFO] [stderr]    Compiling thiserror-impl v1.0.22
[INFO] [stderr]    Compiling pest_derive v2.1.0
[INFO] [stderr]     Checking thiserror v1.0.22
[INFO] [stderr]     Checking which v4.0.2
[INFO] [stderr]     Checking toy_lang_parser_rs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:32
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(iterator_fold_self, box_syntax, box_patterns)]
[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:32
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(iterator_fold_self, box_syntax, box_patterns)]
[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/parser.rs:112:23
[INFO] [stdout]     |
[INFO] [stdout] 112 |                 expr: box parse_expr(expr),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 112 |                 expr: Box::new(parse_expr(expr)),
[INFO] [stdout]     |                       ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:121:23
[INFO] [stdout]     |
[INFO] [stdout] 121 |                 expr: box parse_expr(expr),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 121 |                 expr: Box::new(parse_expr(expr)),
[INFO] [stdout]     |                       ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:142:67
[INFO] [stdout]     |
[INFO] [stdout] 142 |             let exprs: Vec<Box<Expr>> = pair.into_inner().map(|x| box parse_expr(x)).collect();
[INFO] [stdout]     |                                                                   ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 142 |             let exprs: Vec<Box<Expr>> = pair.into_inner().map(|x| Box::new(parse_expr(x))).collect();
[INFO] [stdout]     |                                                                   ~~~~~~~~~             +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:148:64
[INFO] [stdout]     |
[INFO] [stdout] 148 |             let branches: Vec<Box<MatchBranch>> = pair.map(|x| box parse_match_branch(x)).collect();
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 148 |             let branches: Vec<Box<MatchBranch>> = pair.map(|x| Box::new(parse_match_branch(x))).collect();
[INFO] [stdout]     |                                                                ~~~~~~~~~                     +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:150:23
[INFO] [stdout]     |
[INFO] [stdout] 150 |                 expr: box parse_expr(expr),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 150 |                 expr: Box::new(parse_expr(expr)),
[INFO] [stdout]     |                       ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:160:23
[INFO] [stdout]     |
[INFO] [stdout] 160 |                 expr: box parse_expr(expr),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 160 |                 expr: Box::new(parse_expr(expr)),
[INFO] [stdout]     |                       ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:112:23
[INFO] [stdout]     |
[INFO] [stdout] 112 |                 expr: box parse_expr(expr),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 112 |                 expr: Box::new(parse_expr(expr)),
[INFO] [stdout]     |                       ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:161:26
[INFO] [stdout]     |
[INFO] [stdout] 161 |                 success: box parse_expr(succ),
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 161 |                 success: Box::new(parse_expr(succ)),
[INFO] [stdout]     |                          ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:121:23
[INFO] [stdout]     |
[INFO] [stdout] 121 |                 expr: box parse_expr(expr),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 121 |                 expr: Box::new(parse_expr(expr)),
[INFO] [stdout]     |                       ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:162:23
[INFO] [stdout]     |
[INFO] [stdout] 162 |                 fail: box parse_expr(fail),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 162 |                 fail: Box::new(parse_expr(fail)),
[INFO] [stdout]     |                       ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:142:67
[INFO] [stdout]     |
[INFO] [stdout] 142 |             let exprs: Vec<Box<Expr>> = pair.into_inner().map(|x| box parse_expr(x)).collect();
[INFO] [stdout]     |                                                                   ^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 142 |             let exprs: Vec<Box<Expr>> = pair.into_inner().map(|x| Box::new(parse_expr(x))).collect();
[INFO] [stdout]     |                                                                   ~~~~~~~~~             +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:171:23
[INFO] [stdout]     |
[INFO] [stdout] 171 |                 expr: box parse_expr(expr),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 171 |                 expr: Box::new(parse_expr(expr)),
[INFO] [stdout]     |                       ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:208:19
[INFO] [stdout]     |
[INFO] [stdout] 208 |             expr: box expr,
[INFO] [stdout]     |                   ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 208 |             expr: Box::new(expr),
[INFO] [stdout]     |                   ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:148:64
[INFO] [stdout]     |
[INFO] [stdout] 148 |             let branches: Vec<Box<MatchBranch>> = pair.map(|x| box parse_match_branch(x)).collect();
[INFO] [stdout]     |                                                                ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 148 |             let branches: Vec<Box<MatchBranch>> = pair.map(|x| Box::new(parse_match_branch(x))).collect();
[INFO] [stdout]     |                                                                ~~~~~~~~~                     +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:216:19
[INFO] [stdout]     |
[INFO] [stdout] 216 |             expr: box expr,
[INFO] [stdout]     |                   ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 216 |             expr: Box::new(expr),
[INFO] [stdout]     |                   ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:150:23
[INFO] [stdout]     |
[INFO] [stdout] 150 |                 expr: box parse_expr(expr),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 150 |                 expr: Box::new(parse_expr(expr)),
[INFO] [stdout]     |                       ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:160:23
[INFO] [stdout]     |
[INFO] [stdout] 160 |                 expr: box parse_expr(expr),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 160 |                 expr: Box::new(parse_expr(expr)),
[INFO] [stdout]     |                       ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:161:26
[INFO] [stdout]     |
[INFO] [stdout] 161 |                 success: box parse_expr(succ),
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 161 |                 success: Box::new(parse_expr(succ)),
[INFO] [stdout]     |                          ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:162:23
[INFO] [stdout]     |
[INFO] [stdout] 162 |                 fail: box parse_expr(fail),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 162 |                 fail: Box::new(parse_expr(fail)),
[INFO] [stdout]     |                       ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:171:23
[INFO] [stdout]     |
[INFO] [stdout] 171 |                 expr: box parse_expr(expr),
[INFO] [stdout]     |                       ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 171 |                 expr: Box::new(parse_expr(expr)),
[INFO] [stdout]     |                       ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:208:19
[INFO] [stdout]     |
[INFO] [stdout] 208 |             expr: box expr,
[INFO] [stdout]     |                   ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 208 |             expr: Box::new(expr),
[INFO] [stdout]     |                   ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/parser.rs:216:19
[INFO] [stdout]     |
[INFO] [stdout] 216 |             expr: box expr,
[INFO] [stdout]     |                   ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 216 |             expr: Box::new(expr),
[INFO] [stdout]     |                   ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/transpiler/mod.rs:39:43
[INFO] [stdout]    |
[INFO] [stdout] 39 | ...                   expr: box transpile_expr(*expr.clone(), &rho, config)?,
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 39 |                                     expr: Box::new(transpile_expr(*expr.clone(), &rho, config)?),
[INFO] [stdout]    |                                           ~~~~~~~~~                                            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/transpiler/mod.rs:52:47
[INFO] [stdout]    |
[INFO] [stdout] 52 |   ...                   expr: box transpile_expr(
[INFO] [stdout]    |  _____________________________^
[INFO] [stdout] 53 | | ...                       *expr.clone(),
[INFO] [stdout] 54 | | ...                       &rho.with_vars(&HashSet::from_iter(
[INFO] [stdout] 55 | | ...                           vec![name.clone()],
[INFO] [stdout] 56 | | ...                       ))?,
[INFO] [stdout] 57 | | ...                       config,
[INFO] [stdout] 58 | | ...                   )?,
[INFO] [stdout]    | |________________________^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 52 ~                                         expr: Box::new(transpile_expr(
[INFO] [stdout] 53 |                                             *expr.clone(),
[INFO] [stdout] ...
[INFO] [stdout] 57 |                                             config,
[INFO] [stdout] 58 ~                                         )?),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/transpiler/mod.rs:50:51
[INFO] [stdout]    |
[INFO] [stdout] 50 |   ...                   expr: box Rec(box Abs {
[INFO] [stdout]    |  _____________________________________^
[INFO] [stdout] 51 | | ...                       var: name.clone(),
[INFO] [stdout] 52 | | ...                       expr: box transpile_expr(
[INFO] [stdout] 53 | | ...                           *expr.clone(),
[INFO] [stdout] ...  |
[INFO] [stdout] 58 | | ...                       )?,
[INFO] [stdout] 59 | | ...                   }),
[INFO] [stdout]    | |_______________________^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 50 ~                                     expr: box Rec(Box::new(Abs {
[INFO] [stdout] 51 |                                         var: name.clone(),
[INFO] [stdout] ...
[INFO] [stdout] 58 |                                         )?,
[INFO] [stdout] 59 ~                                     })),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/transpiler/mod.rs:50:43
[INFO] [stdout]    |
[INFO] [stdout] 50 |   ...                   expr: box Rec(box Abs {
[INFO] [stdout]    |  _____________________________^
[INFO] [stdout] 51 | | ...                       var: name.clone(),
[INFO] [stdout] 52 | | ...                       expr: box transpile_expr(
[INFO] [stdout] 53 | | ...                           *expr.clone(),
[INFO] [stdout] ...  |
[INFO] [stdout] 58 | | ...                       )?,
[INFO] [stdout] 59 | | ...                   }),
[INFO] [stdout]    | |________________________^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 50 ~                                     expr: Box::new(Rec(box Abs {
[INFO] [stdout] 51 |                                         var: name.clone(),
[INFO] [stdout] ...
[INFO] [stdout] 58 |                                         )?,
[INFO] [stdout] 59 ~                                     })),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/transpiler/mod.rs:77:25
[INFO] [stdout]    |
[INFO] [stdout] 77 |             .map(|x| Ok(box transpile_expr(*x, rho, config)?))
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 77 |             .map(|x| Ok(Box::new(transpile_expr(*x, rho, config)?)))
[INFO] [stdout]    |                         ~~~~~~~~~                                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:117:19
[INFO] [stdout]     |
[INFO] [stdout] 117 |               expr: box transpile_expr(
[INFO] [stdout]     |  ___________________^
[INFO] [stdout] 118 | |                 *expr,
[INFO] [stdout] 119 | |                 &rho.with_vars(&HashSet::from_iter(vec![var.clone()]))?,
[INFO] [stdout] 120 | |                 config,
[INFO] [stdout] 121 | |             )?,
[INFO] [stdout]     | |______________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 117 ~             expr: Box::new(transpile_expr(
[INFO] [stdout] 118 |                 *expr,
[INFO] [stdout] 119 |                 &rho.with_vars(&HashSet::from_iter(vec![var.clone()]))?,
[INFO] [stdout] 120 |                 config,
[INFO] [stdout] 121 ~             )?),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:181:25
[INFO] [stdout]     |
[INFO] [stdout] 181 | /                         box if *b {
[INFO] [stdout] 182 | |                             Const(String::from("true"))
[INFO] [stdout] 183 | |                         } else {
[INFO] [stdout] 184 | |                             Const(String::from("false"))
[INFO] [stdout] 185 | |                         }
[INFO] [stdout]     | |_________________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 181 ~                         Box::new(if *b {
[INFO] [stdout] 182 |                             Const(String::from("true"))
[INFO] [stdout] 183 |                         } else {
[INFO] [stdout] 184 |                             Const(String::from("false"))
[INFO] [stdout] 185 ~                         })
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:189:39
[INFO] [stdout]     |
[INFO] [stdout] 189 |                 ascii_expr.push_front(box Const(String::from("Ascii")));
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 189 |                 ascii_expr.push_front(Box::new(Const(String::from("Ascii"))));
[INFO] [stdout]     |                                       ~~~~~~~~~                            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:226:35
[INFO] [stdout]     |
[INFO] [stdout] 226 | ...                   expr: box inner,
[INFO] [stdout]     |                             ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 226 |                             expr: Box::new(inner),
[INFO] [stdout]     |                                   ~~~~~~~~~     +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:230:31
[INFO] [stdout]     |
[INFO] [stdout] 230 |                         expr: box coq_expr.clone(),
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 230 |                         expr: Box::new(coq_expr.clone()),
[INFO] [stdout]     |                               ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:232:31
[INFO] [stdout]     |
[INFO] [stdout] 232 |                         then: box then_abs,
[INFO] [stdout]     |                               ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 232 |                         then: Box::new(then_abs),
[INFO] [stdout]     |                               ~~~~~~~~~        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:233:30
[INFO] [stdout]     |
[INFO] [stdout] 233 |                         els: box els_branch,
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 233 |                         els: Box::new(els_branch),
[INFO] [stdout]     |                              ~~~~~~~~~          +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/transpiler/mod.rs:39:43
[INFO] [stdout]    |
[INFO] [stdout] 39 | ...                   expr: box transpile_expr(*expr.clone(), &rho, config)?,
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 39 |                                     expr: Box::new(transpile_expr(*expr.clone(), &rho, config)?),
[INFO] [stdout]    |                                           ~~~~~~~~~                                            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/transpiler/mod.rs:52:47
[INFO] [stdout]    |
[INFO] [stdout] 52 |   ...                   expr: box transpile_expr(
[INFO] [stdout]    |  _____________________________^
[INFO] [stdout] 53 | | ...                       *expr.clone(),
[INFO] [stdout] 54 | | ...                       &rho.with_vars(&HashSet::from_iter(
[INFO] [stdout] 55 | | ...                           vec![name.clone()],
[INFO] [stdout] 56 | | ...                       ))?,
[INFO] [stdout] 57 | | ...                       config,
[INFO] [stdout] 58 | | ...                   )?,
[INFO] [stdout]    | |________________________^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 52 ~                                         expr: Box::new(transpile_expr(
[INFO] [stdout] 53 |                                             *expr.clone(),
[INFO] [stdout] ...
[INFO] [stdout] 57 |                                             config,
[INFO] [stdout] 58 ~                                         )?),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/transpiler/mod.rs:50:51
[INFO] [stdout]    |
[INFO] [stdout] 50 |   ...                   expr: box Rec(box Abs {
[INFO] [stdout]    |  _____________________________________^
[INFO] [stdout] 51 | | ...                       var: name.clone(),
[INFO] [stdout] 52 | | ...                       expr: box transpile_expr(
[INFO] [stdout] 53 | | ...                           *expr.clone(),
[INFO] [stdout] ...  |
[INFO] [stdout] 58 | | ...                       )?,
[INFO] [stdout] 59 | | ...                   }),
[INFO] [stdout]    | |_______________________^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 50 ~                                     expr: box Rec(Box::new(Abs {
[INFO] [stdout] 51 |                                         var: name.clone(),
[INFO] [stdout] ...
[INFO] [stdout] 58 |                                         )?,
[INFO] [stdout] 59 ~                                     })),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/transpiler/mod.rs:50:43
[INFO] [stdout]    |
[INFO] [stdout] 50 |   ...                   expr: box Rec(box Abs {
[INFO] [stdout]    |  _____________________________^
[INFO] [stdout] 51 | | ...                       var: name.clone(),
[INFO] [stdout] 52 | | ...                       expr: box transpile_expr(
[INFO] [stdout] 53 | | ...                           *expr.clone(),
[INFO] [stdout] ...  |
[INFO] [stdout] 58 | | ...                       )?,
[INFO] [stdout] 59 | | ...                   }),
[INFO] [stdout]    | |________________________^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 50 ~                                     expr: Box::new(Rec(box Abs {
[INFO] [stdout] 51 |                                         var: name.clone(),
[INFO] [stdout] ...
[INFO] [stdout] 58 |                                         )?,
[INFO] [stdout] 59 ~                                     })),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]   --> src/transpiler/mod.rs:77:25
[INFO] [stdout]    |
[INFO] [stdout] 77 |             .map(|x| Ok(box transpile_expr(*x, rho, config)?))
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]    |
[INFO] [stdout] 77 |             .map(|x| Ok(Box::new(transpile_expr(*x, rho, config)?)))
[INFO] [stdout]    |                         ~~~~~~~~~                                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:117:19
[INFO] [stdout]     |
[INFO] [stdout] 117 |               expr: box transpile_expr(
[INFO] [stdout]     |  ___________________^
[INFO] [stdout] 118 | |                 *expr,
[INFO] [stdout] 119 | |                 &rho.with_vars(&HashSet::from_iter(vec![var.clone()]))?,
[INFO] [stdout] 120 | |                 config,
[INFO] [stdout] 121 | |             )?,
[INFO] [stdout]     | |______________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 117 ~             expr: Box::new(transpile_expr(
[INFO] [stdout] 118 |                 *expr,
[INFO] [stdout] 119 |                 &rho.with_vars(&HashSet::from_iter(vec![var.clone()]))?,
[INFO] [stdout] 120 |                 config,
[INFO] [stdout] 121 ~             )?),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:181:25
[INFO] [stdout]     |
[INFO] [stdout] 181 | /                         box if *b {
[INFO] [stdout] 182 | |                             Const(String::from("true"))
[INFO] [stdout] 183 | |                         } else {
[INFO] [stdout] 184 | |                             Const(String::from("false"))
[INFO] [stdout] 185 | |                         }
[INFO] [stdout]     | |_________________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 181 ~                         Box::new(if *b {
[INFO] [stdout] 182 |                             Const(String::from("true"))
[INFO] [stdout] 183 |                         } else {
[INFO] [stdout] 184 |                             Const(String::from("false"))
[INFO] [stdout] 185 ~                         })
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:189:39
[INFO] [stdout]     |
[INFO] [stdout] 189 |                 ascii_expr.push_front(box Const(String::from("Ascii")));
[INFO] [stdout]     |                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 189 |                 ascii_expr.push_front(Box::new(Const(String::from("Ascii"))));
[INFO] [stdout]     |                                       ~~~~~~~~~                            +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:226:35
[INFO] [stdout]     |
[INFO] [stdout] 226 | ...                   expr: box inner,
[INFO] [stdout]     |                             ^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 226 |                             expr: Box::new(inner),
[INFO] [stdout]     |                                   ~~~~~~~~~     +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:230:31
[INFO] [stdout]     |
[INFO] [stdout] 230 |                         expr: box coq_expr.clone(),
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 230 |                         expr: Box::new(coq_expr.clone()),
[INFO] [stdout]     |                               ~~~~~~~~~                +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:232:31
[INFO] [stdout]     |
[INFO] [stdout] 232 |                         then: box then_abs,
[INFO] [stdout]     |                               ^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 232 |                         then: Box::new(then_abs),
[INFO] [stdout]     |                               ~~~~~~~~~        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:233:30
[INFO] [stdout]     |
[INFO] [stdout] 233 |                         els: box els_branch,
[INFO] [stdout]     |                              ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 233 |                         els: Box::new(els_branch),
[INFO] [stdout]     |                              ~~~~~~~~~          +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:98:25
[INFO] [stdout]     |
[INFO] [stdout] 98  | /                         box MatchBranch {
[INFO] [stdout] 99  | |                             pat: Pat::Constructor {
[INFO] [stdout] 100 | |                                 ctor: String::from("true"),
[INFO] [stdout] 101 | |                                 args: vec![],
[INFO] [stdout] 102 | |                             },
[INFO] [stdout] 103 | |                             expr: success,
[INFO] [stdout] 104 | |                         },
[INFO] [stdout]     | |_________________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 98  ~                         Box::new(MatchBranch {
[INFO] [stdout] 99  |                             pat: Pat::Constructor {
[INFO] [stdout] ...
[INFO] [stdout] 103 |                             expr: success,
[INFO] [stdout] 104 ~                         }),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:105:25
[INFO] [stdout]     |
[INFO] [stdout] 105 | /                         box MatchBranch {
[INFO] [stdout] 106 | |                             pat: Pat::Ignore,
[INFO] [stdout] 107 | |                             expr: fail,
[INFO] [stdout] 108 | |                         },
[INFO] [stdout]     | |_________________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 105 ~                         Box::new(MatchBranch {
[INFO] [stdout] 106 |                             pat: Pat::Ignore,
[INFO] [stdout] 107 |                             expr: fail,
[INFO] [stdout] 108 ~                         }),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:199:17
[INFO] [stdout]     |
[INFO] [stdout] 199 |                 box App(vec![box Const(String::from("String")), box expr]),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 199 |                 Box::new(App(vec![box Const(String::from("String")), box expr])),
[INFO] [stdout]     |                 ~~~~~~~~~                                                      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:200:17
[INFO] [stdout]     |
[INFO] [stdout] 200 |                 box prec,
[INFO] [stdout]     |                 ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 200 |                 Box::new(prec),
[INFO] [stdout]     |                 ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:98:25
[INFO] [stdout]     |
[INFO] [stdout] 98  | /                         box MatchBranch {
[INFO] [stdout] 99  | |                             pat: Pat::Constructor {
[INFO] [stdout] 100 | |                                 ctor: String::from("true"),
[INFO] [stdout] 101 | |                                 args: vec![],
[INFO] [stdout] 102 | |                             },
[INFO] [stdout] 103 | |                             expr: success,
[INFO] [stdout] 104 | |                         },
[INFO] [stdout]     | |_________________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 98  ~                         Box::new(MatchBranch {
[INFO] [stdout] 99  |                             pat: Pat::Constructor {
[INFO] [stdout] ...
[INFO] [stdout] 103 |                             expr: success,
[INFO] [stdout] 104 ~                         }),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:105:25
[INFO] [stdout]     |
[INFO] [stdout] 105 | /                         box MatchBranch {
[INFO] [stdout] 106 | |                             pat: Pat::Ignore,
[INFO] [stdout] 107 | |                             expr: fail,
[INFO] [stdout] 108 | |                         },
[INFO] [stdout]     | |_________________________^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 105 ~                         Box::new(MatchBranch {
[INFO] [stdout] 106 |                             pat: Pat::Ignore,
[INFO] [stdout] 107 |                             expr: fail,
[INFO] [stdout] 108 ~                         }),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:199:17
[INFO] [stdout]     |
[INFO] [stdout] 199 |                 box App(vec![box Const(String::from("String")), box expr]),
[INFO] [stdout]     |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 199 |                 Box::new(App(vec![box Const(String::from("String")), box expr])),
[INFO] [stdout]     |                 ~~~~~~~~~                                                      +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_syntax` has been removed
[INFO] [stdout]    --> src/transpiler/mod.rs:200:17
[INFO] [stdout]     |
[INFO] [stdout] 200 |                 box prec,
[INFO] [stdout]     |                 ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: use `Box::new()` instead
[INFO] [stdout]     |
[INFO] [stdout] 200 |                 Box::new(prec),
[INFO] [stdout]     |                 ~~~~~~~~~    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `iterator_fold_self` has been stable since 1.51.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(iterator_fold_self, box_syntax, box_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `iterator_fold_self` has been stable since 1.51.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(iterator_fold_self, box_syntax, box_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fold_first` found for struct `Map` in the current scope
[INFO] [stdout]   --> src/transpiler/ast.rs:19:14
[INFO] [stdout]    |
[INFO] [stdout] 15 |           let output = self
[INFO] [stdout]    |  ______________________-
[INFO] [stdout] 16 | |             .stmts
[INFO] [stdout] 17 | |             .iter()
[INFO] [stdout] 18 | |             .map(|x| x.to_string())
[INFO] [stdout] 19 | |             .fold_first(|x, y| format!("{}\n{}", x, y))
[INFO] [stdout]    | |             -^^^^^^^^^^ method not found in `Map<Iter<'_, CoqStmt>, {closure@ast.rs:18:18}>`
[INFO] [stdout]    | |_____________|
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fold_first` found for struct `Map` in the current scope
[INFO] [stdout]   --> src/transpiler/ast.rs:19:14
[INFO] [stdout]    |
[INFO] [stdout] 15 |           let output = self
[INFO] [stdout]    |  ______________________-
[INFO] [stdout] 16 | |             .stmts
[INFO] [stdout] 17 | |             .iter()
[INFO] [stdout] 18 | |             .map(|x| x.to_string())
[INFO] [stdout] 19 | |             .fold_first(|x, y| format!("{}\n{}", x, y))
[INFO] [stdout]    | |             -^^^^^^^^^^ method not found in `Map<Iter<'_, CoqStmt>, {closure@ast.rs:18:18}>`
[INFO] [stdout]    | |_____________|
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fold_first` found for struct `std::vec::IntoIter` in the current scope
[INFO] [stdout]   --> src/transpiler/ast.rs:69:22
[INFO] [stdout]    |
[INFO] [stdout] 67 |                   let output = expr_strs
[INFO] [stdout]    |  ______________________________-
[INFO] [stdout] 68 | |                     .into_iter()
[INFO] [stdout] 69 | |                     .fold_first(|x, y| format!("(app {} {})", x, y))
[INFO] [stdout]    | |                     -^^^^^^^^^^ method not found in `IntoIter<String>`
[INFO] [stdout]    | |_____________________|
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fold_first` found for struct `std::vec::IntoIter` in the current scope
[INFO] [stdout]   --> src/transpiler/ast.rs:69:22
[INFO] [stdout]    |
[INFO] [stdout] 67 |                   let output = expr_strs
[INFO] [stdout]    |  ______________________________-
[INFO] [stdout] 68 | |                     .into_iter()
[INFO] [stdout] 69 | |                     .fold_first(|x, y| format!("(app {} {})", x, y))
[INFO] [stdout]    | |                     -^^^^^^^^^^ method not found in `IntoIter<String>`
[INFO] [stdout]    | |_____________________|
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fold_first` found for struct `Map` in the current scope
[INFO] [stdout]    --> src/transpiler/ast.rs:118:14
[INFO] [stdout]     |
[INFO] [stdout] 115 |           let arg_output = arg_strs
[INFO] [stdout]     |  __________________________-
[INFO] [stdout] 116 | |             .into_iter()
[INFO] [stdout] 117 | |             .map(|x| format!("\"{}\"", x))
[INFO] [stdout] 118 | |             .fold_first(|x, y| format!("{}; {}", x, y))
[INFO] [stdout]     | |             -^^^^^^^^^^ method not found in `Map<IntoIter<String>, {closure@ast.rs:117:18}>`
[INFO] [stdout]     | |_____________|
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fold_first` found for struct `Map` in the current scope
[INFO] [stdout]    --> src/transpiler/ast.rs:118:14
[INFO] [stdout]     |
[INFO] [stdout] 115 |           let arg_output = arg_strs
[INFO] [stdout]     |  __________________________-
[INFO] [stdout] 116 | |             .into_iter()
[INFO] [stdout] 117 | |             .map(|x| format!("\"{}\"", x))
[INFO] [stdout] 118 | |             .fold_first(|x, y| format!("{}; {}", x, y))
[INFO] [stdout]     | |             -^^^^^^^^^^ method not found in `Map<IntoIter<String>, {closure@ast.rs:117:18}>`
[INFO] [stdout]     | |_____________|
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fold_first` found for struct `Map` in the current scope
[INFO] [stdout]  --> src/transpiler/utils.rs:6:10
[INFO] [stdout]   |
[INFO] [stdout] 2 | /     input_str
[INFO] [stdout] 3 | |         .lines()
[INFO] [stdout] 4 | |         .into_iter()
[INFO] [stdout] 5 | |         .map(|x| format!("  {}", x))
[INFO] [stdout] 6 | |         .fold_first(|x, y| format!("{}\n{}", x, y))
[INFO] [stdout]   | |         -^^^^^^^^^^ method not found in `Map<Lines<'_>, {closure@utils.rs:5:14}>`
[INFO] [stdout]   | |_________|
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `fold_first` found for struct `Map` in the current scope
[INFO] [stdout]  --> src/transpiler/utils.rs:6:10
[INFO] [stdout]   |
[INFO] [stdout] 2 | /     input_str
[INFO] [stdout] 3 | |         .lines()
[INFO] [stdout] 4 | |         .into_iter()
[INFO] [stdout] 5 | |         .map(|x| format!("  {}", x))
[INFO] [stdout] 6 | |         .fold_first(|x, y| format!("{}\n{}", x, y))
[INFO] [stdout]   | |         -^^^^^^^^^^ method not found in `Map<Lines<'_>, {closure@utils.rs:5:14}>`
[INFO] [stdout]   | |_________|
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 32 previous errors; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0557, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `toy_lang_parser_rs` (bin "toy_lang_parser_rs") due to 33 previous errors; 1 warning emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error: aborting due to 32 previous errors; 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0557, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0557`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `toy_lang_parser_rs` (bin "toy_lang_parser_rs" test) due to 33 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "8e26d9f4f6ec4abe605c0da77d3cc2664f7223353563396810b6874039c49c01", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8e26d9f4f6ec4abe605c0da77d3cc2664f7223353563396810b6874039c49c01", kill_on_drop: false }`
[INFO] [stdout] 8e26d9f4f6ec4abe605c0da77d3cc2664f7223353563396810b6874039c49c01