[INFO] updating cached repository tlively/wasm-multivalue-opt
[INFO] running `"git" "fetch" "--all"`
[INFO] [stdout] Fetching origin
[INFO] [stderr] From git://github.com/tlively/wasm-multivalue-opt
[INFO] [stderr]  * branch            HEAD       -> FETCH_HEAD
[INFO] running `"git" "clone" "work/cache/sources/gh/tlively/wasm-multivalue-opt" "work/ex/pr-63376/sources/master#60960a260f7b5c695fd0717311d72ce62dd4eb43/gh/tlively/wasm-multivalue-opt"`
[INFO] [stderr] Cloning into 'work/ex/pr-63376/sources/master#60960a260f7b5c695fd0717311d72ce62dd4eb43/gh/tlively/wasm-multivalue-opt'...
[INFO] [stderr] done.
[INFO] running `"git" "clone" "work/cache/sources/gh/tlively/wasm-multivalue-opt" "work/ex/pr-63376/sources/try#266783e4e09e4e9d5307c1c8e695659c58bbcac7/gh/tlively/wasm-multivalue-opt"`
[INFO] [stderr] Cloning into 'work/ex/pr-63376/sources/try#266783e4e09e4e9d5307c1c8e695659c58bbcac7/gh/tlively/wasm-multivalue-opt'...
[INFO] [stderr] done.
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] d43a3b157a25662d43be37bac023042104f6450e
[INFO] sha for GitHub repo tlively/wasm-multivalue-opt: d43a3b157a25662d43be37bac023042104f6450e
[INFO] validating manifest of tlively/wasm-multivalue-opt on toolchain master#60960a260f7b5c695fd0717311d72ce62dd4eb43
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+60960a260f7b5c695fd0717311d72ce62dd4eb43-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] validating manifest of tlively/wasm-multivalue-opt on toolchain try#266783e4e09e4e9d5307c1c8e695659c58bbcac7
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+266783e4e09e4e9d5307c1c8e695659c58bbcac7-alt" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started frobbing tlively/wasm-multivalue-opt
[INFO] finished frobbing tlively/wasm-multivalue-opt
[INFO] frobbed toml for tlively/wasm-multivalue-opt written to work/ex/pr-63376/sources/master#60960a260f7b5c695fd0717311d72ce62dd4eb43/gh/tlively/wasm-multivalue-opt/Cargo.toml
[INFO] started frobbing tlively/wasm-multivalue-opt
[INFO] finished frobbing tlively/wasm-multivalue-opt
[INFO] frobbed toml for tlively/wasm-multivalue-opt written to work/ex/pr-63376/sources/try#266783e4e09e4e9d5307c1c8e695659c58bbcac7/gh/tlively/wasm-multivalue-opt/Cargo.toml
[INFO] crate tlively/wasm-multivalue-opt already has a lockfile, it will not be regenerated
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+60960a260f7b5c695fd0717311d72ce62dd4eb43-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+266783e4e09e4e9d5307c1c8e695659c58bbcac7-alt" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] checking tlively/wasm-multivalue-opt against try#266783e4e09e4e9d5307c1c8e695659c58bbcac7 for pr-63376
[INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/pr-63376/worker-7/try#266783e4e09e4e9d5307c1c8e695659c58bbcac7:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/pr-63376/sources/try#266783e4e09e4e9d5307c1c8e695659c58bbcac7/gh/tlively/wasm-multivalue-opt:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+266783e4e09e4e9d5307c1c8e695659c58bbcac7-alt" "check" "--frozen" "--all" "--all-targets"`
[INFO] [stdout] dcb38bb9c092905fbcd853eaae0cd722966450b19e342bf8dc856040c989e55f
[INFO] running `"docker" "start" "-a" "dcb38bb9c092905fbcd853eaae0cd722966450b19e342bf8dc856040c989e55f"`
[INFO] [stderr]     Checking bit-vec v0.5.1
[INFO] [stderr]     Checking abstract-interp v0.1.0 (/opt/crater/workdir)
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/program.rs:145:21
[INFO] [stderr]     |
[INFO] [stderr] 145 |             [first, rest..] => first.get_size() + Program::get_size_insts(rest),
[INFO] [stderr]     |                     ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/program.rs:156:28
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                            ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/program.rs:156:53
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                                                     ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/program.rs:161:37
[INFO] [stderr]     |
[INFO] [stderr] 161 |             [Inst::If(left, right), rest..] => u32::max(
[INFO] [stderr]     |                                     ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/program.rs:165:17
[INFO] [stderr]     |
[INFO] [stderr] 165 |             [_, rest..] => Program::next_local_insts(rest),
[INFO] [stderr]     |                 ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/program.rs:296:33
[INFO] [stderr]     |
[INFO] [stderr] 296 |                 [ref mut first, rest..] => {
[INFO] [stderr]     |                                 ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/program.rs:334:25
[INFO] [stderr]     |
[INFO] [stderr] 334 |                 [first, rest..] => {
[INFO] [stderr]     |                         ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]   --> src/main.rs:24:18
[INFO] [stderr]    |
[INFO] [stderr] 24 |         [Get(n), rest..] => {
[INFO] [stderr]    |                  ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]   --> src/main.rs:28:18
[INFO] [stderr]    |
[INFO] [stderr] 28 |         [Set(n), rest..] => {
[INFO] [stderr]    |                  ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]   --> src/main.rs:32:16
[INFO] [stderr]    |
[INFO] [stderr] 32 |         [Drop, rest..] => {
[INFO] [stderr]    |                ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]   --> src/main.rs:36:33
[INFO] [stderr]    |
[INFO] [stderr] 36 |         [Op(Type { from, to }), rest..] => {
[INFO] [stderr]    |                                 ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]   --> src/main.rs:51:27
[INFO] [stderr]    |
[INFO] [stderr] 51 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]   --> src/main.rs:80:27
[INFO] [stderr]    |
[INFO] [stderr] 80 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/program.rs:145:21
[INFO] [stderr]     |
[INFO] [stderr] 145 |             [first, rest..] => first.get_size() + Program::get_size_insts(rest),
[INFO] [stderr]     |                     ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/program.rs:156:28
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                            ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/program.rs:156:53
[INFO] [stderr]     |
[INFO] [stderr] 156 |             [Inst::Get(l), rest..] | [Inst::Set(l), rest..] => {
[INFO] [stderr]     |                                                     ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/program.rs:161:37
[INFO] [stderr]     |
[INFO] [stderr] 161 |             [Inst::If(left, right), rest..] => u32::max(
[INFO] [stderr]     |                                     ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/program.rs:165:17
[INFO] [stderr]     |
[INFO] [stderr] 165 |             [_, rest..] => Program::next_local_insts(rest),
[INFO] [stderr]     |                 ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]   --> src/main.rs:86:13
[INFO] [stderr]    |
[INFO] [stderr] 86 |         [_, rest..] => has_normalized_ifs(rest),
[INFO] [stderr]    |             ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/main.rs:101:27
[INFO] [stderr]     |
[INFO] [stderr] 101 |         [If(left, right), rest..] => {
[INFO] [stderr]     |                           ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/program.rs:296:33
[INFO] [stderr]     |
[INFO] [stderr] 296 |                 [ref mut first, rest..] => {
[INFO] [stderr]     |                                 ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/main.rs:106:13
[INFO] [stderr]     |
[INFO] [stderr] 106 |         [_, rest..] => has_useless_get(rest),
[INFO] [stderr]     |             ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/main.rs:125:65
[INFO] [stderr]     |
[INFO] [stderr] 125 |         [If(Program { insts: left }, Program { insts: right }), rest..] => {
[INFO] [stderr]     |                                                                 ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/program.rs:334:25
[INFO] [stderr]     |
[INFO] [stderr] 334 |                 [first, rest..] => {
[INFO] [stderr]     |                         ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/main.rs:141:13
[INFO] [stderr]     |
[INFO] [stderr] 141 |         [_, rest..] => has_trivial_opt(rest),
[INFO] [stderr]     |             ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]   --> src/main.rs:24:18
[INFO] [stderr]    |
[INFO] [stderr] 24 |         [Get(n), rest..] => {
[INFO] [stderr]    |                  ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]   --> src/main.rs:28:18
[INFO] [stderr]    |
[INFO] [stderr] 28 |         [Set(n), rest..] => {
[INFO] [stderr]    |                  ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]   --> src/main.rs:32:16
[INFO] [stderr]    |
[INFO] [stderr] 32 |         [Drop, rest..] => {
[INFO] [stderr]    |                ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]   --> src/main.rs:36:33
[INFO] [stderr]    |
[INFO] [stderr] 36 |         [Op(Type { from, to }), rest..] => {
[INFO] [stderr]    |                                 ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]   --> src/main.rs:51:27
[INFO] [stderr]    |
[INFO] [stderr] 51 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]   --> src/main.rs:80:27
[INFO] [stderr]    |
[INFO] [stderr] 80 |         [If(left, right), rest..] => {
[INFO] [stderr]    |                           ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]   --> src/main.rs:86:13
[INFO] [stderr]    |
[INFO] [stderr] 86 |         [_, rest..] => has_normalized_ifs(rest),
[INFO] [stderr]    |             ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/main.rs:101:27
[INFO] [stderr]     |
[INFO] [stderr] 101 |         [If(left, right), rest..] => {
[INFO] [stderr]     |                           ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/main.rs:106:13
[INFO] [stderr]     |
[INFO] [stderr] 106 |         [_, rest..] => has_useless_get(rest),
[INFO] [stderr]     |             ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/main.rs:125:65
[INFO] [stderr]     |
[INFO] [stderr] 125 |         [If(Program { insts: left }, Program { insts: right }), rest..] => {
[INFO] [stderr]     |                                                                 ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[INFO] [stderr] 
[INFO] [stderr] error: `X..` range patterns are not supported
[INFO] [stderr]    --> src/main.rs:141:13
[INFO] [stderr]     |
[INFO] [stderr] 141 |         [_, rest..] => has_trivial_opt(rest),
[INFO] [stderr]     |             ^^^^^^ help: try using the maximum value for the type: `rest..MAX`
[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]: 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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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] warning: build failed, waiting for other jobs to finish...
[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]: 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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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: for more information, see https://github.com/rust-lang/rust/issues/37854
[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] running `"docker" "inspect" "dcb38bb9c092905fbcd853eaae0cd722966450b19e342bf8dc856040c989e55f"`
[INFO] running `"docker" "rm" "-f" "dcb38bb9c092905fbcd853eaae0cd722966450b19e342bf8dc856040c989e55f"`
[INFO] [stdout] dcb38bb9c092905fbcd853eaae0cd722966450b19e342bf8dc856040c989e55f