[INFO] fetching crate rust2fun 0.2.1...
[INFO] testing rust2fun-0.2.1 against 1.75.0 for beta-1.76-1
[INFO] extracting crate rust2fun 0.2.1 into /workspace/builds/worker-2-tc1/source
[INFO] validating manifest of crates.io crate rust2fun 0.2.1 on toolchain 1.75.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-2-tc1/source/rust-toolchain
[INFO] started tweaking crates.io crate rust2fun 0.2.1
[INFO] finished tweaking crates.io crate rust2fun 0.2.1
[INFO] tweaked toml for crates.io crate rust2fun 0.2.1 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rust2fun_macros v0.2.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e4e3a58b8e4b625fd47c07a998a0ff463495e76c78e4bc3a40ccb8592db665a7
[INFO] running `Command { std: "docker" "start" "-a" "e4e3a58b8e4b625fd47c07a998a0ff463495e76c78e4bc3a40ccb8592db665a7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e4e3a58b8e4b625fd47c07a998a0ff463495e76c78e4bc3a40ccb8592db665a7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e4e3a58b8e4b625fd47c07a998a0ff463495e76c78e4bc3a40ccb8592db665a7", kill_on_drop: false }`
[INFO] [stdout] e4e3a58b8e4b625fd47c07a998a0ff463495e76c78e4bc3a40ccb8592db665a7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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" "RUSTDOCFLAGS=--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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2dc988ceee24015421128ccadbb013eddf87d03ab08be3d2cc97f731384d48d7
[INFO] running `Command { std: "docker" "start" "-a" "2dc988ceee24015421128ccadbb013eddf87d03ab08be3d2cc97f731384d48d7", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.75
[INFO] [stderr]    Compiling quote v1.0.35
[INFO] [stderr]    Compiling syn v2.0.48
[INFO] [stderr]    Compiling rust2fun_macros v0.2.1
[INFO] [stderr]    Compiling rust2fun v0.2.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 3.02s
[INFO] running `Command { std: "docker" "inspect" "2dc988ceee24015421128ccadbb013eddf87d03ab08be3d2cc97f731384d48d7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2dc988ceee24015421128ccadbb013eddf87d03ab08be3d2cc97f731384d48d7", kill_on_drop: false }`
[INFO] [stdout] 2dc988ceee24015421128ccadbb013eddf87d03ab08be3d2cc97f731384d48d7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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" "RUSTDOCFLAGS=--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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.75.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 88a7cf3a0e05de92fee3853bb62f907807e932db1f42cefa29c82fd68478e11b
[INFO] running `Command { std: "docker" "start" "-a" "88a7cf3a0e05de92fee3853bb62f907807e932db1f42cefa29c82fd68478e11b", kill_on_drop: false }`
[INFO] [stderr]    Compiling rustix v0.38.28
[INFO] [stderr]    Compiling bitflags v2.4.1
[INFO] [stderr]    Compiling linux-raw-sys v0.4.12
[INFO] [stderr]    Compiling libm v0.2.8
[INFO] [stderr]    Compiling num-traits v0.2.17
[INFO] [stderr]    Compiling getrandom v0.2.11
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand_xorshift v0.3.0
[INFO] [stderr]    Compiling regex-syntax v0.8.2
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling tempfile v3.9.0
[INFO] [stderr]    Compiling rusty-fork v0.3.0
[INFO] [stderr]    Compiling proptest v1.4.0
[INFO] [stderr]    Compiling rust2fun v0.2.1 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0463]: can't find crate for `rust2fun_laws`
[INFO] [stdout]  --> tests/tuples_tests.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | extern crate rust2fun_laws;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rust2fun_laws`
[INFO] [stdout]  --> tests/result_tests.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | extern crate rust2fun_laws;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rust2fun_laws`
[INFO] [stdout]  --> tests/common.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | extern crate rust2fun_laws;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rust2fun_laws`
[INFO] [stdout]  --> tests/common.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | extern crate rust2fun_laws;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rust2fun_laws`
[INFO] [stdout]  --> tests/common.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | extern crate rust2fun_laws;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rust2fun_laws`
[INFO] [stdout]  --> tests/common.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | extern crate rust2fun_laws;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rust2fun_laws`
[INFO] [stdout]  --> tests/box_tests.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     extern crate rust2fun_laws;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rust2fun_laws`
[INFO] [stdout]  --> tests/common.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | extern crate rust2fun_laws;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rust2fun_laws`
[INFO] [stdout]  --> tests/ne_vec_tests.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     extern crate rust2fun_laws;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rust2fun_laws`
[INFO] [stdout]  --> tests/common.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | extern crate rust2fun_laws;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rust2fun_laws`
[INFO] [stdout]  --> tests/linked_list_tests.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     extern crate rust2fun_laws;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rust2fun_laws`
[INFO] [stdout]  --> tests/common.rs:2:1
[INFO] [stdout]   |
[INFO] [stdout] 2 | extern crate rust2fun_laws;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0463]: can't find crate for `rust2fun_laws`
[INFO] [stdout]  --> tests/hashmap_tests.rs:4:5
[INFO] [stdout]   |
[INFO] [stdout] 4 |     extern crate rust2fun_laws;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to previous error
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0463`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rust2fun` (test "common") due to 2 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0425]: cannot find function `invariant_identity` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:24:26
[INFO] [stdout]    |
[INFO] [stdout] 24 |             prop_assert!(invariant_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `invariant_identity` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:19:17
[INFO] [stdout]    |
[INFO] [stdout] 19 |         assert!(invariant_identity(Box::new("id")).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `repeat_0` in this scope
[INFO] [stdout]   --> tests/tuples_tests.rs:16:22
[INFO] [stdout]    |
[INFO] [stdout] 16 |         prop_assert!(repeat_0(fa.clone()).holds());
[INFO] [stdout]    |                      ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `invariant_identity` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:21:22
[INFO] [stdout]    |
[INFO] [stdout] 21 |         prop_assert!(invariant_identity(fa).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `invariant_identity` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:26:26
[INFO] [stdout]    |
[INFO] [stdout] 26 |             prop_assert!(invariant_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `invariant_composition` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:20:17
[INFO] [stdout]    |
[INFO] [stdout] 20 |         assert!(invariant_composition(Box::new(1), print, parse, parse::<i32>, print).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `repeat_1` in this scope
[INFO] [stdout]   --> tests/tuples_tests.rs:17:22
[INFO] [stdout]    |
[INFO] [stdout] 17 |         prop_assert!(repeat_1(fb.clone()).holds());
[INFO] [stdout]    |                      ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `invariant_composition` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:25:26
[INFO] [stdout]    |
[INFO] [stdout] 25 |             prop_assert!(invariant_composition(fa, print, parse, parse::<bool>, print).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `invariant_composition` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:27:26
[INFO] [stdout]    |
[INFO] [stdout] 27 |             prop_assert!(invariant_composition(fa, print, parse, parse::<bool>, print).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `invariant_composition` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:22:22
[INFO] [stdout]    |
[INFO] [stdout] 22 |         prop_assert!(invariant_composition(fa, print, parse, parse::<bool>, print).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `semigroup_associativity` in this scope
[INFO] [stdout]   --> tests/tuples_tests.rs:18:22
[INFO] [stdout]    |
[INFO] [stdout] 18 |         prop_assert!(semigroup_associativity(fa, fb, fc).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `covariant_identity` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:25:17
[INFO] [stdout]    |
[INFO] [stdout] 25 |         assert!(covariant_identity(Box::new(1)).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `covariant_composition` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:26:17
[INFO] [stdout]    |
[INFO] [stdout] 26 |         assert!(covariant_composition(Box::new(1), print, parse::<u32>).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `covariant_identity` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:30:26
[INFO] [stdout]    |
[INFO] [stdout] 30 |             prop_assert!(covariant_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `invariant_identity` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:29:26
[INFO] [stdout]    |
[INFO] [stdout] 29 |             prop_assert!(invariant_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `covariant_identity` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:34:26
[INFO] [stdout]    |
[INFO] [stdout] 34 |             prop_assert!(covariant_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `lift_identity` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:27:17
[INFO] [stdout]    |
[INFO] [stdout] 27 |         assert!(lift_identity(Box::new(1)).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monoid_left_identity` in this scope
[INFO] [stdout]   --> tests/tuples_tests.rs:23:22
[INFO] [stdout]    |
[INFO] [stdout] 23 |         prop_assert!(monoid_left_identity(fa.clone()).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `covariant_composition` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:31:26
[INFO] [stdout]    |
[INFO] [stdout] 31 |             prop_assert!(covariant_composition(fa.clone(), print, parse::<bool>).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `covariant_identity` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:27:22
[INFO] [stdout]    |
[INFO] [stdout] 27 |         prop_assert!(covariant_identity(fa).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `covariant_composition` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:35:26
[INFO] [stdout]    |
[INFO] [stdout] 35 |             prop_assert!(covariant_composition(fa.clone(), print, parse::<bool>).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `lift_composition` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:28:17
[INFO] [stdout]    |
[INFO] [stdout] 28 |         assert!(lift_composition(Box::new(1), print, parse::<i64>).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `invariant_composition` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:30:26
[INFO] [stdout]    |
[INFO] [stdout] 30 |             prop_assert!(invariant_composition(fa, print, parse, parse::<bool>, print).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `lift_identity` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:32:26
[INFO] [stdout]    |
[INFO] [stdout] 32 |             prop_assert!(lift_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monoid_right_identity` in this scope
[INFO] [stdout]   --> tests/tuples_tests.rs:24:22
[INFO] [stdout]    |
[INFO] [stdout] 24 |         prop_assert!(monoid_right_identity(fa.clone()).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `repeat_0` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:33:17
[INFO] [stdout]    |
[INFO] [stdout] 33 |         assert!(repeat_0(Box::new(1)).holds());
[INFO] [stdout]    |                 ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `lift_identity` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:36:26
[INFO] [stdout]    |
[INFO] [stdout] 36 |             prop_assert!(lift_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `covariant_composition` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:28:22
[INFO] [stdout]    |
[INFO] [stdout] 28 |         prop_assert!(covariant_composition(fa, print, parse::<bool>).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `is_id` in this scope
[INFO] [stdout]   --> tests/tuples_tests.rs:25:22
[INFO] [stdout]    |
[INFO] [stdout] 25 |         prop_assert!(is_id(fa).holds());
[INFO] [stdout]    |                      ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `repeat_1` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:34:17
[INFO] [stdout]    |
[INFO] [stdout] 34 |         assert!(repeat_1(Box::new(1)).holds());
[INFO] [stdout]    |                 ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `lift_composition` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:33:26
[INFO] [stdout]    |
[INFO] [stdout] 33 |             prop_assert!(lift_composition(fa, print, parse::<bool>).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `lift_composition` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:37:26
[INFO] [stdout]    |
[INFO] [stdout] 37 |             prop_assert!(lift_composition(fa, print, parse::<bool>).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `lift_identity` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:29:22
[INFO] [stdout]    |
[INFO] [stdout] 29 |         prop_assert!(lift_identity(fa).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `covariant_identity` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:35:26
[INFO] [stdout]    |
[INFO] [stdout] 35 |             prop_assert!(covariant_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `semigroup_associativity` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:35:17
[INFO] [stdout]    |
[INFO] [stdout] 35 |         assert!(semigroup_associativity(Box::new(1), Box::new(2), Box::new(3)).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `lift_composition` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:30:22
[INFO] [stdout]    |
[INFO] [stdout] 30 |         prop_assert!(lift_composition(fa, print, parse::<bool>).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `covariant_composition` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:36:26
[INFO] [stdout]    |
[INFO] [stdout] 36 |             prop_assert!(covariant_composition(fa.clone(), print, parse::<bool>).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `semigroupal_associativity` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:40:17
[INFO] [stdout]    |
[INFO] [stdout] 40 |         assert!(semigroupal_associativity(
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `bifunctor_identity` in this scope
[INFO] [stdout]   --> tests/tuples_tests.rs:30:22
[INFO] [stdout]    |
[INFO] [stdout] 30 |         prop_assert!(bifunctor_identity(fa.clone()).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `bifunctor_identity` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:38:26
[INFO] [stdout]    |
[INFO] [stdout] 38 |             prop_assert!(bifunctor_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `lift_identity` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:37:26
[INFO] [stdout]    |
[INFO] [stdout] 37 |             prop_assert!(lift_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `bifunctor_composition` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:39:26
[INFO] [stdout]    |
[INFO] [stdout] 39 |             prop_assert!(bifunctor_composition(fa, print, parse::<i32>, print, parse::<bool>).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `bifunctor_composition` in this scope
[INFO] [stdout]   --> tests/tuples_tests.rs:31:22
[INFO] [stdout]    |
[INFO] [stdout] 31 |         prop_assert!(bifunctor_composition(fa, print, parse::<bool>, print, parse::<i32>).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `lift_composition` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:38:26
[INFO] [stdout]    |
[INFO] [stdout] 38 |             prop_assert!(lift_composition(fa, print, parse::<bool>).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `repeat_0` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:48:26
[INFO] [stdout]    |
[INFO] [stdout] 48 |             prop_assert!(repeat_0(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `map2_product_consistency` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:52:17
[INFO] [stdout]    |
[INFO] [stdout] 52 |         assert!(map2_product_consistency(Box::new("str"), Box::new(1), check_length).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `bifunctor_identity` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:35:22
[INFO] [stdout]    |
[INFO] [stdout] 35 |         prop_assert!(bifunctor_identity(fa.clone()).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `repeat_1` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:49:26
[INFO] [stdout]    |
[INFO] [stdout] 49 |             prop_assert!(repeat_1(fb.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `product_r_consistency` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:53:17
[INFO] [stdout]    |
[INFO] [stdout] 53 |         assert!(product_r_consistency(Box::new("str"), Box::new(1)).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `semigroupal_associativity` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:44:26
[INFO] [stdout]    |
[INFO] [stdout] 44 |             prop_assert!(semigroupal_associativity(fa, fb, fc).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `bifunctor_composition` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:36:22
[INFO] [stdout]    |
[INFO] [stdout] 36 |         prop_assert!(bifunctor_composition(fa, print, parse::<bool>, print, parse::<i32>).holds())
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `semigroup_associativity` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:50:26
[INFO] [stdout]    |
[INFO] [stdout] 50 |             prop_assert!(semigroup_associativity(fa, fb, fc).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `product_l_consistency` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:54:17
[INFO] [stdout]    |
[INFO] [stdout] 54 |         assert!(product_l_consistency(Box::new("str"), Box::new(1)).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `repeat_0` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:43:26
[INFO] [stdout]    |
[INFO] [stdout] 43 |             prop_assert!(repeat_0(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^ help: a function with a similar name exists: `repeat`
[INFO] [stdout]   --> /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/iter/sources/repeat.rs:56:1
[INFO] [stdout]    |
[INFO] [stdout]    = note: similarly named function `repeat` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 10 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0463.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_identity` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:59:17
[INFO] [stdout]    |
[INFO] [stdout] 59 |         assert!(applicative_identity(Box::new(1)).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `repeat_1` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:44:26
[INFO] [stdout]    |
[INFO] [stdout] 44 |             prop_assert!(repeat_1(fb.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^ help: a function with a similar name exists: `repeat`
[INFO] [stdout]   --> /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/iter/sources/repeat.rs:56:1
[INFO] [stdout]    |
[INFO] [stdout]    = note: similarly named function `repeat` defined here
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_homomorphism` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:60:17
[INFO] [stdout]    |
[INFO] [stdout] 60 |         assert!(applicative_homomorphism::<Box<_>, _, _>(1, print).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `map2_product_consistency` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:49:26
[INFO] [stdout]    |
[INFO] [stdout] 49 |             prop_assert!(map2_product_consistency(fa.clone(), fb.clone(), |a, b| a.len() == b).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `semigroup_associativity` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:45:26
[INFO] [stdout]    |
[INFO] [stdout] 45 |             prop_assert!(semigroup_associativity(fa, fb, fc).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_map` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:61:17
[INFO] [stdout]    |
[INFO] [stdout] 61 |         assert!(applicative_map(Box::new(1), print).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `semigroupal_associativity` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:41:22
[INFO] [stdout]    |
[INFO] [stdout] 41 |         prop_assert!(semigroupal_associativity(fa, fb, fc).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `product_r_consistency` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:50:26
[INFO] [stdout]    |
[INFO] [stdout] 50 |             prop_assert!(product_r_consistency(fa.clone(), fb.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `ap_product_consistent` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:62:17
[INFO] [stdout]    |
[INFO] [stdout] 62 |         assert!(ap_product_consistent(Box::new(1), Box::new(print)).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_unit` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:63:17
[INFO] [stdout]    |
[INFO] [stdout] 63 |         assert!(applicative_unit::<Box<_>>(1).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rust2fun` (test "tuples_tests") due to 11 previous errors
[INFO] [stdout] error[E0425]: cannot find function `semigroupal_associativity` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:61:26
[INFO] [stdout]    |
[INFO] [stdout] 61 |             prop_assert!(semigroupal_associativity(fa, fb, fc).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `product_l_consistency` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:51:26
[INFO] [stdout]    |
[INFO] [stdout] 51 |             prop_assert!(product_l_consistency(fa, fb).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monoid_left_identity` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:50:26
[INFO] [stdout]    |
[INFO] [stdout] 50 |             prop_assert!(monoid_left_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_associativity` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:68:17
[INFO] [stdout]    |
[INFO] [stdout] 68 |         assert!(flat_map_associativity(Box::new(1), |x| Box::new(x + 1), |x| Box::new(x + 2)).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monoid_right_identity` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:51:26
[INFO] [stdout]    |
[INFO] [stdout] 51 |             prop_assert!(monoid_right_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_consistent_apply` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:69:17
[INFO] [stdout]    |
[INFO] [stdout] 69 |         assert!(flat_map_consistent_apply(Box::new(1), Box::new(print)).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monoid_left_identity` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:56:26
[INFO] [stdout]    |
[INFO] [stdout] 56 |             prop_assert!(monoid_left_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `map2_product_consistency` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:46:22
[INFO] [stdout]    |
[INFO] [stdout] 46 |         prop_assert!(map2_product_consistency(fa.clone(), fb, |a, b| a.len() == b).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `is_id` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:52:26
[INFO] [stdout]    |
[INFO] [stdout] 52 |             prop_assert!(is_id(fa).holds());
[INFO] [stdout]    |                          ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `m_product_consistency` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:70:17
[INFO] [stdout]    |
[INFO] [stdout] 70 |         assert!(m_product_consistency(Box::new(1), |x| Box::new(x + 1)).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `map2_product_consistency` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:69:26
[INFO] [stdout]    |
[INFO] [stdout] 69 |             prop_assert!(map2_product_consistency(fa.clone(), fb.clone(), |a, b| a.len() == b).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monoid_right_identity` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:57:26
[INFO] [stdout]    |
[INFO] [stdout] 57 |             prop_assert!(monoid_right_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `product_r_consistency` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:47:22
[INFO] [stdout]    |
[INFO] [stdout] 47 |         prop_assert!(product_r_consistency(fa.clone(), fb).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monad_left_identity` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:75:17
[INFO] [stdout]    |
[INFO] [stdout] 75 |         assert!(monad_left_identity::<Box<_>, _, _>(1, |x| Box::new(x + 1)).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `is_id` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:58:26
[INFO] [stdout]    |
[INFO] [stdout] 58 |             prop_assert!(is_id(fa).holds());
[INFO] [stdout]    |                          ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `product_r_consistency` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:70:26
[INFO] [stdout]    |
[INFO] [stdout] 70 |             prop_assert!(product_r_consistency(fa.clone(), fb.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monad_right_identity` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:76:17
[INFO] [stdout]    |
[INFO] [stdout] 76 |         assert!(monad_right_identity(Box::new(1)).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `product_l_consistency` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:48:22
[INFO] [stdout]    |
[INFO] [stdout] 48 |         prop_assert!(product_l_consistency(fa, fb).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `product_l_consistency` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:71:26
[INFO] [stdout]    |
[INFO] [stdout] 71 |             prop_assert!(product_l_consistency(fa, fb).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `semigroupal_associativity` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:57:26
[INFO] [stdout]    |
[INFO] [stdout] 57 |             prop_assert!(semigroupal_associativity(fa, fb, fc).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `map_flat_map_coherence` in this scope
[INFO] [stdout]   --> tests/box_tests.rs:77:17
[INFO] [stdout]    |
[INFO] [stdout] 77 |         assert!(map_flat_map_coherence(Box::new(1), |x| x + 1).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_identity` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:53:22
[INFO] [stdout]    |
[INFO] [stdout] 53 |         prop_assert!(applicative_identity(fa).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `map2_product_consistency` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:62:26
[INFO] [stdout]    |
[INFO] [stdout] 62 |             prop_assert!(map2_product_consistency(fa.clone(), fb.clone(), |a, b| a.len() == b).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_identity` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:78:26
[INFO] [stdout]    |
[INFO] [stdout] 78 |             prop_assert!(applicative_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `product_r_consistency` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:63:26
[INFO] [stdout]    |
[INFO] [stdout] 63 |             prop_assert!(product_r_consistency(fa.clone(), fb.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_homomorphism` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:79:26
[INFO] [stdout]    |
[INFO] [stdout] 79 |             prop_assert!(applicative_homomorphism::<Vec<_>, _, _>(a, print).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 26 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0463.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_map` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:80:26
[INFO] [stdout]    |
[INFO] [stdout] 80 |             prop_assert!(applicative_map(fa.clone(), print).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `product_l_consistency` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:64:26
[INFO] [stdout]    |
[INFO] [stdout] 64 |             prop_assert!(product_l_consistency(fa, fb).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_homomorphism` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:54:22
[INFO] [stdout]    |
[INFO] [stdout] 54 |         prop_assert!(applicative_homomorphism::<Option<_>, _, _>(a, print).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_map` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:55:22
[INFO] [stdout]    |
[INFO] [stdout] 55 |         prop_assert!(applicative_map(fa, print).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `ap_product_consistent` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:82:26
[INFO] [stdout]    |
[INFO] [stdout] 82 |             prop_assert!(ap_product_consistent(fa, ff).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `ap_product_consistent` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:56:22
[INFO] [stdout]    |
[INFO] [stdout] 56 |         prop_assert!(ap_product_consistent(fa, Ok(print)).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `repeat_0` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:72:17
[INFO] [stdout]    |
[INFO] [stdout] 72 |         assert!(repeat_0(fa.clone()).holds());
[INFO] [stdout]    |                 ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_identity` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:71:26
[INFO] [stdout]    |
[INFO] [stdout] 71 |             prop_assert!(applicative_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `repeat_1` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:73:17
[INFO] [stdout]    |
[INFO] [stdout] 73 |         assert!(repeat_1(fb.clone()).holds());
[INFO] [stdout]    |                 ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `semigroup_associativity` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:74:17
[INFO] [stdout]    |
[INFO] [stdout] 74 |         assert!(semigroup_associativity(fa, fb, fc).holds());
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `ap_product_consistent` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:57:22
[INFO] [stdout]    |
[INFO] [stdout] 57 |         prop_assert!(ap_product_consistent(fa, Err::<fn(bool) -> String, _>(-1)).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_unit` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:83:26
[INFO] [stdout]    |
[INFO] [stdout] 83 |             prop_assert!(applicative_unit::<NEVec<_>>(a).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_homomorphism` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:72:26
[INFO] [stdout]    |
[INFO] [stdout] 72 |             prop_assert!(applicative_homomorphism::<Vec<_>, _, _>(a, print).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_associativity` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:79:17
[INFO] [stdout]    |
[INFO] [stdout] 79 |         assert!(flat_map_associativity(
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_unit` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:58:22
[INFO] [stdout]    |
[INFO] [stdout] 58 |         prop_assert!(applicative_unit::<Option<_>>(a).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_map` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:73:26
[INFO] [stdout]    |
[INFO] [stdout] 73 |             prop_assert!(applicative_map(fa.clone(), print).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_consistent_apply` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:87:13
[INFO] [stdout]    |
[INFO] [stdout] 87 |             flat_map_consistent_apply(HashMap::from([(1, 1)]), HashMap::from([(1, print)])).holds()
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `ap_product_consistent` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:74:26
[INFO] [stdout]    |
[INFO] [stdout] 74 |             prop_assert!(ap_product_consistent(fa, ff).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `m_product_consistency` in this scope
[INFO] [stdout]   --> tests/hashmap_tests.rs:91:13
[INFO] [stdout]    |
[INFO] [stdout] 91 |             m_product_consistency(HashMap::from([(1, 1)]), |x| HashMap::from([(1, print(x))])).holds()
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `applicative_unit` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:75:26
[INFO] [stdout]    |
[INFO] [stdout] 75 |             prop_assert!(applicative_unit::<Vec<_>>(a).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_associativity` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:90:26
[INFO] [stdout]    |
[INFO] [stdout] 90 |             prop_assert!(flat_map_associativity(fa.clone(), |x| ne_vec![print(x)], |s| ne_vec![parse::<bool>(s)]).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_associativity` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:63:22
[INFO] [stdout]    |
[INFO] [stdout] 63 |         prop_assert!(flat_map_associativity(fa, |x| Ok(print(x)), |s| Ok(parse::<bool>(s))).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_associativity` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:82:26
[INFO] [stdout]    |
[INFO] [stdout] 82 | ...   prop_assert!(flat_map_associativity(fa.clone(), |x| LinkedList::pure(print(x)), |s| LinkedList::pure(parse::<bool>(s))).holds());
[INFO] [stdout]    |                    ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rust2fun` (test "box_tests") due to 27 previous errors
[INFO] [stdout] error[E0425]: cannot find function `flat_map_consistent_apply` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:91:26
[INFO] [stdout]    |
[INFO] [stdout] 91 |             prop_assert!(flat_map_consistent_apply(fa.clone(), ne_vec![print; fa.len()]).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `m_product_consistency` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:92:26
[INFO] [stdout]    |
[INFO] [stdout] 92 |             prop_assert!(m_product_consistency(fa.clone(), |x| ne_vec![print(x)]).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_associativity` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:83:26
[INFO] [stdout]    |
[INFO] [stdout] 83 |             prop_assert!(flat_map_associativity(fa.clone(), |_| LinkedList::new(), |s| LinkedList::pure(parse::<bool>(s))).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_associativity` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:64:22
[INFO] [stdout]    |
[INFO] [stdout] 64 |         prop_assert!(flat_map_associativity(fa, |_| Err(-1), |s| Ok(parse::<bool>(s))).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_associativity` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:84:26
[INFO] [stdout]    |
[INFO] [stdout] 84 |             prop_assert!(flat_map_associativity(fa.clone(), |x| LinkedList::pure(print(x)), |_| LinkedList::<bool>::new()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_associativity` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:65:22
[INFO] [stdout]    |
[INFO] [stdout] 65 |         prop_assert!(flat_map_associativity(fa, |x| Ok(print(x)), |_| Err::<bool, _>(-1)).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monad_left_identity` in this scope
[INFO] [stdout]   --> tests/ne_vec_tests.rs:99:26
[INFO] [stdout]    |
[INFO] [stdout] 99 |             prop_assert!(monad_left_identity::<NEVec<_>, _, _>(a, |x| ne_vec![print(x)]).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 23 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_associativity` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:85:26
[INFO] [stdout]    |
[INFO] [stdout] 85 |             prop_assert!(flat_map_associativity(fa.clone(), |_| LinkedList::new(), |_: String| LinkedList::<bool>::new()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0463.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monad_right_identity` in this scope
[INFO] [stdout]    --> tests/ne_vec_tests.rs:100:26
[INFO] [stdout]     |
[INFO] [stdout] 100 |             prop_assert!(monad_right_identity(fa.clone()).holds());
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_consistent_apply` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:86:26
[INFO] [stdout]    |
[INFO] [stdout] 86 |             prop_assert!(flat_map_consistent_apply(fa.clone(), ff).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_associativity` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:66:22
[INFO] [stdout]    |
[INFO] [stdout] 66 |         prop_assert!(flat_map_associativity(fa, |_| Err::<String, _>(-1), |_| Err::<bool, _>(-1)).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `map_flat_map_coherence` in this scope
[INFO] [stdout]    --> tests/ne_vec_tests.rs:101:26
[INFO] [stdout]     |
[INFO] [stdout] 101 |             prop_assert!(map_flat_map_coherence(fa, print).holds());
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `m_product_consistency` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:87:26
[INFO] [stdout]    |
[INFO] [stdout] 87 |             prop_assert!(m_product_consistency(fa.clone(), |x| LinkedList::pure(print(x))).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_consistent_apply` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:67:22
[INFO] [stdout]    |
[INFO] [stdout] 67 |         prop_assert!(flat_map_consistent_apply(fa, Ok(print)).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `m_product_consistency` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:88:26
[INFO] [stdout]    |
[INFO] [stdout] 88 |             prop_assert!(m_product_consistency(fa, |_| LinkedList::<String>::new()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `flat_map_consistent_apply` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:68:22
[INFO] [stdout]    |
[INFO] [stdout] 68 |         prop_assert!(flat_map_consistent_apply(fa, Err::<fn(bool)-> String, _>(-1)).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 26 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monad_left_identity` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:93:26
[INFO] [stdout]    |
[INFO] [stdout] 93 |             prop_assert!(monad_left_identity::<LinkedList<_>, _, _>(a, |x| LinkedList::pure(print(x))).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `m_product_consistency` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:69:22
[INFO] [stdout]    |
[INFO] [stdout] 69 |         prop_assert!(m_product_consistency(fa, |x| Ok(print(x))).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0463.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monad_left_identity` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:94:26
[INFO] [stdout]    |
[INFO] [stdout] 94 |             prop_assert!(monad_left_identity::<LinkedList<_>, _, _>(a, |_| LinkedList::<String>::new()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `m_product_consistency` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:70:22
[INFO] [stdout]    |
[INFO] [stdout] 70 |         prop_assert!(m_product_consistency(fa, |_| Err::<String, _>(-1)).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monad_right_identity` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:95:26
[INFO] [stdout]    |
[INFO] [stdout] 95 |             prop_assert!(monad_right_identity(fa.clone()).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rust2fun` (test "hashmap_tests") due to 24 previous errors
[INFO] [stdout] error[E0425]: cannot find function `map_flat_map_coherence` in this scope
[INFO] [stdout]   --> tests/linked_list_tests.rs:96:26
[INFO] [stdout]    |
[INFO] [stdout] 96 |             prop_assert!(map_flat_map_coherence(fa, print).holds());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monad_left_identity` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:75:22
[INFO] [stdout]    |
[INFO] [stdout] 75 |         prop_assert!(monad_left_identity::<Result<_, _>, _, _>(a, |x| Ok::<_, i32>(print(x))).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monad_left_identity` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:76:22
[INFO] [stdout]    |
[INFO] [stdout] 76 |         prop_assert!(monad_left_identity::<Result<_, _>, _, _>(a, |_| Err::<String, _>(-1)).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `monad_right_identity` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:77:22
[INFO] [stdout]    |
[INFO] [stdout] 77 |         prop_assert!(monad_right_identity(fa).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `map_flat_map_coherence` in this scope
[INFO] [stdout]   --> tests/result_tests.rs:78:22
[INFO] [stdout]    |
[INFO] [stdout] 78 |         prop_assert!(map_flat_map_coherence(fa, print).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 34 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0463.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rust2fun` (test "ne_vec_tests") due to 27 previous errors
[INFO] [stdout] error: aborting due to 32 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0463.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rust2fun` (test "linked_list_tests") due to 35 previous errors
[INFO] [stderr] error: could not compile `rust2fun` (test "result_tests") due to 33 previous errors
[INFO] running `Command { std: "docker" "inspect" "88a7cf3a0e05de92fee3853bb62f907807e932db1f42cefa29c82fd68478e11b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "88a7cf3a0e05de92fee3853bb62f907807e932db1f42cefa29c82fd68478e11b", kill_on_drop: false }`
[INFO] [stdout] 88a7cf3a0e05de92fee3853bb62f907807e932db1f42cefa29c82fd68478e11b
