[INFO] fetching crate rust2fun 0.2.1...
[INFO] testing rust2fun-0.2.1 against 1.90.0 for beta-1.91-3
[INFO] extracting crate rust2fun 0.2.1 into /workspace/builds/worker-6-tc1/source
[INFO] removed /workspace/builds/worker-6-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-6-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate rust2fun 0.2.1 on toolchain 1.90.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.90.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.90.0" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 40 packages to latest compatible versions
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.90.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-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6c6006d734b852aaac8dc8ced639bd608b590e3211c774743305f6fbb81bdd61
[INFO] running `Command { std: "docker" "start" "-a" "6c6006d734b852aaac8dc8ced639bd608b590e3211c774743305f6fbb81bdd61", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6c6006d734b852aaac8dc8ced639bd608b590e3211c774743305f6fbb81bdd61", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6c6006d734b852aaac8dc8ced639bd608b590e3211c774743305f6fbb81bdd61", kill_on_drop: false }`
[INFO] [stdout] 6c6006d734b852aaac8dc8ced639bd608b590e3211c774743305f6fbb81bdd61
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 15dabf289ddeda7d3ab56ae0c1bf2855836ee9781ff83c958928dd4ab31160dc
[INFO] running `Command { std: "docker" "start" "-a" "15dabf289ddeda7d3ab56ae0c1bf2855836ee9781ff83c958928dd4ab31160dc", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling rust2fun_macros v0.2.1
[INFO] [stderr]    Compiling rust2fun v0.2.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/data/ne_vec/iter.rs:49:17
[INFO] [stdout]    |
[INFO] [stdout] 49 |     pub fn iter(&self) -> iter::Chain<iter::Once<&T>, slice::Iter<T>> {
[INFO] [stdout]    |                 ^^^^^                            --   -------------- the same lifetime is hidden here
[INFO] [stdout]    |                 |                                |
[INFO] [stdout]    |                 |                                the same lifetime is elided here
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 49 |     pub fn iter(&self) -> iter::Chain<iter::Once<&T>, slice::Iter<'_, T>> {
[INFO] [stdout]    |                                                                   +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.41s
[INFO] running `Command { std: "docker" "inspect" "15dabf289ddeda7d3ab56ae0c1bf2855836ee9781ff83c958928dd4ab31160dc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "15dabf289ddeda7d3ab56ae0c1bf2855836ee9781ff83c958928dd4ab31160dc", kill_on_drop: false }`
[INFO] [stdout] 15dabf289ddeda7d3ab56ae0c1bf2855836ee9781ff83c958928dd4ab31160dc
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1c0c7c5c04beb60bdb2fdd5767cb9edb8f99e738764b8798e3b10eb9c4e48291
[INFO] running `Command { std: "docker" "start" "-a" "1c0c7c5c04beb60bdb2fdd5767cb9edb8f99e738764b8798e3b10eb9c4e48291", kill_on_drop: false }`
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> src/data/ne_vec/iter.rs:49:17
[INFO] [stdout]    |
[INFO] [stdout] 49 |     pub fn iter(&self) -> iter::Chain<iter::Once<&T>, slice::Iter<T>> {
[INFO] [stdout]    |                 ^^^^^                            --   -------------- the same lifetime is hidden here
[INFO] [stdout]    |                 |                                |
[INFO] [stdout]    |                 |                                the same lifetime is elided here
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 49 |     pub fn iter(&self) -> iter::Chain<iter::Once<&T>, slice::Iter<'_, T>> {
[INFO] [stdout]    |                                                                   +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling rusty-fork v0.3.0
[INFO] [stderr]    Compiling proptest v1.8.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/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/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[E0463]: can't find crate for `rust2fun_laws`
[INFO] [stdout]  --> tests/phantom_data_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/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/validated_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[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[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[E0425]: cannot find function `invariant_identity` in this scope
[INFO] [stdout]   --> tests/phantom_data_tests.rs:19:13
[INFO] [stdout]    |
[INFO] [stdout] 19 |     assert!(invariant_identity(PhantomData::<bool>).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/phantom_data_tests.rs:20:13
[INFO] [stdout]    |
[INFO] [stdout] 20 |     assert!(invariant_composition(PhantomData::<u32>, print, parse, parse::<i32>, print).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/phantom_data_tests.rs:25:13
[INFO] [stdout]    |
[INFO] [stdout] 25 |     assert!(covariant_identity(PhantomData::<u32>).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 `covariant_composition` in this scope
[INFO] [stdout]   --> tests/phantom_data_tests.rs:26:13
[INFO] [stdout]    |
[INFO] [stdout] 26 |     assert!(covariant_composition(PhantomData::<i32>, print, parse::<u32>).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/phantom_data_tests.rs:27:13
[INFO] [stdout]    |
[INFO] [stdout] 27 |     assert!(lift_identity(PhantomData::<u32>).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/phantom_data_tests.rs:28:13
[INFO] [stdout]    |
[INFO] [stdout] 28 |     assert!(lift_composition(PhantomData::<i32>, print, parse::<i64>).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 `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 `contravariant_identity` in this scope
[INFO] [stdout]   --> tests/phantom_data_tests.rs:33:13
[INFO] [stdout]    |
[INFO] [stdout] 33 |     assert!(contravariant_identity(PhantomData::<u32>).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 `contravariant_composition` in this scope
[INFO] [stdout]   --> tests/phantom_data_tests.rs:34:13
[INFO] [stdout]    |
[INFO] [stdout] 34 |     assert!(contravariant_composition(PhantomData::<i32>, parse::<i32>, print::<u32>).holds());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `lift_contravariant_identity` in this scope
[INFO] [stdout]   --> tests/phantom_data_tests.rs:35:13
[INFO] [stdout]    |
[INFO] [stdout] 35 |     assert!(lift_contravariant_identity(PhantomData::<u32>).holds());
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `lift_contravariant_composition` in this scope
[INFO] [stdout]   --> tests/phantom_data_tests.rs:36:13
[INFO] [stdout]    |
[INFO] [stdout] 36 |     assert!(lift_contravariant_composition(PhantomData::<i32>, parse::<i32>, print::<u32>).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/phantom_data_tests.rs:41:13
[INFO] [stdout]    |
[INFO] [stdout] 41 |     assert!(repeat_0(PhantomData::<u32>).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 `repeat_1` in this scope
[INFO] [stdout]   --> tests/phantom_data_tests.rs:42:13
[INFO] [stdout]    |
[INFO] [stdout] 42 |     assert!(repeat_1(PhantomData::<u32>).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/phantom_data_tests.rs:44:9
[INFO] [stdout]    |
[INFO] [stdout] 44 |         semigroup_associativity(PhantomData::<u32>, PhantomData::<u32>, PhantomData::<u32>).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/phantom_data_tests.rs:51:9
[INFO] [stdout]    |
[INFO] [stdout] 51 |         semigroupal_associativity(PhantomData::<u32>, PhantomData::<u32>, PhantomData::<u32>)
[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 `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 `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] For more information about this error, try `rustc --explain E0463`.
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find function `map2_product_consistency` in this scope
[INFO] [stdout]   --> tests/phantom_data_tests.rs:58:13
[INFO] [stdout]    |
[INFO] [stdout] 58 |     assert!(map2_product_consistency(PhantomData, PhantomData, |x: &str, l| x.len() == l).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 `product_r_consistency` in this scope
[INFO] [stdout]   --> tests/phantom_data_tests.rs:59:13
[INFO] [stdout]    |
[INFO] [stdout] 59 |     assert!(product_r_consistency(PhantomData::<u32>, PhantomData::<u32>).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/phantom_data_tests.rs:60:13
[INFO] [stdout]    |
[INFO] [stdout] 60 |     assert!(product_l_consistency(PhantomData::<u32>, PhantomData::<u32>).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 `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 `flat_map_associativity` in this scope
[INFO] [stdout]   --> tests/phantom_data_tests.rs:65:13
[INFO] [stdout]    |
[INFO] [stdout] 65 |     assert!(flat_map_associativity(
[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/phantom_data_tests.rs:71:13
[INFO] [stdout]    |
[INFO] [stdout] 71 |     assert!(flat_map_consistent_apply(PhantomData, PhantomData::<fn(i32) -> u32>).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/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 `m_product_consistency` in this scope
[INFO] [stdout]   --> tests/phantom_data_tests.rs:72:13
[INFO] [stdout]    |
[INFO] [stdout] 72 |     assert!(m_product_consistency(PhantomData, |_: bool| PhantomData::<u32>).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/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 `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 `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] [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] [stderr] error: could not compile `rust2fun` (test "common") due to 1 previous error
[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] [stderr] warning: build failed, waiting for other jobs to finish...
[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] 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/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 `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 `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_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 `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 `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 `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 `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 `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 `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 `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 `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 `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 `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 `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/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 `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 `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 `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 `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 `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 `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 `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] 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 "hashmap_tests") due to 23 previous errors
[INFO] [stderr] error: could not compile `rust2fun` (test "phantom_data_tests") due to 22 previous errors
[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 `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 `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 `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 `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 `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 `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/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/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/iter/sources/repeat.rs:60:1
[INFO] [stdout]    |
[INFO] [stdout]    = note: similarly named function `repeat` defined here
[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/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/iter/sources/repeat.rs:60:1
[INFO] [stdout]    |
[INFO] [stdout]    = note: similarly named function `repeat` defined here
[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 `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 `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 `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 `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 `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 `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 `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_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 `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 `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 `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 `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/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] [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/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/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] 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 `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 `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 `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 `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 `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] [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] 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 `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/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] [stderr] error: could not compile `rust2fun` (test "linked_list_tests") due to 34 previous errors
[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 `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_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] [stderr] error: could not compile `rust2fun` (test "box_tests") due to 26 previous errors
[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 `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 `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 `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 `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 `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 `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 `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 `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 `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[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 `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] [stderr] error: could not compile `rust2fun` (test "ne_vec_tests") due to 26 previous errors
[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 `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_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 `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[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 `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] 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 `invariant_identity` in this scope
[INFO] [stdout]   --> tests/validated_tests.rs:23:22
[INFO] [stdout]    |
[INFO] [stdout] 23 |         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_composition` in this scope
[INFO] [stdout]   --> tests/validated_tests.rs:24:22
[INFO] [stdout]    |
[INFO] [stdout] 24 |         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 `covariant_identity` in this scope
[INFO] [stdout]   --> tests/validated_tests.rs:31:22
[INFO] [stdout]    |
[INFO] [stdout] 31 |         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/validated_tests.rs:32:22
[INFO] [stdout]    |
[INFO] [stdout] 32 |         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 `lift_identity` in this scope
[INFO] [stdout]   --> tests/validated_tests.rs:33:22
[INFO] [stdout]    |
[INFO] [stdout] 33 |         prop_assert!(lift_identity(fa).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/validated_tests.rs:34:22
[INFO] [stdout]    |
[INFO] [stdout] 34 |         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 `bifunctor_identity` in this scope
[INFO] [stdout]   --> tests/validated_tests.rs:41:22
[INFO] [stdout]    |
[INFO] [stdout] 41 |         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_composition` in this scope
[INFO] [stdout]   --> tests/validated_tests.rs:42:22
[INFO] [stdout]    |
[INFO] [stdout] 42 |         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 `repeat_0` in this scope
[INFO] [stdout]   --> tests/validated_tests.rs:51:22
[INFO] [stdout]    |
[INFO] [stdout] 51 |         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 `repeat_1` in this scope
[INFO] [stdout]   --> tests/validated_tests.rs:52:22
[INFO] [stdout]    |
[INFO] [stdout] 52 |         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 `semigroup_associativity` in this scope
[INFO] [stdout]   --> tests/validated_tests.rs:53:22
[INFO] [stdout]    |
[INFO] [stdout] 53 |         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 `semigroupal_associativity` in this scope
[INFO] [stdout]   --> tests/validated_tests.rs:62:22
[INFO] [stdout]    |
[INFO] [stdout] 62 |         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 `map2_product_consistency` in this scope
[INFO] [stdout]   --> tests/validated_tests.rs:70:22
[INFO] [stdout]    |
[INFO] [stdout] 70 |         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 `product_r_consistency` in this scope
[INFO] [stdout]   --> tests/validated_tests.rs:71:22
[INFO] [stdout]    |
[INFO] [stdout] 71 |         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 `product_l_consistency` in this scope
[INFO] [stdout]   --> tests/validated_tests.rs:72:22
[INFO] [stdout]    |
[INFO] [stdout] 72 |         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_identity` in this scope
[INFO] [stdout]   --> tests/validated_tests.rs:79:22
[INFO] [stdout]    |
[INFO] [stdout] 79 |         prop_assert!(applicative_identity(fa).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/validated_tests.rs:80:22
[INFO] [stdout]    |
[INFO] [stdout] 80 |         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/validated_tests.rs:81:22
[INFO] [stdout]    |
[INFO] [stdout] 81 |         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/validated_tests.rs:82:22
[INFO] [stdout]    |
[INFO] [stdout] 82 |         prop_assert!(ap_product_consistent(fa, Valid(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/validated_tests.rs:83:22
[INFO] [stdout]    |
[INFO] [stdout] 83 |         prop_assert!(ap_product_consistent(fa, Invalid::<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/validated_tests.rs:84:22
[INFO] [stdout]    |
[INFO] [stdout] 84 |         prop_assert!(applicative_unit::<Option<_>>(a).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] [stderr] error: could not compile `rust2fun` (test "validated_tests") due to 23 previous errors
[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_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 `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/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 `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 `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 `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 `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 `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 `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 `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 `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 `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 `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/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 `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/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 `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/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/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 `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 `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 `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[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] 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_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] 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 "result_tests") due to 32 previous errors
[INFO] running `Command { std: "docker" "inspect" "1c0c7c5c04beb60bdb2fdd5767cb9edb8f99e738764b8798e3b10eb9c4e48291", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1c0c7c5c04beb60bdb2fdd5767cb9edb8f99e738764b8798e3b10eb9c4e48291", kill_on_drop: false }`
[INFO] [stdout] 1c0c7c5c04beb60bdb2fdd5767cb9edb8f99e738764b8798e3b10eb9c4e48291
