[INFO] cloning repository https://github.com/vert2air/lazy_k [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vert2air/lazy_k" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvert2air%2Flazy_k", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvert2air%2Flazy_k'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 71c829b9e5103753843640332e2fc27357ea1be1 [INFO] testing vert2air/lazy_k against beta-2022-04-10 for beta-1.61-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvert2air%2Flazy_k" "/workspace/builds/worker-26/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-26/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/vert2air/lazy_k on toolchain beta-2022-04-10 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/vert2air/lazy_k [INFO] finished tweaking git repo https://github.com/vert2air/lazy_k [INFO] tweaked toml for git repo https://github.com/vert2air/lazy_k written to /workspace/builds/worker-26/source/Cargo.toml [INFO] crate git repo https://github.com/vert2air/lazy_k already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 24c34bd8c3a1b485ac6aa0fc550009b10df36891633053dcec6b66e7d456086c [INFO] running `Command { std: "docker" "start" "-a" "24c34bd8c3a1b485ac6aa0fc550009b10df36891633053dcec6b66e7d456086c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "24c34bd8c3a1b485ac6aa0fc550009b10df36891633053dcec6b66e7d456086c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "24c34bd8c3a1b485ac6aa0fc550009b10df36891633053dcec6b66e7d456086c", kill_on_drop: false }` [INFO] [stdout] 24c34bd8c3a1b485ac6aa0fc550009b10df36891633053dcec6b66e7d456086c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] e01c0f6456f5e760d4d23f30c7766fb218556a73a30ce2642e389d0714d38931 [INFO] running `Command { std: "docker" "start" "-a" "e01c0f6456f5e760d4d23f30c7766fb218556a73a30ce2642e389d0714d38931", kill_on_drop: false }` [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-bigint v0.3.1 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling lazy_k v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused variable: `remain` [INFO] [stdout] --> src/interpreter.rs:19:18 [INFO] [stdout] | [INFO] [stdout] 19 | Ok((res, remain)) => res, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_remain` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `pre` is assigned to, but never used [INFO] [stdout] --> src/mining.rs:11:13 [INFO] [stdout] | [INFO] [stdout] 11 | let mut pre = i(); [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_pre` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c` [INFO] [stdout] --> src/mining.rs:14:22 [INFO] [stdout] | [INFO] [stdout] 14 | Ok((num, c)) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `msg` [INFO] [stdout] --> src/mining.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | Err(msg) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_msg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre` is never read [INFO] [stdout] --> src/mining.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | pre = e; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/goedel_number.rs:131:30 [INFO] [stdout] | [INFO] [stdout] 131 | Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_fmt_panics)]` on by default [INFO] [stdout] = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: the panic!() macro supports formatting, so there's no need for the format!() macro here [INFO] [stdout] help: remove the `format!(..)` macro call [INFO] [stdout] | [INFO] [stdout] 131 - Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stdout] 131 + Err(_) => panic!("n_to_expr_aux({})", n), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/goedel_number.rs:156:30 [INFO] [stdout] | [INFO] [stdout] 156 | Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: the panic!() macro supports formatting, so there's no need for the format!() macro here [INFO] [stdout] help: remove the `format!(..)` macro call [INFO] [stdout] | [INFO] [stdout] 156 - Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stdout] 156 + Err(_) => panic!("n_to_expr_aux({})", n), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 10.24s [INFO] running `Command { std: "docker" "inspect" "e01c0f6456f5e760d4d23f30c7766fb218556a73a30ce2642e389d0714d38931", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e01c0f6456f5e760d4d23f30c7766fb218556a73a30ce2642e389d0714d38931", kill_on_drop: false }` [INFO] [stdout] e01c0f6456f5e760d4d23f30c7766fb218556a73a30ce2642e389d0714d38931 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 355a59b5c64a35290dc5a3b47065d4845858134ff792f1f5a39871a47a8f71ab [INFO] running `Command { std: "docker" "start" "-a" "355a59b5c64a35290dc5a3b47065d4845858134ff792f1f5a39871a47a8f71ab", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stdout] warning: unused variable: `remain` [INFO] [stdout] --> src/interpreter.rs:19:18 [INFO] [stdout] | [INFO] [stdout] 19 | Ok((res, remain)) => res, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_remain` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `pre` is assigned to, but never used [INFO] [stdout] --> src/mining.rs:11:13 [INFO] [stdout] | [INFO] [stdout] 11 | let mut pre = i(); [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_pre` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c` [INFO] [stdout] --> src/mining.rs:14:22 [INFO] [stdout] | [INFO] [stdout] 14 | Ok((num, c)) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `msg` [INFO] [stdout] --> src/mining.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | Err(msg) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_msg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre` is never read [INFO] [stdout] --> src/mining.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | pre = e; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/goedel_number.rs:131:30 [INFO] [stdout] | [INFO] [stdout] 131 | Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_fmt_panics)]` on by default [INFO] [stdout] = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: the panic!() macro supports formatting, so there's no need for the format!() macro here [INFO] [stdout] help: remove the `format!(..)` macro call [INFO] [stdout] | [INFO] [stdout] 131 - Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stdout] 131 + Err(_) => panic!("n_to_expr_aux({})", n), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling lazy_k v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/goedel_number.rs:156:30 [INFO] [stdout] | [INFO] [stdout] 156 | Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: the panic!() macro supports formatting, so there's no need for the format!() macro here [INFO] [stdout] help: remove the `format!(..)` macro call [INFO] [stdout] | [INFO] [stdout] 156 - Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stdout] 156 + Err(_) => panic!("n_to_expr_aux({})", n), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `remain` [INFO] [stdout] --> src/interpreter.rs:19:18 [INFO] [stdout] | [INFO] [stdout] 19 | Ok((res, remain)) => res, [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_remain` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable `pre` is assigned to, but never used [INFO] [stdout] --> src/mining.rs:11:13 [INFO] [stdout] | [INFO] [stdout] 11 | let mut pre = i(); [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: consider using `_pre` instead [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c` [INFO] [stdout] --> src/mining.rs:14:22 [INFO] [stdout] | [INFO] [stdout] 14 | Ok((num, c)) => { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_c` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `msg` [INFO] [stdout] --> src/mining.rs:17:17 [INFO] [stdout] | [INFO] [stdout] 17 | Err(msg) => { [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_msg` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `pre` is never read [INFO] [stdout] --> src/mining.rs:21:9 [INFO] [stdout] | [INFO] [stdout] 21 | pre = e; [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/goedel_number.rs:131:30 [INFO] [stdout] | [INFO] [stdout] 131 | Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_fmt_panics)]` on by default [INFO] [stdout] = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: the panic!() macro supports formatting, so there's no need for the format!() macro here [INFO] [stdout] help: remove the `format!(..)` macro call [INFO] [stdout] | [INFO] [stdout] 131 - Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stdout] 131 + Err(_) => panic!("n_to_expr_aux({})", n), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: panic message is not a string literal [INFO] [stdout] --> src/goedel_number.rs:156:30 [INFO] [stdout] | [INFO] [stdout] 156 | Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021 [INFO] [stdout] = note: for more information, see [INFO] [stdout] = note: the panic!() macro supports formatting, so there's no need for the format!() macro here [INFO] [stdout] help: remove the `format!(..)` macro call [INFO] [stdout] | [INFO] [stdout] 156 - Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stdout] 156 + Err(_) => panic!("n_to_expr_aux({})", n), [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `test_ChNumEval_to_unlam` should have a snake case name [INFO] [stdout] --> src/lazy_k_core.rs:955:4 [INFO] [stdout] | [INFO] [stdout] 955 | fn test_ChNumEval_to_unlam() { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `test_ch_num_eval_to_unlam` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(non_snake_case)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `test_ConsList` should have a snake case name [INFO] [stdout] --> src/cons_list.rs:100:4 [INFO] [stdout] | [INFO] [stdout] 100 | fn test_ConsList() { [INFO] [stdout] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `test_cons_list` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 9 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 1.34s [INFO] [stderr] Executable unittests src/lib.rs (/opt/rustwide/target/debug/deps/lazy_k-af7924c08cccec18) [INFO] [stderr] Executable unittests src/main.rs (/opt/rustwide/target/debug/deps/lazy_k-ebeb75935c1e4431) [INFO] running `Command { std: "docker" "inspect" "355a59b5c64a35290dc5a3b47065d4845858134ff792f1f5a39871a47a8f71ab", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "355a59b5c64a35290dc5a3b47065d4845858134ff792f1f5a39871a47a8f71ab", kill_on_drop: false }` [INFO] [stdout] 355a59b5c64a35290dc5a3b47065d4845858134ff792f1f5a39871a47a8f71ab [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-26/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 052e5f2b8ac8ccc91f2bc481d8d309a3ca339106778fe73473d512bc0e3eeaa7 [INFO] running `Command { std: "docker" "start" "-a" "052e5f2b8ac8ccc91f2bc481d8d309a3ca339106778fe73473d512bc0e3eeaa7", kill_on_drop: false }` [INFO] [stderr] warning: unused variable: `remain` [INFO] [stderr] --> src/interpreter.rs:19:18 [INFO] [stderr] | [INFO] [stderr] 19 | Ok((res, remain)) => res, [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_remain` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable `pre` is assigned to, but never used [INFO] [stderr] --> src/mining.rs:11:13 [INFO] [stderr] | [INFO] [stderr] 11 | let mut pre = i(); [INFO] [stderr] | ^^^ [INFO] [stderr] | [INFO] [stderr] = note: consider using `_pre` instead [INFO] [stderr] [INFO] [stderr] warning: unused variable: `c` [INFO] [stderr] --> src/mining.rs:14:22 [INFO] [stderr] | [INFO] [stderr] 14 | Ok((num, c)) => { [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_c` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `msg` [INFO] [stderr] --> src/mining.rs:17:17 [INFO] [stderr] | [INFO] [stderr] 17 | Err(msg) => { [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_msg` [INFO] [stderr] [INFO] [stderr] warning: value assigned to `pre` is never read [INFO] [stderr] --> src/mining.rs:21:9 [INFO] [stderr] | [INFO] [stderr] 21 | pre = e; [INFO] [stderr] | ^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_assignments)]` on by default [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: panic message is not a string literal [INFO] [stderr] --> src/goedel_number.rs:131:30 [INFO] [stderr] | [INFO] [stderr] 131 | Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_fmt_panics)]` on by default [INFO] [stderr] = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021 [INFO] [stderr] = note: for more information, see [INFO] [stderr] = note: the panic!() macro supports formatting, so there's no need for the format!() macro here [INFO] [stderr] help: remove the `format!(..)` macro call [INFO] [stderr] | [INFO] [stderr] 131 - Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stderr] 131 + Err(_) => panic!("n_to_expr_aux({})", n), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: panic message is not a string literal [INFO] [stderr] --> src/goedel_number.rs:156:30 [INFO] [stderr] | [INFO] [stderr] 156 | Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: this usage of panic!() is deprecated; it will be a hard error in Rust 2021 [INFO] [stderr] = note: for more information, see [INFO] [stderr] = note: the panic!() macro supports formatting, so there's no need for the format!() macro here [INFO] [stderr] help: remove the `format!(..)` macro call [INFO] [stderr] | [INFO] [stderr] 156 - Err(_) => panic!(format!("n_to_expr_aux({})", n)), [INFO] [stderr] 156 + Err(_) => panic!("n_to_expr_aux({})", n), [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: function `test_ChNumEval_to_unlam` should have a snake case name [INFO] [stderr] --> src/lazy_k_core.rs:955:4 [INFO] [stderr] | [INFO] [stderr] 955 | fn test_ChNumEval_to_unlam() { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `test_ch_num_eval_to_unlam` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(non_snake_case)]` on by default [INFO] [stderr] [INFO] [stderr] warning: function `test_ConsList` should have a snake case name [INFO] [stderr] --> src/cons_list.rs:100:4 [INFO] [stderr] | [INFO] [stderr] 100 | fn test_ConsList() { [INFO] [stderr] | ^^^^^^^^^^^^^ help: convert the identifier to snake case: `test_cons_list` [INFO] [stderr] [INFO] [stderr] warning: `lazy_k` (lib) generated 7 warnings [INFO] [stderr] warning: `lazy_k` (lib test) generated 9 warnings (7 duplicates) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.05s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/lazy_k-af7924c08cccec18) [INFO] [stdout] [INFO] [stdout] running 11 tests [INFO] [stdout] test cons_list::test_ConsList ... ok [INFO] [stdout] test goedel_number::test_mul_up_down ... ok [INFO] [stdout] test goedel_number::test_build_layer ... ok [INFO] [stdout] test goedel_number::test_sub_rem ... ok [INFO] [stdout] test iter::test_first_min_size ... ok [INFO] [stdout] test lazy_k_core::test_ChNumEval_to_unlam ... ok [INFO] [stdout] test lazy_k_core::test_subst ... ok [INFO] [stdout] test rev_iter::test_rev_iter ... ok [INFO] [stdout] test lazy_k_core::test_eval_cc ... ok [INFO] [stdout] test iter::test_next_min ... ok [INFO] [stdout] test goedel_number::test_read_n_to_unlam ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/lazy_k-ebeb75935c1e4431) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests lazy_k [INFO] [stdout] [INFO] [stdout] running 21 tests [INFO] [stdout] test src/lazy_k_core.rs - lazy_k_core::PLamExpr::to_iota (line 260) ... ok [INFO] [stdout] test src/lazy_k_core.rs - lazy_k_core::PLamExpr::to_lambda (line 326) ... ok [INFO] [stdout] test src/lazy_k_core.rs - lazy_k_core::PLamExpr::beta_red_cc (line 445) ... ok [INFO] [stdout] test src/lazy_k_core.rs - lazy_k_core::PLamExpr::check_style (line 166) ... ok [INFO] [stdout] test src/lazy_k_core.rs - lazy_k_core::PLamExpr::to_string (line 783) ... ok [INFO] [stdout] test src/lazy_k_core.rs - lazy_k_core::PLamExpr::get_num_n (line 619) ... ok [INFO] [stdout] test src/interpreter.rs - interpreter::is_nil (line 74) ... ok [INFO] [stdout] test src/lazy_k_core.rs - lazy_k_core::apply_fully (line 700) ... ok [INFO] [stdout] test src/lazy_k_core.rs - lazy_k_core::PLamExpr::get_num (line 595) ... ok [INFO] [stdout] test src/lazy_k_core.rs - lazy_k_core::PLamExpr::beta_red_cc2 (line 412) ... ok [INFO] [stdout] test src/goedel_number.rs - goedel_number::n_to_iota (line 86) ... ok [INFO] [stdout] test src/lazy_k_core.rs - lazy_k_core::PLamExpr::to_unlam (line 235) ... ok [INFO] [stdout] test src/lazy_k_core.rs - lazy_k_core::PLamExpr::abst_elim (line 494) ... ok [INFO] [stdout] test src/lazy_k_read.rs - lazy_k_read::read_lazy_k (line 5) ... ok [INFO] [stdout] test src/goedel_number.rs - goedel_number::n_to_unlam (line 23) ... ok [INFO] [stdout] test src/lazy_k_core.rs - lazy_k_core::PLamExpr::beta_red (line 358) ... ok [INFO] [stdout] test src/lazy_k_core.rs - lazy_k_core::step_n (line 675) ... ok [INFO] [stdout] test src/goedel_number.rs - goedel_number::n_to_min_unlam (line 61) ... ok [INFO] [stdout] test src/goedel_number.rs - goedel_number::lam_to_n (line 241) ... ok [INFO] [stdout] test src/lazy_k_core.rs - lazy_k_core::PLamExpr::to_cc (line 201) ... ok [INFO] [stdout] test src/lazy_k_core.rs - lazy_k_core::PLamExpr::to_jot (line 292) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.39s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "052e5f2b8ac8ccc91f2bc481d8d309a3ca339106778fe73473d512bc0e3eeaa7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "052e5f2b8ac8ccc91f2bc481d8d309a3ca339106778fe73473d512bc0e3eeaa7", kill_on_drop: false }` [INFO] [stdout] 052e5f2b8ac8ccc91f2bc481d8d309a3ca339106778fe73473d512bc0e3eeaa7