[INFO] updating cached repository https://github.com/tlively/wasm-multivalue-opt
[INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"`
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] d43a3b157a25662d43be37bac023042104f6450e
[INFO] checking tlively/wasm-multivalue-opt against master#bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc for pr-70917
[INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftlively%2Fwasm-multivalue-opt" "/workspace/builds/worker-10/source"`
[INFO] [stderr] Cloning into '/workspace/builds/worker-10/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/tlively/wasm-multivalue-opt on toolchain bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc
[INFO] running `"/workspace/cargo-home/bin/cargo" "+bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking git repo https://github.com/tlively/wasm-multivalue-opt
[INFO] finished tweaking git repo https://github.com/tlively/wasm-multivalue-opt
[INFO] tweaked toml for git repo https://github.com/tlively/wasm-multivalue-opt written to /workspace/builds/worker-10/source/Cargo.toml
[INFO] crate git repo https://github.com/tlively/wasm-multivalue-opt already has a lockfile, it will not be regenerated
[INFO] running `"/workspace/cargo-home/bin/cargo" "+bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+bf1f2eedda4fa02b7c9347dd849ed73ddd43dedc" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] 374498a1143df70091741d40ad5dacbb7be62f525c99105d47c51cf6defec40f
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `"docker" "start" "-a" "374498a1143df70091741d40ad5dacbb7be62f525c99105d47c51cf6defec40f"`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Checking bit-vec v0.5.1
[INFO] [stderr]     Checking abstract-interp v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:145:21
[INFO] [stderr]     |
[INFO] [stderr] 145 |             [first, rest..] => first.get_size() + Program::get_size_insts(rest),
[INFO] [stderr]     |                     ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:145:75
[INFO] [stderr]     |
[INFO] [stderr] 145 |             [first, rest..] => first.get_size() + Program::get_size_insts(rest),
[INFO] [stderr]     |                                                                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:156:28
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                            ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:156:53
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                                                     ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:157:43
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 Program::next_local_insts(rest)
[INFO] [stderr]     |                                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:161:37
[INFO] [stderr]     |
[INFO] [stderr] 161 |             [Inst::If(left, right), rest..] => u32::max(
[INFO] [stderr]     |                                     ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:163:43
[INFO] [stderr]     |
[INFO] [stderr] 163 |                 Program::next_local_insts(rest),
[INFO] [stderr]     |                                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:165:17
[INFO] [stderr]     |
[INFO] [stderr] 165 |             [_, rest..] => Program::next_local_insts(rest),
[INFO] [stderr]     |                 ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:165:54
[INFO] [stderr]     |
[INFO] [stderr] 165 |             [_, rest..] => Program::next_local_insts(rest),
[INFO] [stderr]     |                                                      ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:296:33
[INFO] [stderr]     |
[INFO] [stderr] 296 |                 [ref mut first, rest..] => {
[INFO] [stderr]     |                                 ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:298:67
[INFO] [stderr]     |
[INFO] [stderr] 298 |                         max_size - size - Program::get_size_insts(rest);
[INFO] [stderr]     |                                                                   ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:301:53
[INFO] [stderr]     |
[INFO] [stderr] 301 |                         to: Program::get_type_insts(rest).from,
[INFO] [stderr]     |                                                     ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:307:71
[INFO] [stderr]     |
[INFO] [stderr] 307 |                         u32::max(max_local, Program::next_local_insts(rest)),
[INFO] [stderr]     |                                                                       ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:318:36
[INFO] [stderr]     |
[INFO] [stderr] 318 | ...                   curr = rest;
[INFO] [stderr]     |                              ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:334:25
[INFO] [stderr]     |
[INFO] [stderr] 334 |                 [first, rest..] => {
[INFO] [stderr]     |                         ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:351:43
[INFO] [stderr]     |
[INFO] [stderr] 351 |                     multivalue_with_stack(rest, stack_size - t.from + t.to)
[INFO] [stderr]     |                                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:24:18
[INFO] [stderr]    |
[INFO] [stderr] 24 |         [Get(n), rest..] => {
[INFO] [stderr]    |                  ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:26:41
[INFO] [stderr]    |
[INFO] [stderr] 26 |             interpret_insts_with_config(rest, config)
[INFO] [stderr]    |                                         ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:28:18
[INFO] [stderr]    |
[INFO] [stderr] 28 |         [Set(n), rest..] => {
[INFO] [stderr]    |                  ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:30:41
[INFO] [stderr]    |
[INFO] [stderr] 30 |             interpret_insts_with_config(rest, config)
[INFO] [stderr]    |                                         ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:32:16
[INFO] [stderr]    |
[INFO] [stderr] 32 |         [Drop, rest..] => {
[INFO] [stderr]    |                ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:34:41
[INFO] [stderr]    |
[INFO] [stderr] 34 |             interpret_insts_with_config(rest, config)
[INFO] [stderr]    |                                         ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:36:33
[INFO] [stderr]    |
[INFO] [stderr] 36 |         [Op(Type { from, to }), rest..] => {
[INFO] [stderr]    |                                 ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:49:41
[INFO] [stderr]    |
[INFO] [stderr] 49 |             interpret_insts_with_config(rest, config)
[INFO] [stderr]    |                                         ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:51:27
[INFO] [stderr]    |
[INFO] [stderr] 51 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:55:46
[INFO] [stderr]    |
[INFO] [stderr] 55 |                 prog.insts.extend_from_slice(rest);
[INFO] [stderr]    |                                              ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:62:46
[INFO] [stderr]    |
[INFO] [stderr] 62 |                 prog.insts.extend_from_slice(rest);
[INFO] [stderr]    |                                              ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:80:27
[INFO] [stderr]    |
[INFO] [stderr] 80 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:84:39
[INFO] [stderr]    |
[INFO] [stderr] 84 |                 && has_normalized_ifs(rest)
[INFO] [stderr]    |                                       ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:86:13
[INFO] [stderr]    |
[INFO] [stderr] 86 |         [_, rest..] => has_normalized_ifs(rest),
[INFO] [stderr]    |             ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:86:43
[INFO] [stderr]    |
[INFO] [stderr] 86 |         [_, rest..] => has_normalized_ifs(rest),
[INFO] [stderr]    |                                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:101:27
[INFO] [stderr]     |
[INFO] [stderr] 101 |         [If(left, right), rest..] => {
[INFO] [stderr]     |                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:102:29
[INFO] [stderr]     |
[INFO] [stderr] 102 |             has_useless_get(rest)
[INFO] [stderr]     |                             ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:106:13
[INFO] [stderr]     |
[INFO] [stderr] 106 |         [_, rest..] => has_useless_get(rest),
[INFO] [stderr]     |             ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:106:40
[INFO] [stderr]     |
[INFO] [stderr] 106 |         [_, rest..] => has_useless_get(rest),
[INFO] [stderr]     |                                        ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:125:65
[INFO] [stderr]     |
[INFO] [stderr] 125 |         [If(Program { insts: left }, Program { insts: right }), rest..] => {
[INFO] [stderr]     |                                                                 ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:136:33
[INFO] [stderr]     |
[INFO] [stderr] 136 |                 has_trivial_opt(rest)
[INFO] [stderr]     |                                 ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:141:13
[INFO] [stderr]     |
[INFO] [stderr] 141 |         [_, rest..] => has_trivial_opt(rest),
[INFO] [stderr]     |             ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:141:40
[INFO] [stderr]     |
[INFO] [stderr] 141 |         [_, rest..] => has_trivial_opt(rest),
[INFO] [stderr]     |                                        ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]   --> src/main.rs:24:18
[INFO] [stderr]    |
[INFO] [stderr] 24 |         [Get(n), rest..] => {
[INFO] [stderr]    |                  ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]    = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]   --> src/main.rs:28:18
[INFO] [stderr]    |
[INFO] [stderr] 28 |         [Set(n), rest..] => {
[INFO] [stderr]    |                  ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]    = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]   --> src/main.rs:32:16
[INFO] [stderr]    |
[INFO] [stderr] 32 |         [Drop, rest..] => {
[INFO] [stderr]    |                ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]    = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]   --> src/main.rs:36:33
[INFO] [stderr]    |
[INFO] [stderr] 36 |         [Op(Type { from, to }), rest..] => {
[INFO] [stderr]    |                                 ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]    = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]   --> src/main.rs:51:27
[INFO] [stderr]    |
[INFO] [stderr] 51 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]    = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]   --> src/main.rs:80:27
[INFO] [stderr]    |
[INFO] [stderr] 80 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]    = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]   --> src/main.rs:86:13
[INFO] [stderr]    |
[INFO] [stderr] 86 |         [_, rest..] => has_normalized_ifs(rest),
[INFO] [stderr]    |             ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]    = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/main.rs:101:27
[INFO] [stderr]     |
[INFO] [stderr] 101 |         [If(left, right), rest..] => {
[INFO] [stderr]     |                           ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/main.rs:106:13
[INFO] [stderr]     |
[INFO] [stderr] 106 |         [_, rest..] => has_useless_get(rest),
[INFO] [stderr]     |             ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/main.rs:125:65
[INFO] [stderr]     |
[INFO] [stderr] 125 |         [If(Program { insts: left }, Program { insts: right }), rest..] => {
[INFO] [stderr]     |                                                                 ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/main.rs:141:13
[INFO] [stderr]     |
[INFO] [stderr] 141 |         [_, rest..] => has_trivial_opt(rest),
[INFO] [stderr]     |             ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/program.rs:145:21
[INFO] [stderr]     |
[INFO] [stderr] 145 |             [first, rest..] => first.get_size() + Program::get_size_insts(rest),
[INFO] [stderr]     |                     ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/program.rs:156:28
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                            ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/program.rs:156:53
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                                                     ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/program.rs:161:37
[INFO] [stderr]     |
[INFO] [stderr] 161 |             [Inst::If(left, right), rest..] => u32::max(
[INFO] [stderr]     |                                     ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/program.rs:165:17
[INFO] [stderr]     |
[INFO] [stderr] 165 |             [_, rest..] => Program::next_local_insts(rest),
[INFO] [stderr]     |                 ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/program.rs:296:33
[INFO] [stderr]     |
[INFO] [stderr] 296 |                 [ref mut first, rest..] => {
[INFO] [stderr]     |                                 ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/program.rs:334:25
[INFO] [stderr]     |
[INFO] [stderr] 334 |                 [first, rest..] => {
[INFO] [stderr]     |                         ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/program.rs:145:21
[INFO] [stderr]     |
[INFO] [stderr] 145 |             [first, rest..] => first.get_size() + Program::get_size_insts(rest),
[INFO] [stderr]     |                     ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/program.rs:156:28
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                            ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/program.rs:156:53
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                                                     ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/program.rs:161:37
[INFO] [stderr]     |
[INFO] [stderr] 161 |             [Inst::If(left, right), rest..] => u32::max(
[INFO] [stderr]     |                                     ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/program.rs:165:17
[INFO] [stderr]     |
[INFO] [stderr] 165 |             [_, rest..] => Program::next_local_insts(rest),
[INFO] [stderr]     |                 ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/program.rs:296:33
[INFO] [stderr]     |
[INFO] [stderr] 296 |                 [ref mut first, rest..] => {
[INFO] [stderr]     |                                 ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/program.rs:334:25
[INFO] [stderr]     |
[INFO] [stderr] 334 |                 [first, rest..] => {
[INFO] [stderr]     |                         ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]   --> src/main.rs:24:18
[INFO] [stderr]    |
[INFO] [stderr] 24 |         [Get(n), rest..] => {
[INFO] [stderr]    |                  ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]    = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]   --> src/main.rs:28:18
[INFO] [stderr]    |
[INFO] [stderr] 28 |         [Set(n), rest..] => {
[INFO] [stderr]    |                  ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]    = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]   --> src/main.rs:32:16
[INFO] [stderr]    |
[INFO] [stderr] 32 |         [Drop, rest..] => {
[INFO] [stderr]    |                ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]    = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]   --> src/main.rs:36:33
[INFO] [stderr]    |
[INFO] [stderr] 36 |         [Op(Type { from, to }), rest..] => {
[INFO] [stderr]    |                                 ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]    = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]   --> src/main.rs:51:27
[INFO] [stderr]    |
[INFO] [stderr] 51 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]    = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]   --> src/main.rs:80:27
[INFO] [stderr]    |
[INFO] [stderr] 80 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]    = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]   --> src/main.rs:86:13
[INFO] [stderr]    |
[INFO] [stderr] 86 |         [_, rest..] => has_normalized_ifs(rest),
[INFO] [stderr]    |             ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]    = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/main.rs:101:27
[INFO] [stderr]     |
[INFO] [stderr] 101 |         [If(left, right), rest..] => {
[INFO] [stderr]     |                           ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/main.rs:106:13
[INFO] [stderr]     |
[INFO] [stderr] 106 |         [_, rest..] => has_useless_get(rest),
[INFO] [stderr]     |             ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/main.rs:125:65
[INFO] [stderr]     |
[INFO] [stderr] 125 |         [If(Program { insts: left }, Program { insts: right }), rest..] => {
[INFO] [stderr]     |                                                                 ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/main.rs:141:13
[INFO] [stderr]     |
[INFO] [stderr] 141 |         [_, rest..] => has_trivial_opt(rest),
[INFO] [stderr]     |             ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:145:21
[INFO] [stderr]     |
[INFO] [stderr] 145 |             [first, rest..] => first.get_size() + Program::get_size_insts(rest),
[INFO] [stderr]     |                     ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:145:75
[INFO] [stderr]     |
[INFO] [stderr] 145 |             [first, rest..] => first.get_size() + Program::get_size_insts(rest),
[INFO] [stderr]     |                                                                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:156:28
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                            ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:156:53
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                                                     ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:157:43
[INFO] [stderr]     |
[INFO] [stderr] 157 |                 Program::next_local_insts(rest)
[INFO] [stderr]     |                                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:161:37
[INFO] [stderr]     |
[INFO] [stderr] 161 |             [Inst::If(left, right), rest..] => u32::max(
[INFO] [stderr]     |                                     ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:163:43
[INFO] [stderr]     |
[INFO] [stderr] 163 |                 Program::next_local_insts(rest),
[INFO] [stderr]     |                                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:165:17
[INFO] [stderr]     |
[INFO] [stderr] 165 |             [_, rest..] => Program::next_local_insts(rest),
[INFO] [stderr]     |                 ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:165:54
[INFO] [stderr]     |
[INFO] [stderr] 165 |             [_, rest..] => Program::next_local_insts(rest),
[INFO] [stderr]     |                                                      ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:296:33
[INFO] [stderr]     |
[INFO] [stderr] 296 |                 [ref mut first, rest..] => {
[INFO] [stderr]     |                                 ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:298:67
[INFO] [stderr]     |
[INFO] [stderr] 298 |                         max_size - size - Program::get_size_insts(rest);
[INFO] [stderr]     |                                                                   ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:301:53
[INFO] [stderr]     |
[INFO] [stderr] 301 |                         to: Program::get_type_insts(rest).from,
[INFO] [stderr]     |                                                     ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:307:71
[INFO] [stderr]     |
[INFO] [stderr] 307 |                         u32::max(max_local, Program::next_local_insts(rest)),
[INFO] [stderr]     |                                                                       ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:318:36
[INFO] [stderr]     |
[INFO] [stderr] 318 | ...                   curr = rest;
[INFO] [stderr]     |                              ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:334:25
[INFO] [stderr]     |
[INFO] [stderr] 334 |                 [first, rest..] => {
[INFO] [stderr]     |                         ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/program.rs:351:43
[INFO] [stderr]     |
[INFO] [stderr] 351 |                     multivalue_with_stack(rest, stack_size - t.from + t.to)
[INFO] [stderr]     |                                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:24:18
[INFO] [stderr]    |
[INFO] [stderr] 24 |         [Get(n), rest..] => {
[INFO] [stderr]    |                  ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:26:41
[INFO] [stderr]    |
[INFO] [stderr] 26 |             interpret_insts_with_config(rest, config)
[INFO] [stderr]    |                                         ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:28:18
[INFO] [stderr]    |
[INFO] [stderr] 28 |         [Set(n), rest..] => {
[INFO] [stderr]    |                  ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:30:41
[INFO] [stderr]    |
[INFO] [stderr] 30 |             interpret_insts_with_config(rest, config)
[INFO] [stderr]    |                                         ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:32:16
[INFO] [stderr]    |
[INFO] [stderr] 32 |         [Drop, rest..] => {
[INFO] [stderr]    |                ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:34:41
[INFO] [stderr]    |
[INFO] [stderr] 34 |             interpret_insts_with_config(rest, config)
[INFO] [stderr]    |                                         ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:36:33
[INFO] [stderr]    |
[INFO] [stderr] 36 |         [Op(Type { from, to }), rest..] => {
[INFO] [stderr]    |                                 ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:49:41
[INFO] [stderr]    |
[INFO] [stderr] 49 |             interpret_insts_with_config(rest, config)
[INFO] [stderr]    |                                         ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:51:27
[INFO] [stderr]    |
[INFO] [stderr] 51 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:55:46
[INFO] [stderr]    |
[INFO] [stderr] 55 |                 prog.insts.extend_from_slice(rest);
[INFO] [stderr]    |                                              ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:62:46
[INFO] [stderr]    |
[INFO] [stderr] 62 |                 prog.insts.extend_from_slice(rest);
[INFO] [stderr]    |                                              ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:80:27
[INFO] [stderr]    |
[INFO] [stderr] 80 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:84:39
[INFO] [stderr]    |
[INFO] [stderr] 84 |                 && has_normalized_ifs(rest)
[INFO] [stderr]    |                                       ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:86:13
[INFO] [stderr]    |
[INFO] [stderr] 86 |         [_, rest..] => has_normalized_ifs(rest),
[INFO] [stderr]    |             ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]   --> src/main.rs:86:43
[INFO] [stderr]    |
[INFO] [stderr] 86 |         [_, rest..] => has_normalized_ifs(rest),
[INFO] [stderr]    |                                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:101:27
[INFO] [stderr]     |
[INFO] [stderr] 101 |         [If(left, right), rest..] => {
[INFO] [stderr]     |                           ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:102:29
[INFO] [stderr]     |
[INFO] [stderr] 102 |             has_useless_get(rest)
[INFO] [stderr]     |                             ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:106:13
[INFO] [stderr]     |
[INFO] [stderr] 106 |         [_, rest..] => has_useless_get(rest),
[INFO] [stderr]     |             ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:106:40
[INFO] [stderr]     |
[INFO] [stderr] 106 |         [_, rest..] => has_useless_get(rest),
[INFO] [stderr]     |                                        ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:125:65
[INFO] [stderr]     |
[INFO] [stderr] 125 |         [If(Program { insts: left }, Program { insts: right }), rest..] => {
[INFO] [stderr]     |                                                                 ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:136:33
[INFO] [stderr]     |
[INFO] [stderr] 136 |                 has_trivial_opt(rest)
[INFO] [stderr]     |                                 ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:141:13
[INFO] [stderr]     |
[INFO] [stderr] 141 |         [_, rest..] => has_trivial_opt(rest),
[INFO] [stderr]     |             ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0425]: cannot find value `rest` in this scope
[INFO] [stderr]    --> src/main.rs:141:40
[INFO] [stderr]     |
[INFO] [stderr] 141 |         [_, rest..] => has_trivial_opt(rest),
[INFO] [stderr]     |                                        ^^^^ not found in this scope
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]   --> src/main.rs:24:18
[INFO] [stderr]    |
[INFO] [stderr] 24 |         [Get(n), rest..] => {
[INFO] [stderr]    |                  ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]    = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]   --> src/main.rs:28:18
[INFO] [stderr]    |
[INFO] [stderr] 28 |         [Set(n), rest..] => {
[INFO] [stderr]    |                  ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]    = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]   --> src/main.rs:32:16
[INFO] [stderr]    |
[INFO] [stderr] 32 |         [Drop, rest..] => {
[INFO] [stderr]    |                ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]    = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]   --> src/main.rs:36:33
[INFO] [stderr]    |
[INFO] [stderr] 36 |         [Op(Type { from, to }), rest..] => {
[INFO] [stderr]    |                                 ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]    = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]   --> src/main.rs:51:27
[INFO] [stderr]    |
[INFO] [stderr] 51 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]    = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]   --> src/main.rs:80:27
[INFO] [stderr]    |
[INFO] [stderr] 80 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]    = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]   --> src/main.rs:86:13
[INFO] [stderr]    |
[INFO] [stderr] 86 |         [_, rest..] => has_normalized_ifs(rest),
[INFO] [stderr]    |             ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]    = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/main.rs:101:27
[INFO] [stderr]     |
[INFO] [stderr] 101 |         [If(left, right), rest..] => {
[INFO] [stderr]     |                           ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/main.rs:106:13
[INFO] [stderr]     |
[INFO] [stderr] 106 |         [_, rest..] => has_useless_get(rest),
[INFO] [stderr]     |             ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/main.rs:125:65
[INFO] [stderr]     |
[INFO] [stderr] 125 |         [If(Program { insts: left }, Program { insts: right }), rest..] => {
[INFO] [stderr]     |                                                                 ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/main.rs:141:13
[INFO] [stderr]     |
[INFO] [stderr] 141 |         [_, rest..] => has_trivial_opt(rest),
[INFO] [stderr]     |             ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/program.rs:145:21
[INFO] [stderr]     |
[INFO] [stderr] 145 |             [first, rest..] => first.get_size() + Program::get_size_insts(rest),
[INFO] [stderr]     |                     ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/program.rs:156:28
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                            ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/program.rs:156:53
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                                                     ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/program.rs:161:37
[INFO] [stderr]     |
[INFO] [stderr] 161 |             [Inst::If(left, right), rest..] => u32::max(
[INFO] [stderr]     |                                     ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/program.rs:165:17
[INFO] [stderr]     |
[INFO] [stderr] 165 |             [_, rest..] => Program::next_local_insts(rest),
[INFO] [stderr]     |                 ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/program.rs:296:33
[INFO] [stderr]     |
[INFO] [stderr] 296 |                 [ref mut first, rest..] => {
[INFO] [stderr]     |                                 ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: half-open range patterns are unstable
[INFO] [stderr]    --> src/program.rs:334:25
[INFO] [stderr]     |
[INFO] [stderr] 334 |                 [first, rest..] => {
[INFO] [stderr]     |                         ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #67264 <https://github.com/rust-lang/rust/issues/67264> for more information
[INFO] [stderr]     = help: add `#![feature(half_open_range_patterns)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/program.rs:145:21
[INFO] [stderr]     |
[INFO] [stderr] 145 |             [first, rest..] => first.get_size() + Program::get_size_insts(rest),
[INFO] [stderr]     |                     ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/program.rs:156:28
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                            ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/program.rs:156:53
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                                                     ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/program.rs:161:37
[INFO] [stderr]     |
[INFO] [stderr] 161 |             [Inst::If(left, right), rest..] => u32::max(
[INFO] [stderr]     |                                     ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/program.rs:165:17
[INFO] [stderr]     |
[INFO] [stderr] 165 |             [_, rest..] => Program::next_local_insts(rest),
[INFO] [stderr]     |                 ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/program.rs:296:33
[INFO] [stderr]     |
[INFO] [stderr] 296 |                 [ref mut first, rest..] => {
[INFO] [stderr]     |                                 ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/program.rs:334:25
[INFO] [stderr]     |
[INFO] [stderr] 334 |                 [first, rest..] => {
[INFO] [stderr]     |                         ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]   --> src/main.rs:24:18
[INFO] [stderr]    |
[INFO] [stderr] 24 |         [Get(n), rest..] => {
[INFO] [stderr]    |                  ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]    = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]   --> src/main.rs:28:18
[INFO] [stderr]    |
[INFO] [stderr] 28 |         [Set(n), rest..] => {
[INFO] [stderr]    |                  ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]    = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]   --> src/main.rs:32:16
[INFO] [stderr]    |
[INFO] [stderr] 32 |         [Drop, rest..] => {
[INFO] [stderr]    |                ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]    = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]   --> src/main.rs:36:33
[INFO] [stderr]    |
[INFO] [stderr] 36 |         [Op(Type { from, to }), rest..] => {
[INFO] [stderr]    |                                 ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]    = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]   --> src/main.rs:51:27
[INFO] [stderr]    |
[INFO] [stderr] 51 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]    = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]   --> src/main.rs:80:27
[INFO] [stderr]    |
[INFO] [stderr] 80 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]    = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]   --> src/main.rs:86:13
[INFO] [stderr]    |
[INFO] [stderr] 86 |         [_, rest..] => has_normalized_ifs(rest),
[INFO] [stderr]    |             ^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]    = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/main.rs:101:27
[INFO] [stderr]     |
[INFO] [stderr] 101 |         [If(left, right), rest..] => {
[INFO] [stderr]     |                           ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/main.rs:106:13
[INFO] [stderr]     |
[INFO] [stderr] 106 |         [_, rest..] => has_useless_get(rest),
[INFO] [stderr]     |             ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/main.rs:125:65
[INFO] [stderr]     |
[INFO] [stderr] 125 |         [If(Program { insts: left }, Program { insts: right }), rest..] => {
[INFO] [stderr]     |                                                                 ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error[E0658]: exclusive range pattern syntax is experimental
[INFO] [stderr]    --> src/main.rs:141:13
[INFO] [stderr]     |
[INFO] [stderr] 141 |         [_, rest..] => has_trivial_opt(rest),
[INFO] [stderr]     |             ^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: see issue #37854 <https://github.com/rust-lang/rust/issues/37854> for more information
[INFO] [stderr]     = help: add `#![feature(exclusive_range_pattern)]` to the crate attributes to enable
[INFO] [stderr] 
[INFO] [stderr] error: aborting due to 75 previous errors
[INFO] [stderr] 
[INFO] [stderr] Some errors have detailed explanations: E0425, E0658.
[INFO] [stderr] For more information about an error, try `rustc --explain E0425`.
[INFO] [stderr] error: could not compile `abstract-interp`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: aborting due to 75 previous errors
[INFO] [stderr] 
[INFO] [stderr] Some errors have detailed explanations: E0425, E0658.
[INFO] [stderr] For more information about an error, try `rustc --explain E0425`.
[INFO] [stderr] error: could not compile `abstract-interp`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `"docker" "inspect" "374498a1143df70091741d40ad5dacbb7be62f525c99105d47c51cf6defec40f"`
[INFO] running `"docker" "rm" "-f" "374498a1143df70091741d40ad5dacbb7be62f525c99105d47c51cf6defec40f"`
[INFO] [stdout] 374498a1143df70091741d40ad5dacbb7be62f525c99105d47c51cf6defec40f
