[INFO] updating cached 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" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune", kill_on_drop: false }` [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 36470b89855464df2e4dbc53f58501fb55188d98 [INFO] testing tawashichan/untyped_lambda_calculus against master#8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e for pr-74409 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftawashichan%2Funtyped_lambda_calculus" "/workspace/builds/worker-1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/tawashichan/untyped_lambda_calculus on toolchain 8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "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-1/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" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] cf4d461e82744e0382b3c2a90f92abe415b0c66324227a277405fa9dc09268a2 [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" "cf4d461e82744e0382b3c2a90f92abe415b0c66324227a277405fa9dc09268a2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "cf4d461e82744e0382b3c2a90f92abe415b0c66324227a277405fa9dc09268a2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cf4d461e82744e0382b3c2a90f92abe415b0c66324227a277405fa9dc09268a2", kill_on_drop: false }` [INFO] [stdout] cf4d461e82744e0382b3c2a90f92abe415b0c66324227a277405fa9dc09268a2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 45969bc02e43ebe0ce7b0d99b51770fd023cb97efa355f456875299db9e85f88 [INFO] running `Command { std: "docker" "start" "-a" "45969bc02e43ebe0ce7b0d99b51770fd023cb97efa355f456875299db9e85f88", kill_on_drop: false }` [INFO] [stderr] Compiling rand v0.4.6 [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 3.69s [INFO] running `Command { std: "docker" "inspect" "45969bc02e43ebe0ce7b0d99b51770fd023cb97efa355f456875299db9e85f88", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "45969bc02e43ebe0ce7b0d99b51770fd023cb97efa355f456875299db9e85f88", kill_on_drop: false }` [INFO] [stdout] 45969bc02e43ebe0ce7b0d99b51770fd023cb97efa355f456875299db9e85f88 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7d9f83d1f0f00f5b7bcd589d1bffd6a817c96fe2d0c7870823a174026869b94d [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" "7d9f83d1f0f00f5b7bcd589d1bffd6a817c96fe2d0c7870823a174026869b94d", 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.77s [INFO] running `Command { std: "docker" "inspect" "7d9f83d1f0f00f5b7bcd589d1bffd6a817c96fe2d0c7870823a174026869b94d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7d9f83d1f0f00f5b7bcd589d1bffd6a817c96fe2d0c7870823a174026869b94d", kill_on_drop: false }` [INFO] [stdout] 7d9f83d1f0f00f5b7bcd589d1bffd6a817c96fe2d0c7870823a174026869b94d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env@sha256:a636fd89d022f18117e1dc8fb37a0a009933cdbbe082814857f0e2024962d47c" "/opt/rustwide/cargo-home/bin/cargo" "+8534be72fc3b9c5f2f2dc4e4ee7b651a008e9a3e" "test" "--frozen", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 7bc374c117310b6d41868917b24d240447f88cf7afe93b1e0f3debf1dced8b1c [INFO] running `Command { std: "docker" "start" "-a" "7bc374c117310b6d41868917b24d240447f88cf7afe93b1e0f3debf1dced8b1c", 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-74dfacca95988d7e [INFO] [stdout] [INFO] [stdout] running 48 tests [INFO] [stdout] test cond_true_multiple ... ok [INFO] [stdout] test cond_true ... ok [INFO] [stdout] test cond_false_multiple ... ok [INFO] [stdout] test cond_false ... ok [INFO] [stdout] test free_var_one ... ok [INFO] [stdout] test free_var_succ ... ok [INFO] [stdout] test free_var_zero ... ok [INFO] [stdout] test free_var_add ... ok [INFO] [stdout] test alpha_equivalence_test ... ok [INFO] [stdout] test assign_test ... ok [INFO] [stdout] test is_pred_one_zero ... ok [INFO] [stdout] test is_succ_succ_succ_zero_three ... ok [INFO] [stdout] test is_succ_one_two ... ok [INFO] [stdout] test is_succ_two_three ... ok [INFO] [stdout] test is_one_add_zero_one ... ok [INFO] [stdout] test is_succ_succ_zero_two ... ok [INFO] [stdout] test is_zero_normal_form ... ok [INFO] [stdout] test is_zero_add_one_one ... ok [INFO] [stdout] test is_one_add_one_add_one_three ... ok [INFO] [stdout] test is_zero_add_zero_zero ... ok [INFO] [stdout] test exp_one ... ok [INFO] [stdout] test is_succ_zero_one ... ok [INFO] [stdout] test exp_two ... ok [INFO] [stdout] test is_one_add_one_succ_succ_zero ... ok [INFO] [stdout] test prod_n_i_test2 ... ok [INFO] [stdout] test prod_n_i_test3 ... ok [INFO] [stdout] test prod_n_i_test ... ok [INFO] [stdout] test prod_n_test_three ... ok [INFO] [stdout] test prod_n_test_one ... ok [INFO] [stdout] test is_one_add_one_two ... ok [INFO] [stdout] test prod_test ... ok [INFO] [stdout] test is_pred_two_one ... ok [INFO] [stdout] test five_sub_one_four ... ok [INFO] [stdout] test five_sub_three_two ... ok [INFO] [stdout] test n_0 ... ok [INFO] [stdout] test n_1 ... ok [INFO] [stdout] test succ_reduction_succ_zero_is_two ... ok [INFO] [stdout] test one_sub_one_zero ... ok [INFO] [stdout] test one_mul_one_mul_one ... ok [INFO] [stdout] test one_mul_zero ... ok [INFO] [stdout] test one_mul_two ... ok [INFO] [stdout] test two_mul_four ... ok [INFO] [stdout] test zero_mul_zero ... ok [INFO] [stdout] test is_zero_test ... ok [INFO] [stdout] test n_add_one_is_succ_n ... ok [INFO] [stdout] test two_mul_two_mul_two ... 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" "7bc374c117310b6d41868917b24d240447f88cf7afe93b1e0f3debf1dced8b1c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7bc374c117310b6d41868917b24d240447f88cf7afe93b1e0f3debf1dced8b1c", kill_on_drop: false }` [INFO] [stdout] 7bc374c117310b6d41868917b24d240447f88cf7afe93b1e0f3debf1dced8b1c