[INFO] cloning repository https://github.com/tawashichan/untyped_lambda_calculus [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tawashichan/untyped_lambda_calculus" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Funtyped_lambda_calculus", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Funtyped_lambda_calculus'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 36470b89855464df2e4dbc53f58501fb55188d98 [INFO] testing tawashichan/untyped_lambda_calculus against master#5d5ff84130da0d74c6ece368dbe821d8f83fa526 for pr-79296 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Funtyped_lambda_calculus" "/workspace/builds/worker-7/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/tawashichan/untyped_lambda_calculus on toolchain 5d5ff84130da0d74c6ece368dbe821d8f83fa526 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+5d5ff84130da0d74c6ece368dbe821d8f83fa526" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/tawashichan/untyped_lambda_calculus [INFO] finished tweaking git repo https://github.com/tawashichan/untyped_lambda_calculus [INFO] tweaked toml for git repo https://github.com/tawashichan/untyped_lambda_calculus written to /workspace/builds/worker-7/source/Cargo.toml [INFO] crate git repo https://github.com/tawashichan/untyped_lambda_calculus already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+5d5ff84130da0d74c6ece368dbe821d8f83fa526" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/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" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+5d5ff84130da0d74c6ece368dbe821d8f83fa526" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] a9adc90861255ca7066325396349e413b1a439e1d11ed139d6520540ddb87716 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "a9adc90861255ca7066325396349e413b1a439e1d11ed139d6520540ddb87716", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "a9adc90861255ca7066325396349e413b1a439e1d11ed139d6520540ddb87716", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a9adc90861255ca7066325396349e413b1a439e1d11ed139d6520540ddb87716", kill_on_drop: false }` [INFO] [stdout] a9adc90861255ca7066325396349e413b1a439e1d11ed139d6520540ddb87716 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+5d5ff84130da0d74c6ece368dbe821d8f83fa526" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 9922e1b1b0afc9ffb0cb1310e8bad91e6054cb8dc9fba619f5f9daa569846604 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "9922e1b1b0afc9ffb0cb1310e8bad91e6054cb8dc9fba619f5f9daa569846604", kill_on_drop: false }` [INFO] [stderr] Compiling nanoid v0.1.3 [INFO] [stderr] Compiling untyped_lambda v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/main.rs:47:9 [INFO] [stdout] | [INFO] [stdout] 47 | _ => vec![] [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `num` [INFO] [stdout] --> src/main.rs:224:47 [INFO] [stdout] | [INFO] [stdout] 224 | let app = (0..num).fold(init,|acm,num| [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_num` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias is never used: `Assignment` [INFO] [stdout] --> src/ast.rs:3:1 [INFO] [stdout] | [INFO] [stdout] 3 | pub type Assignment = (String,Lambda); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Term` [INFO] [stdout] --> src/ast.rs:7:5 [INFO] [stdout] | [INFO] [stdout] 7 | Term(Var), [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `Abstruct` [INFO] [stdout] --> src/ast.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | Abstruct(Var,Box), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variant is never constructed: `App` [INFO] [stdout] --> src/ast.rs:9:5 [INFO] [stdout] | [INFO] [stdout] 9 | App(Box,Box), [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `t` [INFO] [stdout] --> src/main.rs:11:4 [INFO] [stdout] | [INFO] [stdout] 11 | fn t() -> Lambda { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `f` [INFO] [stdout] --> src/main.rs:15:4 [INFO] [stdout] | [INFO] [stdout] 15 | fn f() -> Lambda { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `cond` [INFO] [stdout] --> src/main.rs:19:4 [INFO] [stdout] | [INFO] [stdout] 19 | fn cond() -> Lambda { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `free_var` [INFO] [stdout] --> src/main.rs:35:4 [INFO] [stdout] | [INFO] [stdout] 35 | fn free_var(exp: &Lambda) -> Vec{ [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `assign` [INFO] [stdout] --> src/main.rs:51:4 [INFO] [stdout] | [INFO] [stdout] 51 | fn assign(target: Lambda,var_name: String,exp: Lambda) -> Lambda { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `beta_reduction` [INFO] [stdout] --> src/main.rs:92:4 [INFO] [stdout] | [INFO] [stdout] 92 | fn beta_reduction(exp: Lambda) -> Lambda { [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `beta_reduction_multiple` [INFO] [stdout] --> src/main.rs:109:4 [INFO] [stdout] | [INFO] [stdout] 109 | fn beta_reduction_multiple(exp: Lambda) -> Lambda { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `gen_unique_type_var_name` [INFO] [stdout] --> src/main.rs:118:4 [INFO] [stdout] | [INFO] [stdout] 118 | fn gen_unique_type_var_name() -> String { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `zero` [INFO] [stdout] --> src/main.rs:122:4 [INFO] [stdout] | [INFO] [stdout] 122 | fn zero() -> Lambda { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `one` [INFO] [stdout] --> src/main.rs:132:4 [INFO] [stdout] | [INFO] [stdout] 132 | fn one() -> Lambda { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `two` [INFO] [stdout] --> src/main.rs:145:4 [INFO] [stdout] | [INFO] [stdout] 145 | fn two() -> Lambda { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `three` [INFO] [stdout] --> src/main.rs:161:4 [INFO] [stdout] | [INFO] [stdout] 161 | fn three() -> Lambda { [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `succ` [INFO] [stdout] --> src/main.rs:181:4 [INFO] [stdout] | [INFO] [stdout] 181 | fn succ() -> Lambda { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `add` [INFO] [stdout] --> src/main.rs:203:4 [INFO] [stdout] | [INFO] [stdout] 203 | fn add() -> Lambda { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `n` [INFO] [stdout] --> src/main.rs:219:4 [INFO] [stdout] | [INFO] [stdout] 219 | fn n(num: i64) -> Lambda { [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `mul` [INFO] [stdout] --> src/main.rs:241:4 [INFO] [stdout] | [INFO] [stdout] 241 | fn mul() -> Lambda { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `exp` [INFO] [stdout] --> src/main.rs:260:4 [INFO] [stdout] | [INFO] [stdout] 260 | fn exp() -> Lambda { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `is_zero` [INFO] [stdout] --> src/main.rs:279:4 [INFO] [stdout] | [INFO] [stdout] 279 | fn is_zero() -> Lambda { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `alpha_equivalence` [INFO] [stdout] --> src/main.rs:295:4 [INFO] [stdout] | [INFO] [stdout] 295 | fn alpha_equivalence(exp1: Lambda,exp2: Lambda) -> bool { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `prod_n` [INFO] [stdout] --> src/main.rs:313:4 [INFO] [stdout] | [INFO] [stdout] 313 | fn prod_n(n: i64) -> Lambda { [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `prod_n_i` [INFO] [stdout] --> src/main.rs:336:4 [INFO] [stdout] | [INFO] [stdout] 336 | fn prod_n_i(n: i64,i: i64) -> Lambda { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `turing_y_combinator` [INFO] [stdout] --> src/main.rs:345:4 [INFO] [stdout] | [INFO] [stdout] 345 | fn turing_y_combinator() -> Lambda { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `pred` [INFO] [stdout] --> src/main.rs:382:4 [INFO] [stdout] | [INFO] [stdout] 382 | fn pred() -> Lambda { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `sub` [INFO] [stdout] --> src/main.rs:422:4 [INFO] [stdout] | [INFO] [stdout] 422 | fn sub() -> Lambda { [INFO] [stdout] | ^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `fact` [INFO] [stdout] --> src/main.rs:438:4 [INFO] [stdout] | [INFO] [stdout] 438 | fn fact() -> Lambda { [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `slice_patterns` has been stable since 1.42.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/main.rs:2:12 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(slice_patterns)] [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 32 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1.87s [INFO] running `Command { std: "docker" "inspect" "9922e1b1b0afc9ffb0cb1310e8bad91e6054cb8dc9fba619f5f9daa569846604", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9922e1b1b0afc9ffb0cb1310e8bad91e6054cb8dc9fba619f5f9daa569846604", kill_on_drop: false }` [INFO] [stdout] 9922e1b1b0afc9ffb0cb1310e8bad91e6054cb8dc9fba619f5f9daa569846604 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+5d5ff84130da0d74c6ece368dbe821d8f83fa526" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] dd99e3968a169bf0f0e4771eed31caf10528dbbdc6c82f28ac32049c417f0b3d [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "dd99e3968a169bf0f0e4771eed31caf10528dbbdc6c82f28ac32049c417f0b3d", kill_on_drop: false }` [INFO] [stderr] Compiling untyped_lambda v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unreachable pattern [INFO] [stdout] --> src/main.rs:47:9 [INFO] [stdout] | [INFO] [stdout] 47 | _ => vec![] [INFO] [stdout] | ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `num` [INFO] [stdout] --> src/main.rs:224:47 [INFO] [stdout] | [INFO] [stdout] 224 | let app = (0..num).fold(init,|acm,num| [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_num` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias is never used: `Assignment` [INFO] [stdout] --> src/ast.rs:3:1 [INFO] [stdout] | [INFO] [stdout] 3 | pub type Assignment = (String,Lambda); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the feature `slice_patterns` has been stable since 1.42.0 and no longer requires an attribute to enable [INFO] [stdout] --> src/main.rs:2:12 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(slice_patterns)] [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(stable_features)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 4 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 1.76s [INFO] running `Command { std: "docker" "inspect" "dd99e3968a169bf0f0e4771eed31caf10528dbbdc6c82f28ac32049c417f0b3d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "dd99e3968a169bf0f0e4771eed31caf10528dbbdc6c82f28ac32049c417f0b3d", kill_on_drop: false }` [INFO] [stdout] dd99e3968a169bf0f0e4771eed31caf10528dbbdc6c82f28ac32049c417f0b3d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:6eabd152ff4036248d66efda456a36cb33d24b7291b33f25f75140726c88da35" "/opt/rustwide/cargo-home/bin/cargo" "+5d5ff84130da0d74c6ece368dbe821d8f83fa526" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] e05b57a2eefe8be2c04f1b63e65f2a8d78fb5d817d39cdbf3da4c68327d7e2d4 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "e05b57a2eefe8be2c04f1b63e65f2a8d78fb5d817d39cdbf3da4c68327d7e2d4", kill_on_drop: false }` [INFO] [stderr] warning: unreachable pattern [INFO] [stderr] --> src/main.rs:47:9 [INFO] [stderr] | [INFO] [stderr] 47 | _ => vec![] [INFO] [stderr] | ^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unreachable_patterns)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `num` [INFO] [stderr] --> src/main.rs:224:47 [INFO] [stderr] | [INFO] [stderr] 224 | let app = (0..num).fold(init,|acm,num| [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_num` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: type alias is never used: `Assignment` [INFO] [stderr] --> src/ast.rs:3:1 [INFO] [stderr] | [INFO] [stderr] 3 | pub type Assignment = (String,Lambda); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: the feature `slice_patterns` has been stable since 1.42.0 and no longer requires an attribute to enable [INFO] [stderr] --> src/main.rs:2:12 [INFO] [stderr] | [INFO] [stderr] 2 | #![feature(slice_patterns)] [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(stable_features)]` on by default [INFO] [stderr] [INFO] [stderr] warning: 4 warnings emitted [INFO] [stderr] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.03s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/untyped_lambda-31a51d3c72fe908e [INFO] [stdout] [INFO] [stdout] running 48 tests [INFO] [stdout] test cond_false ... ok [INFO] [stdout] test cond_false_multiple ... ok [INFO] [stdout] test alpha_equivalence_test ... ok [INFO] [stdout] test free_var_one ... ok [INFO] [stdout] test free_var_succ ... ok [INFO] [stdout] test cond_true_multiple ... ok [INFO] [stdout] test free_var_add ... ok [INFO] [stdout] test exp_one ... ok [INFO] [stdout] test is_one_add_one_add_one_three ... ok [INFO] [stdout] test is_one_add_one_succ_succ_zero ... ok [INFO] [stdout] test is_one_add_one_two ... ok [INFO] [stdout] test exp_two ... ok [INFO] [stdout] test cond_true ... ok [INFO] [stdout] test is_zero_add_one_one ... ok [INFO] [stdout] test is_one_add_zero_one ... ok [INFO] [stdout] test is_succ_succ_zero_two ... ok [INFO] [stdout] test is_succ_two_three ... ok [INFO] [stdout] test is_succ_succ_succ_zero_three ... ok [INFO] [stdout] test is_succ_zero_one ... ok [INFO] [stdout] test assign_test ... ok [INFO] [stdout] test is_pred_two_one ... ok [INFO] [stdout] test is_zero_add_zero_zero ... ok [INFO] [stdout] test is_succ_one_two ... ok [INFO] [stdout] test is_zero_normal_form ... ok [INFO] [stdout] test n_0 ... ok [INFO] [stdout] test is_zero_test ... ok [INFO] [stdout] test n_1 ... ok [INFO] [stdout] test one_sub_one_zero ... ok [INFO] [stdout] test n_add_one_is_succ_n ... ok [INFO] [stdout] test one_mul_two ... ok [INFO] [stdout] test one_mul_one_mul_one ... ok [INFO] [stdout] test free_var_zero ... ok [INFO] [stdout] test one_mul_zero ... ok [INFO] [stdout] test prod_n_i_test ... ok [INFO] [stdout] test prod_n_i_test2 ... ok [INFO] [stdout] test prod_n_i_test3 ... ok [INFO] [stdout] test prod_n_test_three ... ok [INFO] [stdout] test prod_test ... ok [INFO] [stdout] test is_pred_one_zero ... ok [INFO] [stdout] test five_sub_one_four ... ok [INFO] [stdout] test two_mul_four ... ok [INFO] [stdout] test prod_n_test_one ... ok [INFO] [stdout] test two_mul_two_mul_two ... ok [INFO] [stdout] test succ_reduction_succ_zero_is_two ... ok [INFO] [stdout] test five_sub_three_two ... ok [INFO] [stdout] test zero_mul_zero ... ok [INFO] [stdout] test five_mul_ten ... ok [INFO] [stdout] test fact_test ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 48 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "e05b57a2eefe8be2c04f1b63e65f2a8d78fb5d817d39cdbf3da4c68327d7e2d4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e05b57a2eefe8be2c04f1b63e65f2a8d78fb5d817d39cdbf3da4c68327d7e2d4", kill_on_drop: false }` [INFO] [stdout] e05b57a2eefe8be2c04f1b63e65f2a8d78fb5d817d39cdbf3da4c68327d7e2d4