[INFO] cloning repository https://github.com/felko/lamb [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/felko/lamb" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffelko%2Flamb", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffelko%2Flamb'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] be125e6984f7b9e086fe1e5611daca452f4f718c [INFO] checking felko/lamb against master#8c32e313cccf7df531e2d49ffb8227bb92304aee for pr-145608-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ffelko%2Flamb" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/felko/lamb [INFO] finished tweaking git repo https://github.com/felko/lamb [INFO] tweaked toml for git repo https://github.com/felko/lamb written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/felko/lamb on toolchain 8c32e313cccf7df531e2d49ffb8227bb92304aee [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8c32e313cccf7df531e2d49ffb8227bb92304aee" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/felko/lamb 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" "+8c32e313cccf7df531e2d49ffb8227bb92304aee" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded winapi-util v0.1.5 [INFO] [stderr] Downloaded termcolor v1.1.3 [INFO] [stderr] Downloaded version_check v0.9.4 [INFO] [stderr] Downloaded pretty v0.11.3 [INFO] [stderr] Downloaded slotmap v1.0.6 [INFO] [stderr] Downloaded unicode-segmentation v1.9.0 [INFO] [stderr] Downloaded thiserror v1.0.31 [INFO] [stderr] Downloaded tiny-keccak v2.0.2 [INFO] [stderr] Downloaded scopeguard v1.1.0 [INFO] [stderr] Downloaded proc-macro-error v1.0.4 [INFO] [stderr] Downloaded heck v0.4.0 [INFO] [stderr] Downloaded proc-macro-error-attr v1.0.4 [INFO] [stderr] Downloaded clap_derive v3.2.5 [INFO] [stderr] Downloaded logos-derive v0.12.1 [INFO] [stderr] Downloaded arrayvec v0.5.2 [INFO] [stderr] Downloaded os_str_bytes v6.1.0 [INFO] [stderr] Downloaded sized-chunks v0.6.5 [INFO] [stderr] Downloaded ascii-canvas v3.0.0 [INFO] [stderr] Downloaded indexmap v1.9.0 [INFO] [stderr] Downloaded wasi v0.11.0+wasi-snapshot-preview1 [INFO] [stderr] Downloaded libc v0.2.126 [INFO] [stderr] Downloaded lalrpop-util v0.19.8 [INFO] [stderr] Downloaded winapi-x86_64-pc-windows-gnu v0.4.0 [INFO] [stderr] Downloaded lazy_static v1.4.0 [INFO] [stderr] Downloaded beef v0.5.2 [INFO] [stderr] Downloaded windows_i686_msvc v0.36.1 [INFO] [stderr] Downloaded winapi-i686-pc-windows-gnu v0.4.0 [INFO] [stderr] Downloaded windows_x86_64_msvc v0.36.1 [INFO] [stderr] Downloaded windows_aarch64_msvc v0.36.1 [INFO] [stderr] Downloaded unicode-ident v1.0.1 [INFO] [stderr] Downloaded cfg-if v1.0.0 [INFO] [stderr] Downloaded rand_xoshiro v0.6.0 [INFO] [stderr] Downloaded bitmaps v2.1.0 [INFO] [stderr] Downloaded bit-set v0.5.2 [INFO] [stderr] Downloaded fixedbitset v0.4.1 [INFO] [stderr] Downloaded autocfg v1.1.0 [INFO] [stderr] Downloaded redox_syscall v0.2.13 [INFO] [stderr] Downloaded proc-macro2 v1.0.39 [INFO] [stderr] Downloaded logos v0.12.1 [INFO] [stderr] Downloaded itertools v0.10.3 [INFO] [stderr] Downloaded windows_i686_gnu v0.36.1 [INFO] [stderr] Downloaded windows_x86_64_gnu v0.36.1 [INFO] [stderr] Downloaded strsim v0.10.0 [INFO] [stderr] Downloaded regex-syntax v0.6.26 [INFO] [stderr] Downloaded textwrap v0.15.0 [INFO] [stderr] Downloaded rand_core v0.6.3 [INFO] [stderr] Downloaded typenum v1.15.0 [INFO] [stderr] Downloaded hermit-abi v0.1.19 [INFO] [stderr] Downloaded bit-vec v0.6.3 [INFO] [stderr] Downloaded clap v3.2.5 [INFO] [stderr] Downloaded hashbrown v0.12.1 [INFO] [stderr] Downloaded regex v1.5.6 [INFO] [stderr] Downloaded windows-sys v0.36.1 [INFO] [stderr] Downloaded syn v1.0.98 [INFO] [stderr] Downloaded diff v0.1.12 [INFO] [stderr] Downloaded im v15.1.0 [INFO] [stderr] Downloaded bumpalo v3.10.0 [INFO] [stderr] Downloaded petgraph v0.6.2 [INFO] [stderr] Downloaded either v1.6.1 [INFO] [stderr] Downloaded precomputed-hash v0.1.1 [INFO] [stderr] Downloaded clap_lex v0.2.2 [INFO] [stderr] Downloaded atty v0.2.14 [INFO] [stderr] Downloaded ena v0.14.0 [INFO] [stderr] Downloaded new_debug_unreachable v1.0.4 [INFO] [stderr] Downloaded once_cell v1.12.0 [INFO] [stderr] Downloaded lalrpop v0.19.8 [INFO] [stderr] Downloaded lock_api v0.4.7 [INFO] [stderr] Downloaded siphasher v0.3.10 [INFO] [stderr] Downloaded string_cache v0.8.4 [INFO] [stderr] Downloaded thiserror-impl v1.0.31 [INFO] [stderr] Downloaded dirs-next v2.0.0 [INFO] [stderr] Downloaded rustversion v1.0.6 [INFO] [stderr] Downloaded unicode-xid v0.2.3 [INFO] [stderr] Downloaded log v0.4.17 [INFO] [stderr] Downloaded winapi v0.3.9 [INFO] [stderr] Downloaded smallvec v1.8.0 [INFO] [stderr] Downloaded parking_lot_core v0.9.3 [INFO] [stderr] Downloaded parking_lot v0.12.1 [INFO] [stderr] Downloaded phf_shared v0.10.0 [INFO] [stderr] Downloaded getrandom v0.2.7 [INFO] [stderr] Downloaded redox_users v0.4.3 [INFO] [stderr] Downloaded term v0.7.0 [INFO] [stderr] Downloaded typed-arena v2.0.1 [INFO] [stderr] Downloaded quote v1.0.19 [INFO] [stderr] Downloaded dirs-sys-next v0.1.2 [INFO] [stderr] Downloaded crunchy v0.2.2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+8c32e313cccf7df531e2d49ffb8227bb92304aee" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] ebdca1a26663d0ed0110b81c7657fda32a701113fb50a6f0762916960901b390 [INFO] running `Command { std: "docker" "start" "-a" "ebdca1a26663d0ed0110b81c7657fda32a701113fb50a6f0762916960901b390", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "ebdca1a26663d0ed0110b81c7657fda32a701113fb50a6f0762916960901b390", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ebdca1a26663d0ed0110b81c7657fda32a701113fb50a6f0762916960901b390", kill_on_drop: false }` [INFO] [stdout] ebdca1a26663d0ed0110b81c7657fda32a701113fb50a6f0762916960901b390 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+8c32e313cccf7df531e2d49ffb8227bb92304aee" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] abddf74946244510f68443133af8c70ab87037598be9d5b6c2c3250b4c63e1de [INFO] running `Command { std: "docker" "start" "-a" "abddf74946244510f68443133af8c70ab87037598be9d5b6c2c3250b4c63e1de", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling libc v0.2.126 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling proc-macro2 v1.0.39 [INFO] [stderr] Compiling unicode-ident v1.0.1 [INFO] [stderr] Compiling log v0.4.17 [INFO] [stderr] Compiling parking_lot_core v0.9.3 [INFO] [stderr] Compiling syn v1.0.98 [INFO] [stderr] Compiling regex-syntax v0.6.26 [INFO] [stderr] Compiling smallvec v1.8.0 [INFO] [stderr] Compiling scopeguard v1.1.0 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Compiling siphasher v0.3.10 [INFO] [stderr] Compiling typenum v1.15.0 [INFO] [stderr] Compiling hashbrown v0.12.1 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling phf_shared v0.10.0 [INFO] [stderr] Compiling new_debug_unreachable v1.0.4 [INFO] [stderr] Compiling once_cell v1.12.0 [INFO] [stderr] Compiling precomputed-hash v0.1.1 [INFO] [stderr] Compiling either v1.6.1 [INFO] [stderr] Compiling fixedbitset v0.4.1 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling itertools v0.10.3 [INFO] [stderr] Compiling ena v0.14.0 [INFO] [stderr] Compiling lock_api v0.4.7 [INFO] [stderr] Compiling indexmap v1.9.0 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling diff v0.1.12 [INFO] [stderr] Compiling unicode-xid v0.2.3 [INFO] [stderr] Compiling lalrpop-util v0.19.8 [INFO] [stderr] Compiling quote v1.0.19 [INFO] [stderr] Compiling bit-set v0.5.2 [INFO] [stderr] Compiling slotmap v1.0.6 [INFO] [stderr] Compiling im v15.1.0 [INFO] [stderr] Checking rand_core v0.6.3 [INFO] [stderr] Compiling heck v0.4.0 [INFO] [stderr] Checking os_str_bytes v6.1.0 [INFO] [stderr] Compiling beef v0.5.2 [INFO] [stderr] Compiling fnv v1.0.7 [INFO] [stderr] Checking termcolor v1.1.3 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking rand_xoshiro v0.6.0 [INFO] [stderr] Checking clap_lex v0.2.2 [INFO] [stderr] Checking bitmaps v2.1.0 [INFO] [stderr] Checking typed-arena v2.0.1 [INFO] [stderr] Checking bitflags v1.3.2 [INFO] [stderr] Checking textwrap v0.15.0 [INFO] [stderr] Checking unicode-segmentation v1.9.0 [INFO] [stderr] Checking arrayvec v0.5.2 [INFO] [stderr] Checking strsim v0.10.0 [INFO] [stderr] Checking bumpalo v3.10.0 [INFO] [stderr] Compiling petgraph v0.6.2 [INFO] [stderr] Compiling regex v1.5.6 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Compiling dirs-sys-next v0.1.2 [INFO] [stderr] Checking pretty v0.11.3 [INFO] [stderr] Compiling dirs-next v2.0.0 [INFO] [stderr] Compiling term v0.7.0 [INFO] [stderr] Compiling parking_lot v0.12.1 [INFO] [stderr] Compiling ascii-canvas v3.0.0 [INFO] [stderr] Checking sized-chunks v0.6.5 [INFO] [stderr] Compiling string_cache v0.8.4 [INFO] [stderr] Compiling lalrpop v0.19.8 [INFO] [stderr] Compiling clap_derive v3.2.5 [INFO] [stderr] Compiling logos-derive v0.12.1 [INFO] [stderr] Checking clap v3.2.5 [INFO] [stderr] Checking logos v0.12.1 [INFO] [stderr] Compiling lamb v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/main.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | box_syntax, [INFO] [stdout] | ^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: removed in 1.70.0; see for more information [INFO] [stdout] = note: replaced with `#[rustc_box]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:44:23 [INFO] [stdout] | [INFO] [stdout] 44 | cont: box cont(c), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 44 - cont: box cont(c), [INFO] [stdout] 44 + cont: Box::new(cont(c)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/main.rs:3:5 [INFO] [stdout] | [INFO] [stdout] 3 | box_syntax, [INFO] [stdout] | ^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: removed in 1.70.0; see for more information [INFO] [stdout] = note: replaced with `#[rustc_box]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:59:56 [INFO] [stdout] | [INFO] [stdout] 59 | self.substitute_var(env_name, subst, name, box move |var| { [INFO] [stdout] | ________________________________________________________^ [INFO] [stdout] 60 | | cont(Value::Var { [INFO] [stdout] 61 | | name: var, [INFO] [stdout] 62 | | type_args: Vec::new(), [INFO] [stdout] 63 | | type_, [INFO] [stdout] 64 | | }) [INFO] [stdout] 65 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 59 ~ self.substitute_var(env_name, subst, name, Box::new(move |var| { [INFO] [stdout] 60 | cont(Value::Var { [INFO] [stdout] ... [INFO] [stdout] 64 | }) [INFO] [stdout] 65 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:83:75 [INFO] [stdout] | [INFO] [stdout] 83 | self.substitute_value(env_name, subst, values[index].clone(), box move |value| { [INFO] [stdout] | ___________________________________________________________________________^ [INFO] [stdout] 84 | | let mut next_accum = accum.clone(); [INFO] [stdout] 85 | | next_accum.push(value); [INFO] [stdout] 86 | | self.substitute_values_aux(env_name, subst, values, index + 1, next_accum, cont) [INFO] [stdout] 87 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 ~ self.substitute_value(env_name, subst, values[index].clone(), Box::new(move |value| { [INFO] [stdout] 84 | let mut next_accum = accum.clone(); [INFO] [stdout] 85 | next_accum.push(value); [INFO] [stdout] 86 | self.substitute_values_aux(env_name, subst, values, index + 1, next_accum, cont) [INFO] [stdout] 87 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:110:79 [INFO] [stdout] | [INFO] [stdout] 110 | *expr = self.substitute_value(env_name, subst, value.clone(), box move |value| { [INFO] [stdout] | _______________________________________________________________________________^ [INFO] [stdout] 111 | | Expr::Halt { value } [INFO] [stdout] 112 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 110 ~ *expr = self.substitute_value(env_name, subst, value.clone(), Box::new(move |value| { [INFO] [stdout] 111 | Expr::Halt { value } [INFO] [stdout] 112 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:119:71 [INFO] [stdout] | [INFO] [stdout] 119 | *expr = self.substitute_values(env_name, subst, args, box move |args| Expr::Jump { [INFO] [stdout] | _______________________________________________________________________^ [INFO] [stdout] 120 | | name: name.clone(), [INFO] [stdout] 121 | | args, [INFO] [stdout] 122 | | return_type: return_type.clone(), [INFO] [stdout] 123 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 119 ~ *expr = self.substitute_values(env_name, subst, args, Box::new(move |args| Expr::Jump { [INFO] [stdout] 120 | name: name.clone(), [INFO] [stdout] 121 | args, [INFO] [stdout] 122 | return_type: return_type.clone(), [INFO] [stdout] 123 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:153:73 [INFO] [stdout] | [INFO] [stdout] 153 | self.substitute_value(env_name, subst, rhs.clone(), box move |rhs| { [INFO] [stdout] | _________________________________________________________________________^ [INFO] [stdout] 154 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 155 | | Expr::LetAdd { [INFO] [stdout] 156 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 161 | | }) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 153 ~ self.substitute_value(env_name, subst, rhs.clone(), Box::new(move |rhs| { [INFO] [stdout] 154 | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] ... [INFO] [stdout] 160 | } [INFO] [stdout] 161 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:152:77 [INFO] [stdout] | [INFO] [stdout] 152 | *expr = self.substitute_value(env_name, subst, lhs.clone(), box move |lhs| { [INFO] [stdout] | _____________________________________________________________________________^ [INFO] [stdout] 153 | | self.substitute_value(env_name, subst, rhs.clone(), box move |rhs| { [INFO] [stdout] 154 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 155 | | Expr::LetAdd { [INFO] [stdout] ... | [INFO] [stdout] 161 | | }) [INFO] [stdout] 162 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 152 ~ *expr = self.substitute_value(env_name, subst, lhs.clone(), Box::new(move |lhs| { [INFO] [stdout] 153 | self.substitute_value(env_name, subst, rhs.clone(), box move |rhs| { [INFO] [stdout] ... [INFO] [stdout] 161 | }) [INFO] [stdout] 162 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:44:23 [INFO] [stdout] | [INFO] [stdout] 44 | cont: box cont(c), [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 44 - cont: box cont(c), [INFO] [stdout] 44 + cont: Box::new(cont(c)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:59:56 [INFO] [stdout] | [INFO] [stdout] 59 | self.substitute_var(env_name, subst, name, box move |var| { [INFO] [stdout] | ________________________________________________________^ [INFO] [stdout] 60 | | cont(Value::Var { [INFO] [stdout] 61 | | name: var, [INFO] [stdout] 62 | | type_args: Vec::new(), [INFO] [stdout] 63 | | type_, [INFO] [stdout] 64 | | }) [INFO] [stdout] 65 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 59 ~ self.substitute_var(env_name, subst, name, Box::new(move |var| { [INFO] [stdout] 60 | cont(Value::Var { [INFO] [stdout] ... [INFO] [stdout] 64 | }) [INFO] [stdout] 65 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:83:75 [INFO] [stdout] | [INFO] [stdout] 83 | self.substitute_value(env_name, subst, values[index].clone(), box move |value| { [INFO] [stdout] | ___________________________________________________________________________^ [INFO] [stdout] 84 | | let mut next_accum = accum.clone(); [INFO] [stdout] 85 | | next_accum.push(value); [INFO] [stdout] 86 | | self.substitute_values_aux(env_name, subst, values, index + 1, next_accum, cont) [INFO] [stdout] 87 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 ~ self.substitute_value(env_name, subst, values[index].clone(), Box::new(move |value| { [INFO] [stdout] 84 | let mut next_accum = accum.clone(); [INFO] [stdout] 85 | next_accum.push(value); [INFO] [stdout] 86 | self.substitute_values_aux(env_name, subst, values, index + 1, next_accum, cont) [INFO] [stdout] 87 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:110:79 [INFO] [stdout] | [INFO] [stdout] 110 | *expr = self.substitute_value(env_name, subst, value.clone(), box move |value| { [INFO] [stdout] | _______________________________________________________________________________^ [INFO] [stdout] 111 | | Expr::Halt { value } [INFO] [stdout] 112 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 110 ~ *expr = self.substitute_value(env_name, subst, value.clone(), Box::new(move |value| { [INFO] [stdout] 111 | Expr::Halt { value } [INFO] [stdout] 112 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:119:71 [INFO] [stdout] | [INFO] [stdout] 119 | *expr = self.substitute_values(env_name, subst, args, box move |args| Expr::Jump { [INFO] [stdout] | _______________________________________________________________________^ [INFO] [stdout] 120 | | name: name.clone(), [INFO] [stdout] 121 | | args, [INFO] [stdout] 122 | | return_type: return_type.clone(), [INFO] [stdout] 123 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 119 ~ *expr = self.substitute_values(env_name, subst, args, Box::new(move |args| Expr::Jump { [INFO] [stdout] 120 | name: name.clone(), [INFO] [stdout] 121 | args, [INFO] [stdout] 122 | return_type: return_type.clone(), [INFO] [stdout] 123 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:153:73 [INFO] [stdout] | [INFO] [stdout] 153 | self.substitute_value(env_name, subst, rhs.clone(), box move |rhs| { [INFO] [stdout] | _________________________________________________________________________^ [INFO] [stdout] 154 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 155 | | Expr::LetAdd { [INFO] [stdout] 156 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 161 | | }) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 153 ~ self.substitute_value(env_name, subst, rhs.clone(), Box::new(move |rhs| { [INFO] [stdout] 154 | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] ... [INFO] [stdout] 160 | } [INFO] [stdout] 161 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:152:77 [INFO] [stdout] | [INFO] [stdout] 152 | *expr = self.substitute_value(env_name, subst, lhs.clone(), box move |lhs| { [INFO] [stdout] | _____________________________________________________________________________^ [INFO] [stdout] 153 | | self.substitute_value(env_name, subst, rhs.clone(), box move |rhs| { [INFO] [stdout] 154 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 155 | | Expr::LetAdd { [INFO] [stdout] ... | [INFO] [stdout] 161 | | }) [INFO] [stdout] 162 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 152 ~ *expr = self.substitute_value(env_name, subst, lhs.clone(), Box::new(move |lhs| { [INFO] [stdout] 153 | self.substitute_value(env_name, subst, rhs.clone(), box move |rhs| { [INFO] [stdout] ... [INFO] [stdout] 161 | }) [INFO] [stdout] 162 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:170:79 [INFO] [stdout] | [INFO] [stdout] 170 | *expr = self.substitute_value(env_name, subst, value.clone(), box move |value| { [INFO] [stdout] | _______________________________________________________________________________^ [INFO] [stdout] 171 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 172 | | Expr::LetVal { [INFO] [stdout] 173 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 178 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 170 ~ *expr = self.substitute_value(env_name, subst, value.clone(), Box::new(move |value| { [INFO] [stdout] 171 | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] ... [INFO] [stdout] 177 | } [INFO] [stdout] 178 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:188:67 [INFO] [stdout] | [INFO] [stdout] 188 | self.substitute_values(env_name, subst, args, box move |args| { [INFO] [stdout] | ___________________________________________________________________^ [INFO] [stdout] 189 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 190 | | Expr::LetApp { [INFO] [stdout] 191 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 197 | | }) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 188 ~ self.substitute_values(env_name, subst, args, Box::new(move |args| { [INFO] [stdout] 189 | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] ... [INFO] [stdout] 196 | } [INFO] [stdout] 197 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:187:80 [INFO] [stdout] | [INFO] [stdout] 187 | *expr = self.substitute_value(env_name, subst, callee.clone(), box move |callee| { [INFO] [stdout] | ________________________________________________________________________________^ [INFO] [stdout] 188 | | self.substitute_values(env_name, subst, args, box move |args| { [INFO] [stdout] 189 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 190 | | Expr::LetApp { [INFO] [stdout] ... | [INFO] [stdout] 197 | | }) [INFO] [stdout] 198 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 187 ~ *expr = self.substitute_value(env_name, subst, callee.clone(), Box::new(move |callee| { [INFO] [stdout] 188 | self.substitute_values(env_name, subst, args, box move |args| { [INFO] [stdout] ... [INFO] [stdout] 197 | }) [INFO] [stdout] 198 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:206:75 [INFO] [stdout] | [INFO] [stdout] 206 | *expr = self.substitute_values(env_name, subst, elements, box move |elements| { [INFO] [stdout] | ___________________________________________________________________________^ [INFO] [stdout] 207 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 208 | | Expr::LetTuple { [INFO] [stdout] 209 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 214 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 206 ~ *expr = self.substitute_values(env_name, subst, elements, Box::new(move |elements| { [INFO] [stdout] 207 | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] ... [INFO] [stdout] 213 | } [INFO] [stdout] 214 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:170:79 [INFO] [stdout] | [INFO] [stdout] 170 | *expr = self.substitute_value(env_name, subst, value.clone(), box move |value| { [INFO] [stdout] | _______________________________________________________________________________^ [INFO] [stdout] 171 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 172 | | Expr::LetVal { [INFO] [stdout] 173 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 178 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 170 ~ *expr = self.substitute_value(env_name, subst, value.clone(), Box::new(move |value| { [INFO] [stdout] 171 | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] ... [INFO] [stdout] 177 | } [INFO] [stdout] 178 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:188:67 [INFO] [stdout] | [INFO] [stdout] 188 | self.substitute_values(env_name, subst, args, box move |args| { [INFO] [stdout] | ___________________________________________________________________^ [INFO] [stdout] 189 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 190 | | Expr::LetApp { [INFO] [stdout] 191 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 197 | | }) [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 188 ~ self.substitute_values(env_name, subst, args, Box::new(move |args| { [INFO] [stdout] 189 | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] ... [INFO] [stdout] 196 | } [INFO] [stdout] 197 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:187:80 [INFO] [stdout] | [INFO] [stdout] 187 | *expr = self.substitute_value(env_name, subst, callee.clone(), box move |callee| { [INFO] [stdout] | ________________________________________________________________________________^ [INFO] [stdout] 188 | | self.substitute_values(env_name, subst, args, box move |args| { [INFO] [stdout] 189 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 190 | | Expr::LetApp { [INFO] [stdout] ... | [INFO] [stdout] 197 | | }) [INFO] [stdout] 198 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 187 ~ *expr = self.substitute_value(env_name, subst, callee.clone(), Box::new(move |callee| { [INFO] [stdout] 188 | self.substitute_values(env_name, subst, args, box move |args| { [INFO] [stdout] ... [INFO] [stdout] 197 | }) [INFO] [stdout] 198 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:206:75 [INFO] [stdout] | [INFO] [stdout] 206 | *expr = self.substitute_values(env_name, subst, elements, box move |elements| { [INFO] [stdout] | ___________________________________________________________________________^ [INFO] [stdout] 207 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 208 | | Expr::LetTuple { [INFO] [stdout] 209 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 214 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 206 ~ *expr = self.substitute_values(env_name, subst, elements, Box::new(move |elements| { [INFO] [stdout] 207 | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] ... [INFO] [stdout] 213 | } [INFO] [stdout] 214 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:223:79 [INFO] [stdout] | [INFO] [stdout] 223 | *expr = self.substitute_value(env_name, subst, tuple.clone(), box move |tuple| { [INFO] [stdout] | _______________________________________________________________________________^ [INFO] [stdout] 224 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 225 | | Expr::LetProj { [INFO] [stdout] 226 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 232 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 223 ~ *expr = self.substitute_value(env_name, subst, tuple.clone(), Box::new(move |tuple| { [INFO] [stdout] 224 | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] ... [INFO] [stdout] 231 | } [INFO] [stdout] 232 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:240:70 [INFO] [stdout] | [INFO] [stdout] 240 | self.substitute_value(env_name, subst, cond.clone(), box move |cond| { [INFO] [stdout] | ______________________________________________________________________^ [INFO] [stdout] 241 | | self.substitute_free_variables(env_name, subst, then); [INFO] [stdout] 242 | | self.substitute_free_variables(env_name, subst, else_); [INFO] [stdout] 243 | | Expr::If { [INFO] [stdout] ... | [INFO] [stdout] 249 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 240 ~ self.substitute_value(env_name, subst, cond.clone(), Box::new(move |cond| { [INFO] [stdout] 241 | self.substitute_free_variables(env_name, subst, then); [INFO] [stdout] ... [INFO] [stdout] 248 | } [INFO] [stdout] 249 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:300:25 [INFO] [stdout] | [INFO] [stdout] 300 | *cont = box Expr::LetTuple { [INFO] [stdout] | _________________________^ [INFO] [stdout] 301 | | name: env_name, [INFO] [stdout] 302 | | types: env_types, [INFO] [stdout] 303 | | elements: env, [INFO] [stdout] 304 | | cont: cont.clone(), [INFO] [stdout] 305 | | }; [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 300 ~ *cont = Box::new(Expr::LetTuple { [INFO] [stdout] 301 | name: env_name, [INFO] [stdout] ... [INFO] [stdout] 304 | cont: cont.clone(), [INFO] [stdout] 305 ~ }); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:337:27 [INFO] [stdout] | [INFO] [stdout] 337 | cont: box Expr::LetApp { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 338 | | name: name.clone(), [INFO] [stdout] 339 | | type_: type_.clone(), [INFO] [stdout] 340 | | callee: Value::Var { [INFO] [stdout] ... | [INFO] [stdout] 346 | | cont: cont.clone(), [INFO] [stdout] 347 | | }, [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 337 ~ cont: Box::new(Expr::LetApp { [INFO] [stdout] 338 | name: name.clone(), [INFO] [stdout] ... [INFO] [stdout] 346 | cont: cont.clone(), [INFO] [stdout] 347 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:223:79 [INFO] [stdout] | [INFO] [stdout] 223 | *expr = self.substitute_value(env_name, subst, tuple.clone(), box move |tuple| { [INFO] [stdout] | _______________________________________________________________________________^ [INFO] [stdout] 224 | | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] 225 | | Expr::LetProj { [INFO] [stdout] 226 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 232 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 223 ~ *expr = self.substitute_value(env_name, subst, tuple.clone(), Box::new(move |tuple| { [INFO] [stdout] 224 | self.substitute_free_variables(env_name, subst, cont); [INFO] [stdout] ... [INFO] [stdout] 231 | } [INFO] [stdout] 232 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:240:70 [INFO] [stdout] | [INFO] [stdout] 240 | self.substitute_value(env_name, subst, cond.clone(), box move |cond| { [INFO] [stdout] | ______________________________________________________________________^ [INFO] [stdout] 241 | | self.substitute_free_variables(env_name, subst, then); [INFO] [stdout] 242 | | self.substitute_free_variables(env_name, subst, else_); [INFO] [stdout] 243 | | Expr::If { [INFO] [stdout] ... | [INFO] [stdout] 249 | | }); [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 240 ~ self.substitute_value(env_name, subst, cond.clone(), Box::new(move |cond| { [INFO] [stdout] 241 | self.substitute_free_variables(env_name, subst, then); [INFO] [stdout] ... [INFO] [stdout] 248 | } [INFO] [stdout] 249 ~ })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:300:25 [INFO] [stdout] | [INFO] [stdout] 300 | *cont = box Expr::LetTuple { [INFO] [stdout] | _________________________^ [INFO] [stdout] 301 | | name: env_name, [INFO] [stdout] 302 | | types: env_types, [INFO] [stdout] 303 | | elements: env, [INFO] [stdout] 304 | | cont: cont.clone(), [INFO] [stdout] 305 | | }; [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 300 ~ *cont = Box::new(Expr::LetTuple { [INFO] [stdout] 301 | name: env_name, [INFO] [stdout] ... [INFO] [stdout] 304 | cont: cont.clone(), [INFO] [stdout] 305 ~ }); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/closure_conversion.rs:337:27 [INFO] [stdout] | [INFO] [stdout] 337 | cont: box Expr::LetApp { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 338 | | name: name.clone(), [INFO] [stdout] 339 | | type_: type_.clone(), [INFO] [stdout] 340 | | callee: Value::Var { [INFO] [stdout] ... | [INFO] [stdout] 346 | | cont: cont.clone(), [INFO] [stdout] 347 | | }, [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 337 ~ cont: Box::new(Expr::LetApp { [INFO] [stdout] 338 | name: name.clone(), [INFO] [stdout] ... [INFO] [stdout] 346 | cont: cont.clone(), [INFO] [stdout] 347 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:38:57 [INFO] [stdout] | [INFO] [stdout] 38 | self.convert_many_aux(index + 1, exprs, box move |tail| { [INFO] [stdout] | _________________________________________________________^ [INFO] [stdout] 39 | | let mut values = vec![head]; [INFO] [stdout] 40 | | values.extend(tail); [INFO] [stdout] 41 | | expr_cont(values) [INFO] [stdout] 42 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 38 ~ self.convert_many_aux(index + 1, exprs, Box::new(move |tail| { [INFO] [stdout] 39 | let mut values = vec![head]; [INFO] [stdout] 40 | values.extend(tail); [INFO] [stdout] 41 | expr_cont(values) [INFO] [stdout] 42 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:38:57 [INFO] [stdout] | [INFO] [stdout] 38 | self.convert_many_aux(index + 1, exprs, box move |tail| { [INFO] [stdout] | _________________________________________________________^ [INFO] [stdout] 39 | | let mut values = vec![head]; [INFO] [stdout] 40 | | values.extend(tail); [INFO] [stdout] 41 | | expr_cont(values) [INFO] [stdout] 42 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 38 ~ self.convert_many_aux(index + 1, exprs, Box::new(move |tail| { [INFO] [stdout] 39 | let mut values = vec![head]; [INFO] [stdout] 40 | values.extend(tail); [INFO] [stdout] 41 | expr_cont(values) [INFO] [stdout] 42 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:37:37 [INFO] [stdout] | [INFO] [stdout] 37 | self.convert_expr(elem, box move |head| { [INFO] [stdout] | _____________________________________^ [INFO] [stdout] 38 | | self.convert_many_aux(index + 1, exprs, box move |tail| { [INFO] [stdout] 39 | | let mut values = vec![head]; [INFO] [stdout] 40 | | values.extend(tail); [INFO] [stdout] 41 | | expr_cont(values) [INFO] [stdout] 42 | | }) [INFO] [stdout] 43 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 37 ~ self.convert_expr(elem, Box::new(move |head| { [INFO] [stdout] 38 | self.convert_many_aux(index + 1, exprs, box move |tail| { [INFO] [stdout] ... [INFO] [stdout] 42 | }) [INFO] [stdout] 43 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:62:46 [INFO] [stdout] | [INFO] [stdout] 62 | self.convert_many(&args.clone(), box move |args_val| { [INFO] [stdout] | ______________________________________________^ [INFO] [stdout] 63 | | self.convert_app_aux( [INFO] [stdout] 64 | | callee_val.clone(), [INFO] [stdout] 65 | | match callee_val { [INFO] [stdout] ... | [INFO] [stdout] 72 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 62 ~ self.convert_many(&args.clone(), Box::new(move |args_val| { [INFO] [stdout] 63 | self.convert_app_aux( [INFO] [stdout] ... [INFO] [stdout] 71 | ) [INFO] [stdout] 72 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:61:35 [INFO] [stdout] | [INFO] [stdout] 61 | self.convert_expr(callee, box move |callee_val| { [INFO] [stdout] | ___________________________________^ [INFO] [stdout] 62 | | self.convert_many(&args.clone(), box move |args_val| { [INFO] [stdout] 63 | | self.convert_app_aux( [INFO] [stdout] 64 | | callee_val.clone(), [INFO] [stdout] ... | [INFO] [stdout] 72 | | }) [INFO] [stdout] 73 | | }) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 61 ~ self.convert_expr(callee, Box::new(move |callee_val| { [INFO] [stdout] 62 | self.convert_many(&args.clone(), box move |args_val| { [INFO] [stdout] ... [INFO] [stdout] 72 | }) [INFO] [stdout] 73 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:96:31 [INFO] [stdout] | [INFO] [stdout] 96 | cont: box self.convert_app_aux( [INFO] [stdout] | _______________________________^ [INFO] [stdout] 97 | | anf::Value::Var { [INFO] [stdout] 98 | | name: r2, [INFO] [stdout] 99 | | type_args: type_args.to_vec(), [INFO] [stdout] ... | [INFO] [stdout] 104 | | expr_cont, [INFO] [stdout] 105 | | ), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 96 ~ cont: Box::new(self.convert_app_aux( [INFO] [stdout] 97 | anf::Value::Var { [INFO] [stdout] ... [INFO] [stdout] 104 | expr_cont, [INFO] [stdout] 105 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:121:67 [INFO] [stdout] | [INFO] [stdout] 121 | ... anf::Type::Func(remaining_params, box return_type.clone()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 121 - anf::Type::Func(remaining_params, box return_type.clone()) [INFO] [stdout] 121 + anf::Type::Func(remaining_params, Box::new(return_type.clone())) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:115:31 [INFO] [stdout] | [INFO] [stdout] 115 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 116 | | name: r, [INFO] [stdout] 117 | | type_args: Vec::new(), [INFO] [stdout] 118 | | type_: if remaining_params.is_empty() { [INFO] [stdout] ... | [INFO] [stdout] 122 | | }, [INFO] [stdout] 123 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 115 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 116 | name: r, [INFO] [stdout] ... [INFO] [stdout] 122 | }, [INFO] [stdout] 123 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:156:21 [INFO] [stdout] | [INFO] [stdout] 156 | box return_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 156 - box return_type.clone(), [INFO] [stdout] 156 + Box::new(return_type.clone()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:158:56 [INFO] [stdout] | [INFO] [stdout] 158 | let body_anf = self.convert_expr(body, box |ret| anf::Expr::Halt { value: ret }); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 158 - let body_anf = self.convert_expr(body, box |ret| anf::Expr::Halt { value: ret }); [INFO] [stdout] 158 + let body_anf = self.convert_expr(body, Box::new(|ret| anf::Expr::Halt { value: ret })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:164:27 [INFO] [stdout] | [INFO] [stdout] 164 | body: box body_anf, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 164 - body: box body_anf, [INFO] [stdout] 164 + body: Box::new(body_anf), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:165:27 [INFO] [stdout] | [INFO] [stdout] 165 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 166 | | name, [INFO] [stdout] 167 | | type_args: Vec::new(), [INFO] [stdout] 168 | | type_: abs_type, [INFO] [stdout] 169 | | }), [INFO] [stdout] | |______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 165 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 166 | name, [INFO] [stdout] 167 | type_args: Vec::new(), [INFO] [stdout] 168 | type_: abs_type, [INFO] [stdout] 169 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:179:31 [INFO] [stdout] | [INFO] [stdout] 179 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 180 | | name, [INFO] [stdout] 181 | | type_args: Vec::new(), [INFO] [stdout] 182 | | type_: anf::Type::Int, [INFO] [stdout] 183 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 179 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 180 | name, [INFO] [stdout] 181 | type_args: Vec::new(), [INFO] [stdout] 182 | type_: anf::Type::Int, [INFO] [stdout] 183 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:37:37 [INFO] [stdout] | [INFO] [stdout] 37 | self.convert_expr(elem, box move |head| { [INFO] [stdout] | _____________________________________^ [INFO] [stdout] 38 | | self.convert_many_aux(index + 1, exprs, box move |tail| { [INFO] [stdout] 39 | | let mut values = vec![head]; [INFO] [stdout] 40 | | values.extend(tail); [INFO] [stdout] 41 | | expr_cont(values) [INFO] [stdout] 42 | | }) [INFO] [stdout] 43 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 37 ~ self.convert_expr(elem, Box::new(move |head| { [INFO] [stdout] 38 | self.convert_many_aux(index + 1, exprs, box move |tail| { [INFO] [stdout] ... [INFO] [stdout] 42 | }) [INFO] [stdout] 43 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:62:46 [INFO] [stdout] | [INFO] [stdout] 62 | self.convert_many(&args.clone(), box move |args_val| { [INFO] [stdout] | ______________________________________________^ [INFO] [stdout] 63 | | self.convert_app_aux( [INFO] [stdout] 64 | | callee_val.clone(), [INFO] [stdout] 65 | | match callee_val { [INFO] [stdout] ... | [INFO] [stdout] 72 | | }) [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 62 ~ self.convert_many(&args.clone(), Box::new(move |args_val| { [INFO] [stdout] 63 | self.convert_app_aux( [INFO] [stdout] ... [INFO] [stdout] 71 | ) [INFO] [stdout] 72 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:61:35 [INFO] [stdout] | [INFO] [stdout] 61 | self.convert_expr(callee, box move |callee_val| { [INFO] [stdout] | ___________________________________^ [INFO] [stdout] 62 | | self.convert_many(&args.clone(), box move |args_val| { [INFO] [stdout] 63 | | self.convert_app_aux( [INFO] [stdout] 64 | | callee_val.clone(), [INFO] [stdout] ... | [INFO] [stdout] 72 | | }) [INFO] [stdout] 73 | | }) [INFO] [stdout] | |_________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 61 ~ self.convert_expr(callee, Box::new(move |callee_val| { [INFO] [stdout] 62 | self.convert_many(&args.clone(), box move |args_val| { [INFO] [stdout] ... [INFO] [stdout] 72 | }) [INFO] [stdout] 73 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:96:31 [INFO] [stdout] | [INFO] [stdout] 96 | cont: box self.convert_app_aux( [INFO] [stdout] | _______________________________^ [INFO] [stdout] 97 | | anf::Value::Var { [INFO] [stdout] 98 | | name: r2, [INFO] [stdout] 99 | | type_args: type_args.to_vec(), [INFO] [stdout] ... | [INFO] [stdout] 104 | | expr_cont, [INFO] [stdout] 105 | | ), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 96 ~ cont: Box::new(self.convert_app_aux( [INFO] [stdout] 97 | anf::Value::Var { [INFO] [stdout] ... [INFO] [stdout] 104 | expr_cont, [INFO] [stdout] 105 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:121:67 [INFO] [stdout] | [INFO] [stdout] 121 | ... anf::Type::Func(remaining_params, box return_type.clone()) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 121 - anf::Type::Func(remaining_params, box return_type.clone()) [INFO] [stdout] 121 + anf::Type::Func(remaining_params, Box::new(return_type.clone())) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:115:31 [INFO] [stdout] | [INFO] [stdout] 115 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 116 | | name: r, [INFO] [stdout] 117 | | type_args: Vec::new(), [INFO] [stdout] 118 | | type_: if remaining_params.is_empty() { [INFO] [stdout] ... | [INFO] [stdout] 122 | | }, [INFO] [stdout] 123 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 115 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 116 | name: r, [INFO] [stdout] ... [INFO] [stdout] 122 | }, [INFO] [stdout] 123 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:156:21 [INFO] [stdout] | [INFO] [stdout] 156 | box return_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 156 - box return_type.clone(), [INFO] [stdout] 156 + Box::new(return_type.clone()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:158:56 [INFO] [stdout] | [INFO] [stdout] 158 | let body_anf = self.convert_expr(body, box |ret| anf::Expr::Halt { value: ret }); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 158 - let body_anf = self.convert_expr(body, box |ret| anf::Expr::Halt { value: ret }); [INFO] [stdout] 158 + let body_anf = self.convert_expr(body, Box::new(|ret| anf::Expr::Halt { value: ret })); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:164:27 [INFO] [stdout] | [INFO] [stdout] 164 | body: box body_anf, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 164 - body: box body_anf, [INFO] [stdout] 164 + body: Box::new(body_anf), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:165:27 [INFO] [stdout] | [INFO] [stdout] 165 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 166 | | name, [INFO] [stdout] 167 | | type_args: Vec::new(), [INFO] [stdout] 168 | | type_: abs_type, [INFO] [stdout] 169 | | }), [INFO] [stdout] | |______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 165 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 166 | name, [INFO] [stdout] 167 | type_args: Vec::new(), [INFO] [stdout] 168 | type_: abs_type, [INFO] [stdout] 169 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:179:31 [INFO] [stdout] | [INFO] [stdout] 179 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 180 | | name, [INFO] [stdout] 181 | | type_args: Vec::new(), [INFO] [stdout] 182 | | type_: anf::Type::Int, [INFO] [stdout] 183 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 179 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 180 | name, [INFO] [stdout] 181 | type_args: Vec::new(), [INFO] [stdout] 182 | type_: anf::Type::Int, [INFO] [stdout] 183 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:173:40 [INFO] [stdout] | [INFO] [stdout] 173 | self.convert_expr(rhs, box move |rhs_val| { [INFO] [stdout] | ________________________________________^ [INFO] [stdout] 174 | | let name = self.fresh("a"); [INFO] [stdout] 175 | | anf::Expr::LetAdd { [INFO] [stdout] 176 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 185 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 173 ~ self.convert_expr(rhs, Box::new(move |rhs_val| { [INFO] [stdout] 174 | let name = self.fresh("a"); [INFO] [stdout] ... [INFO] [stdout] 184 | } [INFO] [stdout] 185 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:172:73 [INFO] [stdout] | [INFO] [stdout] 172 | core::Expr::Add(box lhs, box rhs) => self.convert_expr(lhs, box move |lhs_val| { [INFO] [stdout] | _________________________________________________________________________^ [INFO] [stdout] 173 | | self.convert_expr(rhs, box move |rhs_val| { [INFO] [stdout] 174 | | let name = self.fresh("a"); [INFO] [stdout] 175 | | anf::Expr::LetAdd { [INFO] [stdout] ... | [INFO] [stdout] 185 | | }) [INFO] [stdout] 186 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 172 ~ core::Expr::Add(box lhs, box rhs) => self.convert_expr(lhs, Box::new(move |lhs_val| { [INFO] [stdout] 173 | self.convert_expr(rhs, box move |rhs_val| { [INFO] [stdout] ... [INFO] [stdout] 185 | }) [INFO] [stdout] 186 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:201:35 [INFO] [stdout] | [INFO] [stdout] 201 | ... cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 201 - cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 201 + cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:213:43 [INFO] [stdout] | [INFO] [stdout] 213 | ... cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 213 - cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 213 + cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:204:58 [INFO] [stdout] | [INFO] [stdout] 204 | ... self.convert_many(&elements, box move |elements_val| { [INFO] [stdout] | ____________________________________________________^ [INFO] [stdout] 205 | | ... let types = elements_val [INFO] [stdout] 206 | | ... .iter() [INFO] [stdout] 207 | | ... .map(ANFConverter::infer_value) [INFO] [stdout] ... | [INFO] [stdout] 215 | | ... }) [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 204 ~ self.convert_many(&elements, Box::new(move |elements_val| { [INFO] [stdout] 205 | let types = elements_val [INFO] [stdout] ... [INFO] [stdout] 214 | } [INFO] [stdout] 215 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:224:35 [INFO] [stdout] | [INFO] [stdout] 224 | ... cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 224 - cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 224 + cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:220:57 [INFO] [stdout] | [INFO] [stdout] 220 | body => self.convert_expr(body, box move |body_value| anf::Expr::LetVal { [INFO] [stdout] | _________________________________________________________^ [INFO] [stdout] 221 | | name: name.to_owned(), [INFO] [stdout] 222 | | type_: return_type, [INFO] [stdout] 223 | | value: body_value, [INFO] [stdout] 224 | | cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 225 | | }), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 220 ~ body => self.convert_expr(body, Box::new(move |body_value| anf::Expr::LetVal { [INFO] [stdout] 221 | name: name.to_owned(), [INFO] [stdout] ... [INFO] [stdout] 224 | cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 225 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:233:59 [INFO] [stdout] | [INFO] [stdout] 233 | body: box self.convert_expr(body, box move |return_value| { [INFO] [stdout] | ___________________________________________________________^ [INFO] [stdout] 234 | | anf::Expr::Halt { [INFO] [stdout] 235 | | value: return_value, [INFO] [stdout] 236 | | } [INFO] [stdout] 237 | | }), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 233 ~ body: box self.convert_expr(body, Box::new(move |return_value| { [INFO] [stdout] 234 | anf::Expr::Halt { [INFO] [stdout] 235 | value: return_value, [INFO] [stdout] 236 | } [INFO] [stdout] 237 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:233:31 [INFO] [stdout] | [INFO] [stdout] 233 | body: box self.convert_expr(body, box move |return_value| { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 234 | | anf::Expr::Halt { [INFO] [stdout] 235 | | value: return_value, [INFO] [stdout] 236 | | } [INFO] [stdout] 237 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 233 ~ body: Box::new(self.convert_expr(body, box move |return_value| { [INFO] [stdout] 234 | anf::Expr::Halt { [INFO] [stdout] 235 | value: return_value, [INFO] [stdout] 236 | } [INFO] [stdout] 237 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:238:31 [INFO] [stdout] | [INFO] [stdout] 238 | cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 238 - cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 238 + cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:251:33 [INFO] [stdout] | [INFO] [stdout] 251 | let join_cont = box move |value| anf::Expr::Jump { [INFO] [stdout] | _________________________________^ [INFO] [stdout] 252 | | name: join_point_name2, [INFO] [stdout] 253 | | args: vec![value], [INFO] [stdout] 254 | | return_type: return_type2, [INFO] [stdout] 255 | | }; [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 251 ~ let join_cont = Box::new(move |value| anf::Expr::Jump { [INFO] [stdout] 252 | name: join_point_name2, [INFO] [stdout] 253 | args: vec![value], [INFO] [stdout] 254 | return_type: return_type2, [INFO] [stdout] 255 ~ }); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:267:75 [INFO] [stdout] | [INFO] [stdout] 267 | type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 267 - type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] 267 + type_: anf::Type::Func(vec![return_type.clone()], Box::new(return_type.clone())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:264:27 [INFO] [stdout] | [INFO] [stdout] 264 | body: box expr_cont(anf::Value::Var { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 265 | | name: join_param, [INFO] [stdout] 266 | | type_args: Vec::new(), [INFO] [stdout] 267 | | type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] 268 | | }), [INFO] [stdout] | |______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 264 ~ body: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 265 | name: join_param, [INFO] [stdout] 266 | type_args: Vec::new(), [INFO] [stdout] 267 | type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] 268 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:272:31 [INFO] [stdout] | [INFO] [stdout] 272 | then: box self.convert_expr(then, join_cont.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 272 - then: box self.convert_expr(then, join_cont.clone()), [INFO] [stdout] 272 + then: Box::new(self.convert_expr(then, join_cont.clone())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:173:40 [INFO] [stdout] | [INFO] [stdout] 173 | self.convert_expr(rhs, box move |rhs_val| { [INFO] [stdout] | ________________________________________^ [INFO] [stdout] 174 | | let name = self.fresh("a"); [INFO] [stdout] 175 | | anf::Expr::LetAdd { [INFO] [stdout] 176 | | name: name.clone(), [INFO] [stdout] ... | [INFO] [stdout] 185 | | }) [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 173 ~ self.convert_expr(rhs, Box::new(move |rhs_val| { [INFO] [stdout] 174 | let name = self.fresh("a"); [INFO] [stdout] ... [INFO] [stdout] 184 | } [INFO] [stdout] 185 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:172:73 [INFO] [stdout] | [INFO] [stdout] 172 | core::Expr::Add(box lhs, box rhs) => self.convert_expr(lhs, box move |lhs_val| { [INFO] [stdout] | _________________________________________________________________________^ [INFO] [stdout] 173 | | self.convert_expr(rhs, box move |rhs_val| { [INFO] [stdout] 174 | | let name = self.fresh("a"); [INFO] [stdout] 175 | | anf::Expr::LetAdd { [INFO] [stdout] ... | [INFO] [stdout] 185 | | }) [INFO] [stdout] 186 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 172 ~ core::Expr::Add(box lhs, box rhs) => self.convert_expr(lhs, Box::new(move |lhs_val| { [INFO] [stdout] 173 | self.convert_expr(rhs, box move |rhs_val| { [INFO] [stdout] ... [INFO] [stdout] 185 | }) [INFO] [stdout] 186 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:201:35 [INFO] [stdout] | [INFO] [stdout] 201 | ... cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 201 - cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 201 + cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:213:43 [INFO] [stdout] | [INFO] [stdout] 213 | ... cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 213 - cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 213 + cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:204:58 [INFO] [stdout] | [INFO] [stdout] 204 | ... self.convert_many(&elements, box move |elements_val| { [INFO] [stdout] | ____________________________________________________^ [INFO] [stdout] 205 | | ... let types = elements_val [INFO] [stdout] 206 | | ... .iter() [INFO] [stdout] 207 | | ... .map(ANFConverter::infer_value) [INFO] [stdout] ... | [INFO] [stdout] 215 | | ... }) [INFO] [stdout] | |_______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 204 ~ self.convert_many(&elements, Box::new(move |elements_val| { [INFO] [stdout] 205 | let types = elements_val [INFO] [stdout] ... [INFO] [stdout] 214 | } [INFO] [stdout] 215 ~ })) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:224:35 [INFO] [stdout] | [INFO] [stdout] 224 | ... cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 224 - cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 224 + cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:220:57 [INFO] [stdout] | [INFO] [stdout] 220 | body => self.convert_expr(body, box move |body_value| anf::Expr::LetVal { [INFO] [stdout] | _________________________________________________________^ [INFO] [stdout] 221 | | name: name.to_owned(), [INFO] [stdout] 222 | | type_: return_type, [INFO] [stdout] 223 | | value: body_value, [INFO] [stdout] 224 | | cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 225 | | }), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 220 ~ body => self.convert_expr(body, Box::new(move |body_value| anf::Expr::LetVal { [INFO] [stdout] 221 | name: name.to_owned(), [INFO] [stdout] ... [INFO] [stdout] 224 | cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 225 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:233:59 [INFO] [stdout] | [INFO] [stdout] 233 | body: box self.convert_expr(body, box move |return_value| { [INFO] [stdout] | ___________________________________________________________^ [INFO] [stdout] 234 | | anf::Expr::Halt { [INFO] [stdout] 235 | | value: return_value, [INFO] [stdout] 236 | | } [INFO] [stdout] 237 | | }), [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 233 ~ body: box self.convert_expr(body, Box::new(move |return_value| { [INFO] [stdout] 234 | anf::Expr::Halt { [INFO] [stdout] 235 | value: return_value, [INFO] [stdout] 236 | } [INFO] [stdout] 237 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:233:31 [INFO] [stdout] | [INFO] [stdout] 233 | body: box self.convert_expr(body, box move |return_value| { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 234 | | anf::Expr::Halt { [INFO] [stdout] 235 | | value: return_value, [INFO] [stdout] 236 | | } [INFO] [stdout] 237 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 233 ~ body: Box::new(self.convert_expr(body, box move |return_value| { [INFO] [stdout] 234 | anf::Expr::Halt { [INFO] [stdout] 235 | value: return_value, [INFO] [stdout] 236 | } [INFO] [stdout] 237 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:238:31 [INFO] [stdout] | [INFO] [stdout] 238 | cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 238 - cont: box self.convert_expr(cont, expr_cont), [INFO] [stdout] 238 + cont: Box::new(self.convert_expr(cont, expr_cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:251:33 [INFO] [stdout] | [INFO] [stdout] 251 | let join_cont = box move |value| anf::Expr::Jump { [INFO] [stdout] | _________________________________^ [INFO] [stdout] 252 | | name: join_point_name2, [INFO] [stdout] 253 | | args: vec![value], [INFO] [stdout] 254 | | return_type: return_type2, [INFO] [stdout] 255 | | }; [INFO] [stdout] | |_________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 251 ~ let join_cont = Box::new(move |value| anf::Expr::Jump { [INFO] [stdout] 252 | name: join_point_name2, [INFO] [stdout] 253 | args: vec![value], [INFO] [stdout] 254 | return_type: return_type2, [INFO] [stdout] 255 ~ }); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:267:75 [INFO] [stdout] | [INFO] [stdout] 267 | type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 267 - type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] 267 + type_: anf::Type::Func(vec![return_type.clone()], Box::new(return_type.clone())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:273:32 [INFO] [stdout] | [INFO] [stdout] 273 | else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 273 - else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] 273 + else_: Box::new(self.convert_expr(else_, join_cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:269:27 [INFO] [stdout] | [INFO] [stdout] 269 | cont: box anf::Expr::If { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 270 | | cond: cond_value, [INFO] [stdout] 271 | | return_type, [INFO] [stdout] 272 | | then: box self.convert_expr(then, join_cont.clone()), [INFO] [stdout] 273 | | else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] 274 | | }, [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 269 ~ cont: Box::new(anf::Expr::If { [INFO] [stdout] 270 | cond: cond_value, [INFO] [stdout] ... [INFO] [stdout] 273 | else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] 274 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:247:42 [INFO] [stdout] | [INFO] [stdout] 247 | } => self.convert_expr(cond, box move |cond_value| { [INFO] [stdout] | __________________________________________^ [INFO] [stdout] 248 | | let join_point_name = self.fresh("j"); [INFO] [stdout] 249 | | let join_point_name2 = join_point_name.clone(); [INFO] [stdout] 250 | | let return_type2 = return_type.clone(); [INFO] [stdout] ... | [INFO] [stdout] 276 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 247 ~ } => self.convert_expr(cond, Box::new(move |cond_value| { [INFO] [stdout] 248 | let join_point_name = self.fresh("j"); [INFO] [stdout] ... [INFO] [stdout] 275 | } [INFO] [stdout] 276 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:288:27 [INFO] [stdout] | [INFO] [stdout] 288 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 289 | | name: r, [INFO] [stdout] 290 | | type_args: Vec::new(), [INFO] [stdout] 291 | | type_: anf::Type::Tuple(types.clone()), [INFO] [stdout] 292 | | }), [INFO] [stdout] | |______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 288 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 289 | name: r, [INFO] [stdout] 290 | type_args: Vec::new(), [INFO] [stdout] 291 | type_: anf::Type::Tuple(types.clone()), [INFO] [stdout] 292 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:278:73 [INFO] [stdout] | [INFO] [stdout] 278 | core::Expr::Tuple(elements) => self.convert_many(&elements, box move |elements_val| { [INFO] [stdout] | _________________________________________________________________________^ [INFO] [stdout] 279 | | let r = self.fresh("t"); [INFO] [stdout] 280 | | let types = elements_val [INFO] [stdout] 281 | | .iter() [INFO] [stdout] ... | [INFO] [stdout] 294 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 278 ~ core::Expr::Tuple(elements) => self.convert_many(&elements, Box::new(move |elements_val| { [INFO] [stdout] 279 | let r = self.fresh("t"); [INFO] [stdout] ... [INFO] [stdout] 293 | } [INFO] [stdout] 294 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:304:31 [INFO] [stdout] | [INFO] [stdout] 304 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 305 | | name: r, [INFO] [stdout] 306 | | type_args: Vec::new(), [INFO] [stdout] 307 | | type_: element_type.clone(), [INFO] [stdout] 308 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 304 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 305 | name: r, [INFO] [stdout] 306 | type_args: Vec::new(), [INFO] [stdout] 307 | type_: element_type.clone(), [INFO] [stdout] 308 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:295:76 [INFO] [stdout] | [INFO] [stdout] 295 | core::Expr::Proj(box tuple, index) => self.convert_expr(tuple, box move |tuple_val| { [INFO] [stdout] | ____________________________________________________________________________^ [INFO] [stdout] 296 | | let r = self.fresh("t"); [INFO] [stdout] 297 | | if let anf::Type::Tuple(element_types) = ANFConverter::infer_value(&tuple_val) { [INFO] [stdout] 298 | | let element_type = element_types[index as usize].clone(); [INFO] [stdout] ... | [INFO] [stdout] 313 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 295 ~ core::Expr::Proj(box tuple, index) => self.convert_expr(tuple, Box::new(move |tuple_val| { [INFO] [stdout] 296 | let r = self.fresh("t"); [INFO] [stdout] ... [INFO] [stdout] 312 | } [INFO] [stdout] 313 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:264:27 [INFO] [stdout] | [INFO] [stdout] 264 | body: box expr_cont(anf::Value::Var { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 265 | | name: join_param, [INFO] [stdout] 266 | | type_args: Vec::new(), [INFO] [stdout] 267 | | type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] 268 | | }), [INFO] [stdout] | |______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 264 ~ body: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 265 | name: join_param, [INFO] [stdout] 266 | type_args: Vec::new(), [INFO] [stdout] 267 | type_: anf::Type::Func(vec![return_type.clone()], box return_type.clone()), [INFO] [stdout] 268 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:272:31 [INFO] [stdout] | [INFO] [stdout] 272 | then: box self.convert_expr(then, join_cont.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 272 - then: box self.convert_expr(then, join_cont.clone()), [INFO] [stdout] 272 + then: Box::new(self.convert_expr(then, join_cont.clone())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:273:32 [INFO] [stdout] | [INFO] [stdout] 273 | else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 273 - else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] 273 + else_: Box::new(self.convert_expr(else_, join_cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:269:27 [INFO] [stdout] | [INFO] [stdout] 269 | cont: box anf::Expr::If { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 270 | | cond: cond_value, [INFO] [stdout] 271 | | return_type, [INFO] [stdout] 272 | | then: box self.convert_expr(then, join_cont.clone()), [INFO] [stdout] 273 | | else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] 274 | | }, [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 269 ~ cont: Box::new(anf::Expr::If { [INFO] [stdout] 270 | cond: cond_value, [INFO] [stdout] ... [INFO] [stdout] 273 | else_: box self.convert_expr(else_, join_cont), [INFO] [stdout] 274 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:247:42 [INFO] [stdout] | [INFO] [stdout] 247 | } => self.convert_expr(cond, box move |cond_value| { [INFO] [stdout] | __________________________________________^ [INFO] [stdout] 248 | | let join_point_name = self.fresh("j"); [INFO] [stdout] 249 | | let join_point_name2 = join_point_name.clone(); [INFO] [stdout] 250 | | let return_type2 = return_type.clone(); [INFO] [stdout] ... | [INFO] [stdout] 276 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 247 ~ } => self.convert_expr(cond, Box::new(move |cond_value| { [INFO] [stdout] 248 | let join_point_name = self.fresh("j"); [INFO] [stdout] ... [INFO] [stdout] 275 | } [INFO] [stdout] 276 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:288:27 [INFO] [stdout] | [INFO] [stdout] 288 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | ___________________________^ [INFO] [stdout] 289 | | name: r, [INFO] [stdout] 290 | | type_args: Vec::new(), [INFO] [stdout] 291 | | type_: anf::Type::Tuple(types.clone()), [INFO] [stdout] 292 | | }), [INFO] [stdout] | |______________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 288 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 289 | name: r, [INFO] [stdout] 290 | type_args: Vec::new(), [INFO] [stdout] 291 | type_: anf::Type::Tuple(types.clone()), [INFO] [stdout] 292 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:278:73 [INFO] [stdout] | [INFO] [stdout] 278 | core::Expr::Tuple(elements) => self.convert_many(&elements, box move |elements_val| { [INFO] [stdout] | _________________________________________________________________________^ [INFO] [stdout] 279 | | let r = self.fresh("t"); [INFO] [stdout] 280 | | let types = elements_val [INFO] [stdout] 281 | | .iter() [INFO] [stdout] ... | [INFO] [stdout] 294 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 278 ~ core::Expr::Tuple(elements) => self.convert_many(&elements, Box::new(move |elements_val| { [INFO] [stdout] 279 | let r = self.fresh("t"); [INFO] [stdout] ... [INFO] [stdout] 293 | } [INFO] [stdout] 294 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:304:31 [INFO] [stdout] | [INFO] [stdout] 304 | cont: box expr_cont(anf::Value::Var { [INFO] [stdout] | _______________________________^ [INFO] [stdout] 305 | | name: r, [INFO] [stdout] 306 | | type_args: Vec::new(), [INFO] [stdout] 307 | | type_: element_type.clone(), [INFO] [stdout] 308 | | }), [INFO] [stdout] | |__________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 304 ~ cont: Box::new(expr_cont(anf::Value::Var { [INFO] [stdout] 305 | name: r, [INFO] [stdout] 306 | type_args: Vec::new(), [INFO] [stdout] 307 | type_: element_type.clone(), [INFO] [stdout] 308 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:295:76 [INFO] [stdout] | [INFO] [stdout] 295 | core::Expr::Proj(box tuple, index) => self.convert_expr(tuple, box move |tuple_val| { [INFO] [stdout] | ____________________________________________________________________________^ [INFO] [stdout] 296 | | let r = self.fresh("t"); [INFO] [stdout] 297 | | if let anf::Type::Tuple(element_types) = ANFConverter::infer_value(&tuple_val) { [INFO] [stdout] 298 | | let element_type = element_types[index as usize].clone(); [INFO] [stdout] ... | [INFO] [stdout] 313 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 295 ~ core::Expr::Proj(box tuple, index) => self.convert_expr(tuple, Box::new(move |tuple_val| { [INFO] [stdout] 296 | let r = self.fresh("t"); [INFO] [stdout] ... [INFO] [stdout] 312 | } [INFO] [stdout] 313 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:331:48 [INFO] [stdout] | [INFO] [stdout] 331 | body: self.convert_expr(decl.body, box move |return_value| anf::Expr::Halt { [INFO] [stdout] | ________________________________________________^ [INFO] [stdout] 332 | | value: return_value, [INFO] [stdout] 333 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 331 ~ body: self.convert_expr(decl.body, Box::new(move |return_value| anf::Expr::Halt { [INFO] [stdout] 332 | value: return_value, [INFO] [stdout] 333 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/anf/convert.rs:331:48 [INFO] [stdout] | [INFO] [stdout] 331 | body: self.convert_expr(decl.body, box move |return_value| anf::Expr::Halt { [INFO] [stdout] | ________________________________________________^ [INFO] [stdout] 332 | | value: return_value, [INFO] [stdout] 333 | | }), [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 331 ~ body: self.convert_expr(decl.body, Box::new(move |return_value| anf::Expr::Halt { [INFO] [stdout] 332 | value: return_value, [INFO] [stdout] 333 ~ })), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:72:23 [INFO] [stdout] | [INFO] [stdout] 72 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 72 - cont: box self.lift_expr(cont), [INFO] [stdout] 72 + cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:83:23 [INFO] [stdout] | [INFO] [stdout] 83 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 - cont: box self.lift_expr(cont), [INFO] [stdout] 83 + cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:96:23 [INFO] [stdout] | [INFO] [stdout] 96 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 96 - cont: box self.lift_expr(cont), [INFO] [stdout] 96 + cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:107:23 [INFO] [stdout] | [INFO] [stdout] 107 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 107 - cont: box self.lift_expr(cont), [INFO] [stdout] 107 + cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:120:23 [INFO] [stdout] | [INFO] [stdout] 120 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 120 - cont: box self.lift_expr(cont), [INFO] [stdout] 120 + cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:130:23 [INFO] [stdout] | [INFO] [stdout] 130 | then: box self.lift_expr(then), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 130 - then: box self.lift_expr(then), [INFO] [stdout] 130 + then: Box::new(self.lift_expr(then)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:131:24 [INFO] [stdout] | [INFO] [stdout] 131 | else_: box self.lift_expr(else_), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 131 - else_: box self.lift_expr(else_), [INFO] [stdout] 131 + else_: Box::new(self.lift_expr(else_)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:105:19 [INFO] [stdout] | [INFO] [stdout] 105 | pass: box pass, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 105 - pass: box pass, [INFO] [stdout] 105 + pass: Box::new(pass), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:147:19 [INFO] [stdout] | [INFO] [stdout] 147 | pass: box pass, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 147 - pass: box pass, [INFO] [stdout] 147 + pass: Box::new(pass), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:216:23 [INFO] [stdout] | [INFO] [stdout] 216 | pipeline: box IdPipeline { [INFO] [stdout] | _______________________^ [INFO] [stdout] 217 | | _source: PhantomData, [INFO] [stdout] 218 | | }, [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 216 ~ pipeline: Box::new(IdPipeline { [INFO] [stdout] 217 | _source: PhantomData, [INFO] [stdout] 218 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:237:23 [INFO] [stdout] | [INFO] [stdout] 237 | pass: box pass, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 237 - pass: box pass, [INFO] [stdout] 237 + pass: Box::new(pass), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:235:23 [INFO] [stdout] | [INFO] [stdout] 235 | pipeline: box PassPipeline { [INFO] [stdout] | _______________________^ [INFO] [stdout] 236 | | pipeline: self.pipeline, [INFO] [stdout] 237 | | pass: box pass, [INFO] [stdout] 238 | | }, [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 235 ~ pipeline: Box::new(PassPipeline { [INFO] [stdout] 236 | pipeline: self.pipeline, [INFO] [stdout] 237 | pass: box pass, [INFO] [stdout] 238 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:72:23 [INFO] [stdout] | [INFO] [stdout] 72 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 72 - cont: box self.lift_expr(cont), [INFO] [stdout] 72 + cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:83:23 [INFO] [stdout] | [INFO] [stdout] 83 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 83 - cont: box self.lift_expr(cont), [INFO] [stdout] 83 + cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:96:23 [INFO] [stdout] | [INFO] [stdout] 96 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 96 - cont: box self.lift_expr(cont), [INFO] [stdout] 96 + cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:107:23 [INFO] [stdout] | [INFO] [stdout] 107 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 107 - cont: box self.lift_expr(cont), [INFO] [stdout] 107 + cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:120:23 [INFO] [stdout] | [INFO] [stdout] 120 | cont: box self.lift_expr(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 120 - cont: box self.lift_expr(cont), [INFO] [stdout] 120 + cont: Box::new(self.lift_expr(cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:130:23 [INFO] [stdout] | [INFO] [stdout] 130 | then: box self.lift_expr(then), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 130 - then: box self.lift_expr(then), [INFO] [stdout] 130 + then: Box::new(self.lift_expr(then)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/lifted/lift.rs:131:24 [INFO] [stdout] | [INFO] [stdout] 131 | else_: box self.lift_expr(else_), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 131 - else_: box self.lift_expr(else_), [INFO] [stdout] 131 + else_: Box::new(self.lift_expr(else_)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:105:19 [INFO] [stdout] | [INFO] [stdout] 105 | pass: box pass, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 105 - pass: box pass, [INFO] [stdout] 105 + pass: Box::new(pass), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:147:19 [INFO] [stdout] | [INFO] [stdout] 147 | pass: box pass, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 147 - pass: box pass, [INFO] [stdout] 147 + pass: Box::new(pass), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:216:23 [INFO] [stdout] | [INFO] [stdout] 216 | pipeline: box IdPipeline { [INFO] [stdout] | _______________________^ [INFO] [stdout] 217 | | _source: PhantomData, [INFO] [stdout] 218 | | }, [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 216 ~ pipeline: Box::new(IdPipeline { [INFO] [stdout] 217 | _source: PhantomData, [INFO] [stdout] 218 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:237:23 [INFO] [stdout] | [INFO] [stdout] 237 | pass: box pass, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 237 - pass: box pass, [INFO] [stdout] 237 + pass: Box::new(pass), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/pipeline.rs:235:23 [INFO] [stdout] | [INFO] [stdout] 235 | pipeline: box PassPipeline { [INFO] [stdout] | _______________________^ [INFO] [stdout] 236 | | pipeline: self.pipeline, [INFO] [stdout] 237 | | pass: box pass, [INFO] [stdout] 238 | | }, [INFO] [stdout] | |_____________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 235 ~ pipeline: Box::new(PassPipeline { [INFO] [stdout] 236 | pipeline: self.pipeline, [INFO] [stdout] 237 | pass: box pass, [INFO] [stdout] 238 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:58:17 [INFO] [stdout] | [INFO] [stdout] 58 | box Typechecker::type_core_to_tc(return_type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 58 - box Typechecker::type_core_to_tc(return_type), [INFO] [stdout] 58 + Box::new(Typechecker::type_core_to_tc(return_type)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:58:17 [INFO] [stdout] | [INFO] [stdout] 58 | box Typechecker::type_core_to_tc(return_type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 58 - box Typechecker::type_core_to_tc(return_type), [INFO] [stdout] 58 + Box::new(Typechecker::type_core_to_tc(return_type)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:109:45 [INFO] [stdout] | [INFO] [stdout] 109 | Type::Func(parameter_types, box return_type) [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 109 - Type::Func(parameter_types, box return_type) [INFO] [stdout] 109 + Type::Func(parameter_types, Box::new(return_type)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:109:45 [INFO] [stdout] | [INFO] [stdout] 109 | Type::Func(parameter_types, box return_type) [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 109 - Type::Func(parameter_types, box return_type) [INFO] [stdout] 109 + Type::Func(parameter_types, Box::new(return_type)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:170:45 [INFO] [stdout] | [INFO] [stdout] 170 | Type::Func(gen_param_types, box gen_return_type) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 170 - Type::Func(gen_param_types, box gen_return_type) [INFO] [stdout] 170 + Type::Func(gen_param_types, Box::new(gen_return_type)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:170:45 [INFO] [stdout] | [INFO] [stdout] 170 | Type::Func(gen_param_types, box gen_return_type) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 170 - Type::Func(gen_param_types, box gen_return_type) [INFO] [stdout] 170 + Type::Func(gen_param_types, Box::new(gen_return_type)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:208:17 [INFO] [stdout] | [INFO] [stdout] 208 | box self.generalize_expr(skolems, lhs), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 208 - box self.generalize_expr(skolems, lhs), [INFO] [stdout] 208 + Box::new(self.generalize_expr(skolems, lhs)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:208:17 [INFO] [stdout] | [INFO] [stdout] 208 | box self.generalize_expr(skolems, lhs), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 208 - box self.generalize_expr(skolems, lhs), [INFO] [stdout] 208 + Box::new(self.generalize_expr(skolems, lhs)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:209:17 [INFO] [stdout] | [INFO] [stdout] 209 | box self.generalize_expr(skolems, rhs), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 209 - box self.generalize_expr(skolems, rhs), [INFO] [stdout] 209 + Box::new(self.generalize_expr(skolems, rhs)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:209:17 [INFO] [stdout] | [INFO] [stdout] 209 | box self.generalize_expr(skolems, rhs), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 209 - box self.generalize_expr(skolems, rhs), [INFO] [stdout] 209 + Box::new(self.generalize_expr(skolems, rhs)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:212:25 [INFO] [stdout] | [INFO] [stdout] 212 | callee: box self.generalize_expr(skolems, callee), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 212 - callee: box self.generalize_expr(skolems, callee), [INFO] [stdout] 212 + callee: Box::new(self.generalize_expr(skolems, callee)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:212:25 [INFO] [stdout] | [INFO] [stdout] 212 | callee: box self.generalize_expr(skolems, callee), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 212 - callee: box self.generalize_expr(skolems, callee), [INFO] [stdout] 212 + callee: Box::new(self.generalize_expr(skolems, callee)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:230:23 [INFO] [stdout] | [INFO] [stdout] 230 | body: box self.generalize_expr(skolems, body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 230 - body: box self.generalize_expr(skolems, body), [INFO] [stdout] 230 + body: Box::new(self.generalize_expr(skolems, body)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:230:23 [INFO] [stdout] | [INFO] [stdout] 230 | body: box self.generalize_expr(skolems, body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 230 - body: box self.generalize_expr(skolems, body), [INFO] [stdout] 230 + body: Box::new(self.generalize_expr(skolems, body)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:248:23 [INFO] [stdout] | [INFO] [stdout] 248 | body: box self.generalize_expr(skolems, body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 248 - body: box self.generalize_expr(skolems, body), [INFO] [stdout] 248 + body: Box::new(self.generalize_expr(skolems, body)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:249:23 [INFO] [stdout] | [INFO] [stdout] 249 | cont: box self.generalize_expr(skolems, cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 249 - cont: box self.generalize_expr(skolems, cont), [INFO] [stdout] 249 + cont: Box::new(self.generalize_expr(skolems, cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:257:23 [INFO] [stdout] | [INFO] [stdout] 257 | cond: box self.generalize_expr(skolems, cond), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 257 - cond: box self.generalize_expr(skolems, cond), [INFO] [stdout] 257 + cond: Box::new(self.generalize_expr(skolems, cond)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:259:23 [INFO] [stdout] | [INFO] [stdout] 259 | then: box self.generalize_expr(skolems, then), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 259 - then: box self.generalize_expr(skolems, then), [INFO] [stdout] 259 + then: Box::new(self.generalize_expr(skolems, then)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:260:24 [INFO] [stdout] | [INFO] [stdout] 260 | else_: box self.generalize_expr(skolems, else_), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 260 - else_: box self.generalize_expr(skolems, else_), [INFO] [stdout] 260 + else_: Box::new(self.generalize_expr(skolems, else_)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:269:32 [INFO] [stdout] | [INFO] [stdout] 269 | tc::Expr::Proj(box self.generalize_expr(skolems, tuple), index) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 269 - tc::Expr::Proj(box self.generalize_expr(skolems, tuple), index) [INFO] [stdout] 269 + tc::Expr::Proj(Box::new(self.generalize_expr(skolems, tuple)), index) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:370:29 [INFO] [stdout] | [INFO] [stdout] 370 | ... box ret2.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 370 - box ret2.clone(), [INFO] [stdout] 370 + Box::new(ret2.clone()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:376:29 [INFO] [stdout] | [INFO] [stdout] 376 | ... box ret1.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 376 - box ret1.clone(), [INFO] [stdout] 376 + Box::new(ret1.clone()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:415:47 [INFO] [stdout] | [INFO] [stdout] 415 | Ok(Type::Func(tc_param_types, box tc_return_type)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 415 - Ok(Type::Func(tc_param_types, box tc_return_type)) [INFO] [stdout] 415 + Ok(Type::Func(tc_param_types, Box::new(tc_return_type))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:520:35 [INFO] [stdout] | [INFO] [stdout] 520 | Ok((tc::Expr::Add(box lhs_elab, box rhs_elab), Type::Int)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 520 - Ok((tc::Expr::Add(box lhs_elab, box rhs_elab), Type::Int)) [INFO] [stdout] 520 + Ok((tc::Expr::Add(Box::new(lhs_elab), box rhs_elab), Type::Int)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:520:49 [INFO] [stdout] | [INFO] [stdout] 520 | Ok((tc::Expr::Add(box lhs_elab, box rhs_elab), Type::Int)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 520 - Ok((tc::Expr::Add(box lhs_elab, box rhs_elab), Type::Int)) [INFO] [stdout] 520 + Ok((tc::Expr::Add(box lhs_elab, Box::new(rhs_elab)), Type::Int)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:532:50 [INFO] [stdout] | [INFO] [stdout] 532 | &mut Type::Func(param_types, box Type::TVar(return_var)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 532 - &mut Type::Func(param_types, box Type::TVar(return_var)), [INFO] [stdout] 532 + &mut Type::Func(param_types, Box::new(Type::TVar(return_var))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:541:33 [INFO] [stdout] | [INFO] [stdout] 541 | callee: box callee_elab, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 541 - callee: box callee_elab, [INFO] [stdout] 541 + callee: Box::new(callee_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:558:21 [INFO] [stdout] | [INFO] [stdout] 558 | box body_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 558 - box body_type.clone(), [INFO] [stdout] 558 + Box::new(body_type.clone()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:564:31 [INFO] [stdout] | [INFO] [stdout] 564 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 564 - body: box body_elab, [INFO] [stdout] 564 + body: Box::new(body_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:639:29 [INFO] [stdout] | [INFO] [stdout] 639 | ... box body_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 639 - box body_type.clone(), [INFO] [stdout] 639 + Box::new(body_type.clone()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:248:23 [INFO] [stdout] | [INFO] [stdout] 248 | body: box self.generalize_expr(skolems, body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 248 - body: box self.generalize_expr(skolems, body), [INFO] [stdout] 248 + body: Box::new(self.generalize_expr(skolems, body)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:249:23 [INFO] [stdout] | [INFO] [stdout] 249 | cont: box self.generalize_expr(skolems, cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 249 - cont: box self.generalize_expr(skolems, cont), [INFO] [stdout] 249 + cont: Box::new(self.generalize_expr(skolems, cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:257:23 [INFO] [stdout] | [INFO] [stdout] 257 | cond: box self.generalize_expr(skolems, cond), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 257 - cond: box self.generalize_expr(skolems, cond), [INFO] [stdout] 257 + cond: Box::new(self.generalize_expr(skolems, cond)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:259:23 [INFO] [stdout] | [INFO] [stdout] 259 | then: box self.generalize_expr(skolems, then), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 259 - then: box self.generalize_expr(skolems, then), [INFO] [stdout] 259 + then: Box::new(self.generalize_expr(skolems, then)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:260:24 [INFO] [stdout] | [INFO] [stdout] 260 | else_: box self.generalize_expr(skolems, else_), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 260 - else_: box self.generalize_expr(skolems, else_), [INFO] [stdout] 260 + else_: Box::new(self.generalize_expr(skolems, else_)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:269:32 [INFO] [stdout] | [INFO] [stdout] 269 | tc::Expr::Proj(box self.generalize_expr(skolems, tuple), index) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 269 - tc::Expr::Proj(box self.generalize_expr(skolems, tuple), index) [INFO] [stdout] 269 + tc::Expr::Proj(Box::new(self.generalize_expr(skolems, tuple)), index) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:370:29 [INFO] [stdout] | [INFO] [stdout] 370 | ... box ret2.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 370 - box ret2.clone(), [INFO] [stdout] 370 + Box::new(ret2.clone()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:376:29 [INFO] [stdout] | [INFO] [stdout] 376 | ... box ret1.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 376 - box ret1.clone(), [INFO] [stdout] 376 + Box::new(ret1.clone()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:415:47 [INFO] [stdout] | [INFO] [stdout] 415 | Ok(Type::Func(tc_param_types, box tc_return_type)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 415 - Ok(Type::Func(tc_param_types, box tc_return_type)) [INFO] [stdout] 415 + Ok(Type::Func(tc_param_types, Box::new(tc_return_type))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:520:35 [INFO] [stdout] | [INFO] [stdout] 520 | Ok((tc::Expr::Add(box lhs_elab, box rhs_elab), Type::Int)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 520 - Ok((tc::Expr::Add(box lhs_elab, box rhs_elab), Type::Int)) [INFO] [stdout] 520 + Ok((tc::Expr::Add(Box::new(lhs_elab), box rhs_elab), Type::Int)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:520:49 [INFO] [stdout] | [INFO] [stdout] 520 | Ok((tc::Expr::Add(box lhs_elab, box rhs_elab), Type::Int)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 520 - Ok((tc::Expr::Add(box lhs_elab, box rhs_elab), Type::Int)) [INFO] [stdout] 520 + Ok((tc::Expr::Add(box lhs_elab, Box::new(rhs_elab)), Type::Int)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:532:50 [INFO] [stdout] | [INFO] [stdout] 532 | &mut Type::Func(param_types, box Type::TVar(return_var)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 532 - &mut Type::Func(param_types, box Type::TVar(return_var)), [INFO] [stdout] 532 + &mut Type::Func(param_types, Box::new(Type::TVar(return_var))), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:541:33 [INFO] [stdout] | [INFO] [stdout] 541 | callee: box callee_elab, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 541 - callee: box callee_elab, [INFO] [stdout] 541 + callee: Box::new(callee_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:558:21 [INFO] [stdout] | [INFO] [stdout] 558 | box body_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 558 - box body_type.clone(), [INFO] [stdout] 558 + Box::new(body_type.clone()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:564:31 [INFO] [stdout] | [INFO] [stdout] 564 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 564 - body: box body_elab, [INFO] [stdout] 564 + body: Box::new(body_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:639:29 [INFO] [stdout] | [INFO] [stdout] 639 | ... box body_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 639 - box body_type.clone(), [INFO] [stdout] 639 + Box::new(body_type.clone()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:652:31 [INFO] [stdout] | [INFO] [stdout] 652 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 652 - body: box body_elab, [INFO] [stdout] 652 + body: Box::new(body_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:653:31 [INFO] [stdout] | [INFO] [stdout] 653 | cont: box cont_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 653 - cont: box cont_elab, [INFO] [stdout] 653 + cont: Box::new(cont_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:652:31 [INFO] [stdout] | [INFO] [stdout] 652 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 652 - body: box body_elab, [INFO] [stdout] 652 + body: Box::new(body_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:653:31 [INFO] [stdout] | [INFO] [stdout] 653 | cont: box cont_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 653 - cont: box cont_elab, [INFO] [stdout] 653 + cont: Box::new(cont_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:671:31 [INFO] [stdout] | [INFO] [stdout] 671 | cond: box cond_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 671 - cond: box cond_elab, [INFO] [stdout] 671 + cond: Box::new(cond_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:673:31 [INFO] [stdout] | [INFO] [stdout] 673 | then: box then_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 673 - then: box then_elab, [INFO] [stdout] 673 + then: Box::new(then_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:674:32 [INFO] [stdout] | [INFO] [stdout] 674 | else_: box else_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 674 - else_: box else_elab, [INFO] [stdout] 674 + else_: Box::new(else_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:698:48 [INFO] [stdout] | [INFO] [stdout] 698 | ... Ok((tc::Expr::Proj(box tuple_elab, index), element_type.clone())) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 698 - Ok((tc::Expr::Proj(box tuple_elab, index), element_type.clone())) [INFO] [stdout] 698 + Ok((tc::Expr::Proj(Box::new(tuple_elab), index), element_type.clone())) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:740:34 [INFO] [stdout] | [INFO] [stdout] 740 | Ok(tc::Expr::Add(box lhs_elab, box rhs_elab)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 740 - Ok(tc::Expr::Add(box lhs_elab, box rhs_elab)) [INFO] [stdout] 740 + Ok(tc::Expr::Add(Box::new(lhs_elab), box rhs_elab)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:740:48 [INFO] [stdout] | [INFO] [stdout] 740 | Ok(tc::Expr::Add(box lhs_elab, box rhs_elab)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 740 - Ok(tc::Expr::Add(box lhs_elab, box rhs_elab)) [INFO] [stdout] 740 + Ok(tc::Expr::Add(box lhs_elab, Box::new(rhs_elab))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:748:59 [INFO] [stdout] | [INFO] [stdout] 748 | &mut Type::Func(param_types.to_vec(), box expected_type.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 748 - &mut Type::Func(param_types.to_vec(), box expected_type.clone()), [INFO] [stdout] 748 + &mut Type::Func(param_types.to_vec(), Box::new(expected_type.clone())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:756:29 [INFO] [stdout] | [INFO] [stdout] 756 | callee: box callee_elab, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 756 - callee: box callee_elab, [INFO] [stdout] 756 + callee: Box::new(callee_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:799:63 [INFO] [stdout] | [INFO] [stdout] 799 | ... Type::Func(remaining_param_types, box return_type.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 799 - Type::Func(remaining_param_types, box return_type.clone()), [INFO] [stdout] 799 + Type::Func(remaining_param_types, Box::new(return_type.clone())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:803:66 [INFO] [stdout] | [INFO] [stdout] 803 | ... surface::Expr::Abs(remaining_params, box body), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 803 - surface::Expr::Abs(remaining_params, box body), [INFO] [stdout] 803 + surface::Expr::Abs(remaining_params, Box::new(body)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:671:31 [INFO] [stdout] | [INFO] [stdout] 671 | cond: box cond_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 671 - cond: box cond_elab, [INFO] [stdout] 671 + cond: Box::new(cond_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:673:31 [INFO] [stdout] | [INFO] [stdout] 673 | then: box then_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 673 - then: box then_elab, [INFO] [stdout] 673 + then: Box::new(then_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:674:32 [INFO] [stdout] | [INFO] [stdout] 674 | else_: box else_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 674 - else_: box else_elab, [INFO] [stdout] 674 + else_: Box::new(else_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:698:48 [INFO] [stdout] | [INFO] [stdout] 698 | ... Ok((tc::Expr::Proj(box tuple_elab, index), element_type.clone())) [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 698 - Ok((tc::Expr::Proj(box tuple_elab, index), element_type.clone())) [INFO] [stdout] 698 + Ok((tc::Expr::Proj(Box::new(tuple_elab), index), element_type.clone())) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:740:34 [INFO] [stdout] | [INFO] [stdout] 740 | Ok(tc::Expr::Add(box lhs_elab, box rhs_elab)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 740 - Ok(tc::Expr::Add(box lhs_elab, box rhs_elab)) [INFO] [stdout] 740 + Ok(tc::Expr::Add(Box::new(lhs_elab), box rhs_elab)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:740:48 [INFO] [stdout] | [INFO] [stdout] 740 | Ok(tc::Expr::Add(box lhs_elab, box rhs_elab)) [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 740 - Ok(tc::Expr::Add(box lhs_elab, box rhs_elab)) [INFO] [stdout] 740 + Ok(tc::Expr::Add(box lhs_elab, Box::new(rhs_elab))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:812:27 [INFO] [stdout] | [INFO] [stdout] 812 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 812 - body: box body_elab, [INFO] [stdout] 812 + body: Box::new(body_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:888:29 [INFO] [stdout] | [INFO] [stdout] 888 | ... box body_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 888 - box body_type.clone(), [INFO] [stdout] 888 + Box::new(body_type.clone()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:900:27 [INFO] [stdout] | [INFO] [stdout] 900 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 900 - body: box body_elab, [INFO] [stdout] 900 + body: Box::new(body_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:901:27 [INFO] [stdout] | [INFO] [stdout] 901 | cont: box cont_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 901 - cont: box cont_elab, [INFO] [stdout] 901 + cont: Box::new(cont_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:916:27 [INFO] [stdout] | [INFO] [stdout] 916 | cond: box cond_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 916 - cond: box cond_elab, [INFO] [stdout] 916 + cond: Box::new(cond_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:918:27 [INFO] [stdout] | [INFO] [stdout] 918 | then: box then_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 918 - then: box then_elab, [INFO] [stdout] 918 + then: Box::new(then_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:919:28 [INFO] [stdout] | [INFO] [stdout] 919 | else_: box else_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 919 - else_: box else_elab, [INFO] [stdout] 919 + else_: Box::new(else_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1018:37 [INFO] [stdout] | [INFO] [stdout] 1018 | ... box decl_elab.return_type, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1018 - box decl_elab.return_type, [INFO] [stdout] 1018 + Box::new(decl_elab.return_type), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1045:17 [INFO] [stdout] | [INFO] [stdout] 1045 | box self.type_tc_to_core(return_type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1045 - box self.type_tc_to_core(return_type), [INFO] [stdout] 1045 + Box::new(self.type_tc_to_core(return_type)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1086:23 [INFO] [stdout] | [INFO] [stdout] 1086 | body: box self.expr_tc_to_core(body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1086 - body: box self.expr_tc_to_core(body), [INFO] [stdout] 1086 + body: Box::new(self.expr_tc_to_core(body)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:748:59 [INFO] [stdout] | [INFO] [stdout] 748 | &mut Type::Func(param_types.to_vec(), box expected_type.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 748 - &mut Type::Func(param_types.to_vec(), box expected_type.clone()), [INFO] [stdout] 748 + &mut Type::Func(param_types.to_vec(), Box::new(expected_type.clone())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:756:29 [INFO] [stdout] | [INFO] [stdout] 756 | callee: box callee_elab, [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 756 - callee: box callee_elab, [INFO] [stdout] 756 + callee: Box::new(callee_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:799:63 [INFO] [stdout] | [INFO] [stdout] 799 | ... Type::Func(remaining_param_types, box return_type.clone()), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 799 - Type::Func(remaining_param_types, box return_type.clone()), [INFO] [stdout] 799 + Type::Func(remaining_param_types, Box::new(return_type.clone())), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:803:66 [INFO] [stdout] | [INFO] [stdout] 803 | ... surface::Expr::Abs(remaining_params, box body), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 803 - surface::Expr::Abs(remaining_params, box body), [INFO] [stdout] 803 + surface::Expr::Abs(remaining_params, Box::new(body)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:812:27 [INFO] [stdout] | [INFO] [stdout] 812 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 812 - body: box body_elab, [INFO] [stdout] 812 + body: Box::new(body_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:888:29 [INFO] [stdout] | [INFO] [stdout] 888 | ... box body_type.clone(), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 888 - box body_type.clone(), [INFO] [stdout] 888 + Box::new(body_type.clone()), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:900:27 [INFO] [stdout] | [INFO] [stdout] 900 | body: box body_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 900 - body: box body_elab, [INFO] [stdout] 900 + body: Box::new(body_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:901:27 [INFO] [stdout] | [INFO] [stdout] 901 | cont: box cont_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 901 - cont: box cont_elab, [INFO] [stdout] 901 + cont: Box::new(cont_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:916:27 [INFO] [stdout] | [INFO] [stdout] 916 | cond: box cond_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 916 - cond: box cond_elab, [INFO] [stdout] 916 + cond: Box::new(cond_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:918:27 [INFO] [stdout] | [INFO] [stdout] 918 | then: box then_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 918 - then: box then_elab, [INFO] [stdout] 918 + then: Box::new(then_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:919:28 [INFO] [stdout] | [INFO] [stdout] 919 | else_: box else_elab, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 919 - else_: box else_elab, [INFO] [stdout] 919 + else_: Box::new(else_elab), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1018:37 [INFO] [stdout] | [INFO] [stdout] 1018 | ... box decl_elab.return_type, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1018 - box decl_elab.return_type, [INFO] [stdout] 1018 + Box::new(decl_elab.return_type), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1045:17 [INFO] [stdout] | [INFO] [stdout] 1045 | box self.type_tc_to_core(return_type), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1045 - box self.type_tc_to_core(return_type), [INFO] [stdout] 1045 + Box::new(self.type_tc_to_core(return_type)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1086:23 [INFO] [stdout] | [INFO] [stdout] 1086 | body: box self.expr_tc_to_core(body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1086 - body: box self.expr_tc_to_core(body), [INFO] [stdout] 1086 + body: Box::new(self.expr_tc_to_core(body)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1089:33 [INFO] [stdout] | [INFO] [stdout] 1089 | core::Expr::Add(box self.expr_tc_to_core(lhs), box self.expr_tc_to_core(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1089 - core::Expr::Add(box self.expr_tc_to_core(lhs), box self.expr_tc_to_core(rhs)) [INFO] [stdout] 1089 + core::Expr::Add(Box::new(self.expr_tc_to_core(lhs)), box self.expr_tc_to_core(rhs)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1089:64 [INFO] [stdout] | [INFO] [stdout] 1089 | core::Expr::Add(box self.expr_tc_to_core(lhs), box self.expr_tc_to_core(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1089 - core::Expr::Add(box self.expr_tc_to_core(lhs), box self.expr_tc_to_core(rhs)) [INFO] [stdout] 1089 + core::Expr::Add(box self.expr_tc_to_core(lhs), Box::new(self.expr_tc_to_core(rhs))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1107:23 [INFO] [stdout] | [INFO] [stdout] 1107 | body: box self.expr_tc_to_core(body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1107 - body: box self.expr_tc_to_core(body), [INFO] [stdout] 1107 + body: Box::new(self.expr_tc_to_core(body)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1108:23 [INFO] [stdout] | [INFO] [stdout] 1108 | cont: box self.expr_tc_to_core(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1108 - cont: box self.expr_tc_to_core(cont), [INFO] [stdout] 1108 + cont: Box::new(self.expr_tc_to_core(cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1116:23 [INFO] [stdout] | [INFO] [stdout] 1116 | cond: box self.expr_tc_to_core(cond), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1116 - cond: box self.expr_tc_to_core(cond), [INFO] [stdout] 1116 + cond: Box::new(self.expr_tc_to_core(cond)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1118:23 [INFO] [stdout] | [INFO] [stdout] 1118 | then: box self.expr_tc_to_core(then), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1118 - then: box self.expr_tc_to_core(then), [INFO] [stdout] 1118 + then: Box::new(self.expr_tc_to_core(then)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1119:24 [INFO] [stdout] | [INFO] [stdout] 1119 | else_: box self.expr_tc_to_core(else_), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1119 - else_: box self.expr_tc_to_core(else_), [INFO] [stdout] 1119 + else_: Box::new(self.expr_tc_to_core(else_)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1122:25 [INFO] [stdout] | [INFO] [stdout] 1122 | callee: box self.expr_tc_to_core(callee), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1122 - callee: box self.expr_tc_to_core(callee), [INFO] [stdout] 1122 + callee: Box::new(self.expr_tc_to_core(callee)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1135:34 [INFO] [stdout] | [INFO] [stdout] 1135 | core::Expr::Proj(box self.expr_tc_to_core(tuple), index) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1135 - core::Expr::Proj(box self.expr_tc_to_core(tuple), index) [INFO] [stdout] 1135 + core::Expr::Proj(Box::new(self.expr_tc_to_core(tuple)), index) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1089:33 [INFO] [stdout] | [INFO] [stdout] 1089 | core::Expr::Add(box self.expr_tc_to_core(lhs), box self.expr_tc_to_core(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1089 - core::Expr::Add(box self.expr_tc_to_core(lhs), box self.expr_tc_to_core(rhs)) [INFO] [stdout] 1089 + core::Expr::Add(Box::new(self.expr_tc_to_core(lhs)), box self.expr_tc_to_core(rhs)) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1089:64 [INFO] [stdout] | [INFO] [stdout] 1089 | core::Expr::Add(box self.expr_tc_to_core(lhs), box self.expr_tc_to_core(rhs)) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1089 - core::Expr::Add(box self.expr_tc_to_core(lhs), box self.expr_tc_to_core(rhs)) [INFO] [stdout] 1089 + core::Expr::Add(box self.expr_tc_to_core(lhs), Box::new(self.expr_tc_to_core(rhs))) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1107:23 [INFO] [stdout] | [INFO] [stdout] 1107 | body: box self.expr_tc_to_core(body), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1107 - body: box self.expr_tc_to_core(body), [INFO] [stdout] 1107 + body: Box::new(self.expr_tc_to_core(body)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1108:23 [INFO] [stdout] | [INFO] [stdout] 1108 | cont: box self.expr_tc_to_core(cont), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1108 - cont: box self.expr_tc_to_core(cont), [INFO] [stdout] 1108 + cont: Box::new(self.expr_tc_to_core(cont)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1116:23 [INFO] [stdout] | [INFO] [stdout] 1116 | cond: box self.expr_tc_to_core(cond), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1116 - cond: box self.expr_tc_to_core(cond), [INFO] [stdout] 1116 + cond: Box::new(self.expr_tc_to_core(cond)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1118:23 [INFO] [stdout] | [INFO] [stdout] 1118 | then: box self.expr_tc_to_core(then), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1118 - then: box self.expr_tc_to_core(then), [INFO] [stdout] 1118 + then: Box::new(self.expr_tc_to_core(then)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1119:24 [INFO] [stdout] | [INFO] [stdout] 1119 | else_: box self.expr_tc_to_core(else_), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1119 - else_: box self.expr_tc_to_core(else_), [INFO] [stdout] 1119 + else_: Box::new(self.expr_tc_to_core(else_)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1122:25 [INFO] [stdout] | [INFO] [stdout] 1122 | callee: box self.expr_tc_to_core(callee), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1122 - callee: box self.expr_tc_to_core(callee), [INFO] [stdout] 1122 + callee: Box::new(self.expr_tc_to_core(callee)), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/tc/check.rs:1135:34 [INFO] [stdout] | [INFO] [stdout] 1135 | core::Expr::Proj(box self.expr_tc_to_core(tuple), index) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 1135 - core::Expr::Proj(box self.expr_tc_to_core(tuple), index) [INFO] [stdout] 1135 + core::Expr::Proj(Box::new(self.expr_tc_to_core(tuple)), index) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/target/debug/build/lamb-d269a05ae702a7dc/out/surface/parser.rs:3694:38 [INFO] [stdout] | [INFO] [stdout] 3694 | Some(type_) => Expr::Ann(box expr, type_), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 3694 - Some(type_) => Expr::Ann(box expr, type_), [INFO] [stdout] 3694 + Some(type_) => Expr::Ann(Box::new(expr), type_), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/target/debug/build/lamb-d269a05ae702a7dc/out/surface/parser.rs:3795:16 [INFO] [stdout] | [INFO] [stdout] 3795 | Expr::Proj(box tuple, index as u8) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 3795 - Expr::Proj(box tuple, index as u8) [INFO] [stdout] 3795 + Expr::Proj(Box::new(tuple), index as u8) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/target/debug/build/lamb-d269a05ae702a7dc/out/surface/parser.rs:3694:38 [INFO] [stdout] | [INFO] [stdout] 3694 | Some(type_) => Expr::Ann(box expr, type_), [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 3694 - Some(type_) => Expr::Ann(box expr, type_), [INFO] [stdout] 3694 + Some(type_) => Expr::Ann(Box::new(expr), type_), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> /opt/rustwide/target/debug/build/lamb-d269a05ae702a7dc/out/surface/parser.rs:3795:16 [INFO] [stdout] | [INFO] [stdout] 3795 | Expr::Proj(box tuple, index as u8) [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 3795 - Expr::Proj(box tuple, index as u8) [INFO] [stdout] 3795 + Expr::Proj(Box::new(tuple), index as u8) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Scheme` [INFO] [stdout] --> src/lifted/syntax.rs:3:31 [INFO] [stdout] | [INFO] [stdout] 3 | pub use crate::anf::{Binding, Scheme, Type, Value}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::common::Literal` [INFO] [stdout] --> src/lifted/syntax.rs:4:9 [INFO] [stdout] | [INFO] [stdout] 4 | pub use crate::common::Literal; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `Scheme` [INFO] [stdout] --> src/lifted/syntax.rs:3:31 [INFO] [stdout] | [INFO] [stdout] 3 | pub use crate::anf::{Binding, Scheme, Type, Value}; [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `crate::common::Literal` [INFO] [stdout] --> src/lifted/syntax.rs:4:9 [INFO] [stdout] | [INFO] [stdout] 4 | pub use crate::common::Literal; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `let_chains` has been stable since 1.88.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/main.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | let_chains, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `let_chains` has been stable since 1.88.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/main.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | let_chains, [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stderr] error: could not compile `lamb` (bin "lamb" test) due to 118 previous errors; 3 warnings emitted [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] For more information about this error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stderr] error: could not compile `lamb` (bin "lamb") due to 118 previous errors; 3 warnings emitted [INFO] running `Command { std: "docker" "inspect" "abddf74946244510f68443133af8c70ab87037598be9d5b6c2c3250b4c63e1de", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "abddf74946244510f68443133af8c70ab87037598be9d5b6c2c3250b4c63e1de", kill_on_drop: false }` [INFO] [stdout] abddf74946244510f68443133af8c70ab87037598be9d5b6c2c3250b4c63e1de