[INFO] cloning repository https://github.com/ear7h/lang2 [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ear7h/lang2" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fear7h%2Flang2", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fear7h%2Flang2'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] beb1449fa834d9b9d550631159fff0c44d1b8a53 [INFO] checking ear7h/lang2/beb1449fa834d9b9d550631159fff0c44d1b8a53 against master#f609b7e0586f81fefb3523e3e17adf779ac416be for pr-129466-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fear7h%2Flang2" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/ear7h/lang2 on toolchain f609b7e0586f81fefb3523e3e17adf779ac416be [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/ear7h/lang2 [INFO] finished tweaking git repo https://github.com/ear7h/lang2 [INFO] tweaked toml for git repo https://github.com/ear7h/lang2 written to /workspace/builds/worker-6-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/ear7h/lang2 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating git repository `https://github.com/kevinmehall/rust-peg` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded lasso v0.5.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 8237fef033099ca21a2bc75e56d4b461eb430a7e6c7254996b3d771b5ee5591a [INFO] running `Command { std: "docker" "start" "-a" "8237fef033099ca21a2bc75e56d4b461eb430a7e6c7254996b3d771b5ee5591a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "8237fef033099ca21a2bc75e56d4b461eb430a7e6c7254996b3d771b5ee5591a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8237fef033099ca21a2bc75e56d4b461eb430a7e6c7254996b3d771b5ee5591a", kill_on_drop: false }` [INFO] [stdout] 8237fef033099ca21a2bc75e56d4b461eb430a7e6c7254996b3d771b5ee5591a [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:6252d7ea7fb8caaf7af6d800c5fb250a9cd862b9a7f9508afb3c54fa7fe1102e" "/opt/rustwide/cargo-home/bin/cargo" "+f609b7e0586f81fefb3523e3e17adf779ac416be" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c77c67e7b06f50eab99c8726201c50a6823e17cbe8ee32d2f6499d834ade6a54 [INFO] running `Command { std: "docker" "start" "-a" "c77c67e7b06f50eab99c8726201c50a6823e17cbe8ee32d2f6499d834ade6a54", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.92 [INFO] [stderr] Checking ahash v0.4.7 [INFO] [stderr] Compiling peg-runtime v0.6.3 (https://github.com/kevinmehall/rust-peg?branch=master#7d03e426) [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Checking hashbrown v0.9.1 [INFO] [stderr] Compiling peg-macros v0.6.3 (https://github.com/kevinmehall/rust-peg?branch=master#7d03e426) [INFO] [stderr] Checking num_cpus v1.13.0 [INFO] [stderr] Checking dashmap v4.0.2 [INFO] [stderr] Checking lasso v0.5.0 [INFO] [stderr] Checking peg v0.6.3 (https://github.com/kevinmehall/rust-peg?branch=master#7d03e426) [INFO] [stderr] Checking lang2 v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/lib.rs:1:26 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(box_patterns, box_syntax)] [INFO] [stdout] | ^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: replaced with `#[rustc_box]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0557]: feature has been removed [INFO] [stdout] --> src/lib.rs:1:26 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(box_patterns, box_syntax)] [INFO] [stdout] | ^^^^^^^^^^ feature has been removed [INFO] [stdout] | [INFO] [stdout] = note: replaced with `#[rustc_box]` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:165:17 [INFO] [stdout] | [INFO] [stdout] 165 | f : box e1, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 165 | f : Box::new(e1), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:166:19 [INFO] [stdout] | [INFO] [stdout] 166 | arg : box e2, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 166 | arg : Box::new(e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:173:19 [INFO] [stdout] | [INFO] [stdout] 173 | body: box body [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 173 | body: Box::new(body) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:187:25 [INFO] [stdout] | [INFO] [stdout] 187 | f : box f, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 187 | f : Box::new(f), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:188:27 [INFO] [stdout] | [INFO] [stdout] 188 | arg : box arg, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 188 | arg : Box::new(arg), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:205:28 [INFO] [stdout] | [INFO] [stdout] 205 | body : box abs_n( [INFO] [stdout] | ____________________________^ [INFO] [stdout] 206 | | formals, [INFO] [stdout] 207 | | body, [INFO] [stdout] 208 | | ), [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 205 ~ body : Box::new(abs_n( [INFO] [stdout] 206 | formals, [INFO] [stdout] 207 | body, [INFO] [stdout] 208 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:229:25 [INFO] [stdout] | [INFO] [stdout] 229 | f : box f, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 229 | f : Box::new(f), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:230:27 [INFO] [stdout] | [INFO] [stdout] 230 | arg : box arg, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 230 | arg : Box::new(arg), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:165:17 [INFO] [stdout] | [INFO] [stdout] 165 | f : box e1, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 165 | f : Box::new(e1), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:247:28 [INFO] [stdout] | [INFO] [stdout] 247 | body : box Self::abstract_n( [INFO] [stdout] | ____________________________^ [INFO] [stdout] 248 | | formals, [INFO] [stdout] 249 | | body, [INFO] [stdout] 250 | | ), [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 247 ~ body : Box::new(Self::abstract_n( [INFO] [stdout] 248 | formals, [INFO] [stdout] 249 | body, [INFO] [stdout] 250 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:166:19 [INFO] [stdout] | [INFO] [stdout] 166 | arg : box e2, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 166 | arg : Box::new(e2), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:331:37 [INFO] [stdout] | [INFO] [stdout] 331 | Ok(Apply{f: box ff, arg}) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 331 | Ok(Apply{f: Box::new(ff), arg}) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:173:19 [INFO] [stdout] | [INFO] [stdout] 173 | body: box body [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 173 | body: Box::new(body) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:362:29 [INFO] [stdout] | [INFO] [stdout] 362 | f : box f.eval_whnf2(env)?, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 362 | f : Box::new(f.eval_whnf2(env)?), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:376:29 [INFO] [stdout] | [INFO] [stdout] 376 | f : box ff, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 376 | f : Box::new(ff), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:187:25 [INFO] [stdout] | [INFO] [stdout] 187 | f : box f, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 187 | f : Box::new(f), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:381:40 [INFO] [stdout] | [INFO] [stdout] 381 | return Ok(Apply{f: box f, arg}) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 381 | return Ok(Apply{f: Box::new(f), arg}) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:188:27 [INFO] [stdout] | [INFO] [stdout] 188 | arg : box arg, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 188 | arg : Box::new(arg), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:416:33 [INFO] [stdout] | [INFO] [stdout] 416 | ... f : box x.eval_nf(env)?, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 416 | f : Box::new(x.eval_nf(env)?), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:417:34 [INFO] [stdout] | [INFO] [stdout] 417 | ... arg: box arg.eval_nf(env)? [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 417 | arg: Box::new(arg.eval_nf(env)?) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:205:28 [INFO] [stdout] | [INFO] [stdout] 205 | body : box abs_n( [INFO] [stdout] | ____________________________^ [INFO] [stdout] 206 | | formals, [INFO] [stdout] 207 | | body, [INFO] [stdout] 208 | | ), [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 205 ~ body : Box::new(abs_n( [INFO] [stdout] 206 | formals, [INFO] [stdout] 207 | body, [INFO] [stdout] 208 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:229:25 [INFO] [stdout] | [INFO] [stdout] 229 | f : box f, [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 229 | f : Box::new(f), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:230:27 [INFO] [stdout] | [INFO] [stdout] 230 | arg : box arg, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 230 | arg : Box::new(arg), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:247:28 [INFO] [stdout] | [INFO] [stdout] 247 | body : box Self::abstract_n( [INFO] [stdout] | ____________________________^ [INFO] [stdout] 248 | | formals, [INFO] [stdout] 249 | | body, [INFO] [stdout] 250 | | ), [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 247 ~ body : Box::new(Self::abstract_n( [INFO] [stdout] 248 | formals, [INFO] [stdout] 249 | body, [INFO] [stdout] 250 ~ )), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:331:37 [INFO] [stdout] | [INFO] [stdout] 331 | Ok(Apply{f: box ff, arg}) [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 331 | Ok(Apply{f: Box::new(ff), arg}) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:362:29 [INFO] [stdout] | [INFO] [stdout] 362 | f : box f.eval_whnf2(env)?, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 362 | f : Box::new(f.eval_whnf2(env)?), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:376:29 [INFO] [stdout] | [INFO] [stdout] 376 | f : box ff, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 376 | f : Box::new(ff), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:381:40 [INFO] [stdout] | [INFO] [stdout] 381 | return Ok(Apply{f: box f, arg}) [INFO] [stdout] | ^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 381 | return Ok(Apply{f: Box::new(f), arg}) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:416:33 [INFO] [stdout] | [INFO] [stdout] 416 | ... f : box x.eval_nf(env)?, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 416 | f : Box::new(x.eval_nf(env)?), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:417:34 [INFO] [stdout] | [INFO] [stdout] 417 | ... arg: box arg.eval_nf(env)? [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 417 | arg: Box::new(arg.eval_nf(env)?) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:508:29 [INFO] [stdout] | [INFO] [stdout] 508 | f : box Var("a"), [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 508 | f : Box::new(Var("a")), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:509:30 [INFO] [stdout] | [INFO] [stdout] 509 | arg: box Var("b") [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 509 | arg: Box::new(Var("b")) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:507:24 [INFO] [stdout] | [INFO] [stdout] 507 | f: box Apply{ [INFO] [stdout] | ________________________^ [INFO] [stdout] 508 | | f : box Var("a"), [INFO] [stdout] 509 | | arg: box Var("b") [INFO] [stdout] 510 | | }, [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 507 ~ f: Box::new(Apply{ [INFO] [stdout] 508 | f : box Var("a"), [INFO] [stdout] 509 | arg: box Var("b") [INFO] [stdout] 510 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:511:26 [INFO] [stdout] | [INFO] [stdout] 511 | arg: box Var("c") [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 511 | arg: Box::new(Var("c")) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:535:31 [INFO] [stdout] | [INFO] [stdout] 535 | body: box Var("c") [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 535 | body: Box::new(Var("c")) [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/types.rs:533:27 [INFO] [stdout] | [INFO] [stdout] 533 | body: box Abstract{ [INFO] [stdout] | ___________________________^ [INFO] [stdout] 534 | | formal : "b", [INFO] [stdout] 535 | | body: box Var("c") [INFO] [stdout] 536 | | }, [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 533 ~ body: Box::new(Abstract{ [INFO] [stdout] 534 | formal : "b", [INFO] [stdout] 535 | body: box Var("c") [INFO] [stdout] 536 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/typecheck.rs:555:17 [INFO] [stdout] | [INFO] [stdout] 555 | f : box Type::Var("Option"), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 555 | f : Box::new(Type::Var("Option")), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/typecheck.rs:556:19 [INFO] [stdout] | [INFO] [stdout] 556 | arg : box Type::Hole, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 556 | arg : Box::new(Type::Hole), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:442:25 [INFO] [stdout] | [INFO] [stdout] 442 | f : box Type::Enum{ [INFO] [stdout] | _________________________^ [INFO] [stdout] 443 | | fields : vec![ [INFO] [stdout] 444 | | (a, Type::Var(b)) [INFO] [stdout] 445 | | ], [INFO] [stdout] 446 | | }, [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 442 ~ f : Box::new(Type::Enum{ [INFO] [stdout] 443 | fields : vec![ [INFO] [stdout] 444 | (a, Type::Var(b)) [INFO] [stdout] 445 | ], [INFO] [stdout] 446 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:447:27 [INFO] [stdout] | [INFO] [stdout] 447 | arg : box Type::Var(c), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 447 | arg : Box::new(Type::Var(c)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:462:27 [INFO] [stdout] | [INFO] [stdout] 462 | body: box Type::Enum{ [INFO] [stdout] | ___________________________^ [INFO] [stdout] 463 | | fields : vec![ [INFO] [stdout] 464 | | (b, Type::Var(a)) [INFO] [stdout] 465 | | ], [INFO] [stdout] 466 | | } [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 462 ~ body: Box::new(Type::Enum{ [INFO] [stdout] 463 | fields : vec![ [INFO] [stdout] 464 | (b, Type::Var(a)) [INFO] [stdout] 465 | ], [INFO] [stdout] 466 ~ }) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:474:31 [INFO] [stdout] | [INFO] [stdout] 474 | body: box Type::Enum{ [INFO] [stdout] | _______________________________^ [INFO] [stdout] 475 | | fields : vec![ [INFO] [stdout] 476 | | (b, Type::Var(a)) [INFO] [stdout] 477 | | ], [INFO] [stdout] 478 | | } [INFO] [stdout] | |_________________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 474 ~ body: Box::new(Type::Enum{ [INFO] [stdout] 475 | fields : vec![ [INFO] [stdout] 476 | (b, Type::Var(a)) [INFO] [stdout] 477 | ], [INFO] [stdout] 478 ~ }) [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:472:25 [INFO] [stdout] | [INFO] [stdout] 472 | f : box Type::Abstract{ [INFO] [stdout] | _________________________^ [INFO] [stdout] 473 | | formal : a, [INFO] [stdout] 474 | | body: box Type::Enum{ [INFO] [stdout] 475 | | fields : vec![ [INFO] [stdout] ... | [INFO] [stdout] 478 | | } [INFO] [stdout] 479 | | }, [INFO] [stdout] | |_____________________^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 472 ~ f : Box::new(Type::Abstract{ [INFO] [stdout] 473 | formal : a, [INFO] [stdout] ... [INFO] [stdout] 478 | } [INFO] [stdout] 479 ~ }), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: `box_syntax` has been removed [INFO] [stdout] --> src/parser.rs:480:27 [INFO] [stdout] | [INFO] [stdout] 480 | arg : box Type::Var(c), [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: use `Box::new()` instead [INFO] [stdout] | [INFO] [stdout] 480 | arg : Box::new(Type::Var(c)), [INFO] [stdout] | ~~~~~~~~~ + [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 16 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stderr] error: could not compile `lang2` (lib) due to 17 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: aborting due to 30 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0557`. [INFO] [stdout] [INFO] [stderr] error: could not compile `lang2` (lib test) due to 31 previous errors [INFO] running `Command { std: "docker" "inspect" "c77c67e7b06f50eab99c8726201c50a6823e17cbe8ee32d2f6499d834ade6a54", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c77c67e7b06f50eab99c8726201c50a6823e17cbe8ee32d2f6499d834ade6a54", kill_on_drop: false }` [INFO] [stdout] c77c67e7b06f50eab99c8726201c50a6823e17cbe8ee32d2f6499d834ade6a54