[INFO] fetching crate rust2fun 0.2.1...
[INFO] checking rust2fun-0.2.1 against master#39cb3386ddc6c71657418be28dbb3987eea4aa4b for pr-133536
[INFO] extracting crate rust2fun 0.2.1 into /workspace/builds/worker-1-tc1/source
[INFO] validating manifest of crates.io crate rust2fun 0.2.1 on toolchain 39cb3386ddc6c71657418be28dbb3987eea4aa4b
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-1-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-1-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 48 packages to latest compatible versions
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "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-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9c53c7148366fddfb6849e9605449980c810c02064f8b35f24722806fd63ab56
[INFO] running `Command { std: "docker" "start" "-a" "9c53c7148366fddfb6849e9605449980c810c02064f8b35f24722806fd63ab56", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9c53c7148366fddfb6849e9605449980c810c02064f8b35f24722806fd63ab56", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9c53c7148366fddfb6849e9605449980c810c02064f8b35f24722806fd63ab56", kill_on_drop: false }`
[INFO] [stdout] 9c53c7148366fddfb6849e9605449980c810c02064f8b35f24722806fd63ab56
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+39cb3386ddc6c71657418be28dbb3987eea4aa4b" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 42648779468feaa03416bc2916ae47ccaa84da53462eb14e2e11b6e022860c00
[INFO] running `Command { std: "docker" "start" "-a" "42648779468feaa03416bc2916ae47ccaa84da53462eb14e2e11b6e022860c00", kill_on_drop: false }`
[INFO] [stderr]    Compiling rustix v0.38.41
[INFO] [stderr]     Checking linux-raw-sys v0.4.14
[INFO] [stderr]    Compiling libm v0.2.11
[INFO] [stderr]     Checking once_cell v1.20.2
[INFO] [stderr]    Compiling syn v2.0.90
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking wait-timeout v0.2.0
[INFO] [stderr]     Checking bit-vec v0.6.3
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking rand_xorshift v0.3.0
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stderr]     Checking bit-set v0.5.3
[INFO] [stderr]     Checking regex-syntax v0.8.5
[INFO] [stderr]     Checking tempfile v3.14.0
[INFO] [stderr]     Checking rusty-fork v0.3.0
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling rust2fun_macros v0.2.1
[INFO] [stderr]     Checking rust2fun v0.2.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking ppv-lite86 v0.2.20
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking proptest v1.5.0
[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/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/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/option_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/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/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/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[E0433]: failed to resolve: use of undeclared crate or module `rust2fun_laws`
[INFO] [stdout]  --> tests/string_tests.rs:6:9
[INFO] [stdout]   |
[INFO] [stdout] 6 |     use rust2fun_laws::monoid_laws::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^ use of undeclared crate or module `rust2fun_laws`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 6 |     use rust2fun_macros::monoid_laws::*;
[INFO] [stdout]   |         ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared crate or module `rust2fun_laws`
[INFO] [stdout]  --> tests/string_tests.rs:7:9
[INFO] [stdout]   |
[INFO] [stdout] 7 |     use rust2fun_laws::semigroup_laws::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^ use of undeclared crate or module `rust2fun_laws`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 7 |     use rust2fun_macros::semigroup_laws::*;
[INFO] [stdout]   |         ~~~~~~~~~~~~~~~
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved imports `rust2fun_laws::monoid_laws::*`, `rust2fun_laws::semigroup_laws::*`
[INFO] [stdout]  --> tests/string_tests.rs:6:9
[INFO] [stdout]   |
[INFO] [stdout] 6 |     use rust2fun_laws::monoid_laws::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 7 |     use rust2fun_laws::semigroup_laws::*;
[INFO] [stdout]   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[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 1 previous error
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0425]: cannot find function `repeat_0` in this scope
[INFO] [stdout]   --> tests/string_tests.rs:12:21
[INFO] [stdout]    |
[INFO] [stdout] 12 |             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/string_tests.rs:13:21
[INFO] [stdout]    |
[INFO] [stdout] 13 |             assert!(repeat_1(fb.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/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 `semigroup_associativity` in this scope
[INFO] [stdout]   --> tests/string_tests.rs:14:21
[INFO] [stdout]    |
[INFO] [stdout] 14 |             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 `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 `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 `monoid_left_identity` in this scope
[INFO] [stdout]   --> tests/string_tests.rs:19:21
[INFO] [stdout]    |
[INFO] [stdout] 19 |             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/string_tests.rs:20:21
[INFO] [stdout]    |
[INFO] [stdout] 20 |             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/string_tests.rs:21:21
[INFO] [stdout]    |
[INFO] [stdout] 21 |             assert!(is_id(fa).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 `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 `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] Some errors have detailed explanations: E0425, E0432, E0433, E0463.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[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 `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 `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 `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 `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 `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 `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] 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 "string_tests") due to 10 previous errors
[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_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 `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 `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 `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 `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] [stderr] error: could not compile `rust2fun` (test "tuples_tests") due to 10 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/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] [stderr] error: could not compile `rust2fun` (test "phantom_data_tests") due to 22 previous errors
[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 `invariant_identity` in this scope
[INFO] [stdout]   --> tests/option_tests.rs:22:22
[INFO] [stdout]    |
[INFO] [stdout] 22 |         prop_assert!(invariant_identity(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/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 `invariant_identity` in this scope
[INFO] [stdout]   --> tests/vec_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 `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 `invariant_composition` in this scope
[INFO] [stdout]   --> tests/option_tests.rs:23:22
[INFO] [stdout]    |
[INFO] [stdout] 23 |         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/vec_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/option_tests.rs:28:22
[INFO] [stdout]    |
[INFO] [stdout] 28 |         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_identity` in this scope
[INFO] [stdout]   --> tests/vec_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/option_tests.rs:29:22
[INFO] [stdout]    |
[INFO] [stdout] 29 |         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 `covariant_composition` in this scope
[INFO] [stdout]   --> tests/vec_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 `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 `lift_identity` in this scope
[INFO] [stdout]   --> tests/vec_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_identity` in this scope
[INFO] [stdout]   --> tests/option_tests.rs:30:22
[INFO] [stdout]    |
[INFO] [stdout] 30 |         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/vec_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/option_tests.rs:31:22
[INFO] [stdout]    |
[INFO] [stdout] 31 |         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 `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 `repeat_0` in this scope
[INFO] [stdout]   --> tests/vec_tests.rs:38:26
[INFO] [stdout]    |
[INFO] [stdout] 38 |             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_0` in this scope
[INFO] [stdout]   --> tests/option_tests.rs:36:22
[INFO] [stdout]    |
[INFO] [stdout] 36 |         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/vec_tests.rs:39:26
[INFO] [stdout]    |
[INFO] [stdout] 39 |             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/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 `semigroup_associativity` in this scope
[INFO] [stdout]   --> tests/vec_tests.rs:40:26
[INFO] [stdout]    |
[INFO] [stdout] 40 |             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/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 `repeat_1` in this scope
[INFO] [stdout]   --> tests/option_tests.rs:37:22
[INFO] [stdout]    |
[INFO] [stdout] 37 |         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/option_tests.rs:38:22
[INFO] [stdout]    |
[INFO] [stdout] 38 |         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/vec_tests.rs:45:26
[INFO] [stdout]    |
[INFO] [stdout] 45 |             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 `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 `monoid_left_identity` in this scope
[INFO] [stdout]   --> tests/option_tests.rs:43:22
[INFO] [stdout]    |
[INFO] [stdout] 43 |         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/vec_tests.rs:46:26
[INFO] [stdout]    |
[INFO] [stdout] 46 |             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 `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 `is_id` in this scope
[INFO] [stdout]   --> tests/vec_tests.rs:47:26
[INFO] [stdout]    |
[INFO] [stdout] 47 |             prop_assert!(is_id(fa).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/option_tests.rs:44:22
[INFO] [stdout]    |
[INFO] [stdout] 44 |         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 `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 `is_id` in this scope
[INFO] [stdout]   --> tests/option_tests.rs:45:22
[INFO] [stdout]    |
[INFO] [stdout] 45 |         prop_assert!(is_id(fa).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 `semigroupal_associativity` in this scope
[INFO] [stdout]   --> tests/vec_tests.rs:52:26
[INFO] [stdout]    |
[INFO] [stdout] 52 |             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 `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] error[E0425]: cannot find function `semigroupal_associativity` in this scope
[INFO] [stdout]   --> tests/option_tests.rs:50:22
[INFO] [stdout]    |
[INFO] [stdout] 50 |         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/vec_tests.rs:57:26
[INFO] [stdout]    |
[INFO] [stdout] 57 |             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/vec_tests.rs:58:26
[INFO] [stdout]    |
[INFO] [stdout] 58 |             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 `map2_product_consistency` in this scope
[INFO] [stdout]   --> tests/option_tests.rs:55:22
[INFO] [stdout]    |
[INFO] [stdout] 55 |         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_l_consistency` in this scope
[INFO] [stdout]   --> tests/vec_tests.rs:59:26
[INFO] [stdout]    |
[INFO] [stdout] 59 |             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_r_consistency` in this scope
[INFO] [stdout]   --> tests/option_tests.rs:56:22
[INFO] [stdout]    |
[INFO] [stdout] 56 |         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/option_tests.rs:57:22
[INFO] [stdout]    |
[INFO] [stdout] 57 |         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/vec_tests.rs:64:26
[INFO] [stdout]    |
[INFO] [stdout] 64 |             prop_assert!(applicative_identity(fa.clone()).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 `applicative_identity` in this scope
[INFO] [stdout]   --> tests/option_tests.rs:62:22
[INFO] [stdout]    |
[INFO] [stdout] 62 |         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/vec_tests.rs:65:26
[INFO] [stdout]    |
[INFO] [stdout] 65 |             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_homomorphism` in this scope
[INFO] [stdout]   --> tests/option_tests.rs:63:22
[INFO] [stdout]    |
[INFO] [stdout] 63 |         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/vec_tests.rs:66:26
[INFO] [stdout]    |
[INFO] [stdout] 66 |             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 `applicative_map` in this scope
[INFO] [stdout]   --> tests/option_tests.rs:64:22
[INFO] [stdout]    |
[INFO] [stdout] 64 |         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/vec_tests.rs:68:26
[INFO] [stdout]    |
[INFO] [stdout] 68 |             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/vec_tests.rs:69:26
[INFO] [stdout]    |
[INFO] [stdout] 69 |             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 `ap_product_consistent` in this scope
[INFO] [stdout]   --> tests/option_tests.rs:65:22
[INFO] [stdout]    |
[INFO] [stdout] 65 |         prop_assert!(ap_product_consistent(fa, Some(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/option_tests.rs:66:22
[INFO] [stdout]    |
[INFO] [stdout] 66 |         prop_assert!(ap_product_consistent(fa, None::<fn(bool) -> String>).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/option_tests.rs:67:22
[INFO] [stdout]    |
[INFO] [stdout] 67 |         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/vec_tests.rs:74:26
[INFO] [stdout]    |
[INFO] [stdout] 74 |             prop_assert!(flat_map_associativity(fa.clone(), |x| vec![print(x)], |s| 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/option_tests.rs:72:22
[INFO] [stdout]    |
[INFO] [stdout] 72 |         prop_assert!(flat_map_associativity(fa, |x| Some(print(x)), |s| Some(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/vec_tests.rs:75:26
[INFO] [stdout]    |
[INFO] [stdout] 75 |             prop_assert!(flat_map_associativity(fa.clone(), |_| Vec::new(), |s| 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/option_tests.rs:73:22
[INFO] [stdout]    |
[INFO] [stdout] 73 |         prop_assert!(flat_map_associativity(fa, |_| None, |s| Some(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/vec_tests.rs:76:26
[INFO] [stdout]    |
[INFO] [stdout] 76 |             prop_assert!(flat_map_associativity(fa.clone(), |x| vec![print(x)], |_| Vec::<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/option_tests.rs:74:22
[INFO] [stdout]    |
[INFO] [stdout] 74 |         prop_assert!(flat_map_associativity(fa, |x| Some(print(x)), |_| None::<bool>).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/option_tests.rs:75:22
[INFO] [stdout]    |
[INFO] [stdout] 75 |         prop_assert!(flat_map_associativity(fa, |_| None::<String>, |_| None::<bool>).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/vec_tests.rs:77:26
[INFO] [stdout]    |
[INFO] [stdout] 77 |             prop_assert!(flat_map_associativity(fa.clone(), |_| Vec::new(), |_: String| Vec::<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/option_tests.rs:76:22
[INFO] [stdout]    |
[INFO] [stdout] 76 |         prop_assert!(flat_map_consistent_apply(fa, Some(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/vec_tests.rs:78:26
[INFO] [stdout]    |
[INFO] [stdout] 78 |             prop_assert!(flat_map_consistent_apply(fa.clone(), vec![print; fa.len()]).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/option_tests.rs:77:22
[INFO] [stdout]    |
[INFO] [stdout] 77 |         prop_assert!(flat_map_consistent_apply(fa, None::<fn(bool) -> String>).holds());
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rust2fun` (test "validated_tests") due to 23 previous errors
[INFO] [stdout] error[E0425]: cannot find function `m_product_consistency` in this scope
[INFO] [stdout]   --> tests/option_tests.rs:78:22
[INFO] [stdout]    |
[INFO] [stdout] 78 |         prop_assert!(m_product_consistency(fa, |x| Some(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/vec_tests.rs:79:26
[INFO] [stdout]    |
[INFO] [stdout] 79 |             prop_assert!(m_product_consistency(fa.clone(), |x| vec![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/option_tests.rs:79:22
[INFO] [stdout]    |
[INFO] [stdout] 79 |         prop_assert!(m_product_consistency(fa, |_| None::<String>).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/vec_tests.rs:80:26
[INFO] [stdout]    |
[INFO] [stdout] 80 |             prop_assert!(m_product_consistency(fa, |_| Vec::<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/option_tests.rs:84:22
[INFO] [stdout]    |
[INFO] [stdout] 84 |         prop_assert!(monad_left_identity::<Option<_>, _, _>(a, |x| Some(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/vec_tests.rs:85:26
[INFO] [stdout]    |
[INFO] [stdout] 85 |             prop_assert!(monad_left_identity::<Vec<_>, _, _>(a, |x| 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/option_tests.rs:85:22
[INFO] [stdout]    |
[INFO] [stdout] 85 |         prop_assert!(monad_left_identity::<Option<_>, _, _>(a, |_| None::<String>).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/vec_tests.rs:86:26
[INFO] [stdout]    |
[INFO] [stdout] 86 |             prop_assert!(monad_left_identity::<Vec<_>, _, _>(a, |_| Vec::<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/option_tests.rs:86:22
[INFO] [stdout]    |
[INFO] [stdout] 86 |         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 `monad_right_identity` in this scope
[INFO] [stdout]   --> tests/vec_tests.rs:87:26
[INFO] [stdout]    |
[INFO] [stdout] 87 |             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/option_tests.rs:87:22
[INFO] [stdout]    |
[INFO] [stdout] 87 |         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 `map_flat_map_coherence` in this scope
[INFO] [stdout]   --> tests/vec_tests.rs:88:26
[INFO] [stdout]    |
[INFO] [stdout] 88 |             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] 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 "option_tests") due to 36 previous errors
[INFO] [stderr] error: could not compile `rust2fun` (test "vec_tests") due to 34 previous errors
[INFO] running `Command { std: "docker" "inspect" "42648779468feaa03416bc2916ae47ccaa84da53462eb14e2e11b6e022860c00", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "42648779468feaa03416bc2916ae47ccaa84da53462eb14e2e11b6e022860c00", kill_on_drop: false }`
[INFO] [stdout] 42648779468feaa03416bc2916ae47ccaa84da53462eb14e2e11b6e022860c00
