[INFO] fetching crate rust2fun 0.2.1... [INFO] checking rust2fun-0.2.1 against master#350d0ef0ec0493e6d21cfb265cb8211a0e74d766 for pr-145342-1 [INFO] extracting crate rust2fun 0.2.1 into /workspace/builds/worker-7-tc1/source [INFO] removed /workspace/builds/worker-7-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-7-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate rust2fun 0.2.1 on toolchain 350d0ef0ec0493e6d21cfb265cb8211a0e74d766 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "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" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "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" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "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-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 1bd5c20e4dd8c880101b9354e69866f76a20496377f2505a91a691651bd420b1 [INFO] running `Command { std: "docker" "start" "-a" "1bd5c20e4dd8c880101b9354e69866f76a20496377f2505a91a691651bd420b1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "1bd5c20e4dd8c880101b9354e69866f76a20496377f2505a91a691651bd420b1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1bd5c20e4dd8c880101b9354e69866f76a20496377f2505a91a691651bd420b1", kill_on_drop: false }` [INFO] [stdout] 1bd5c20e4dd8c880101b9354e69866f76a20496377f2505a91a691651bd420b1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+350d0ef0ec0493e6d21cfb265cb8211a0e74d766" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 073d06f238769b32ebb5d8667f8fa3f713d5c071dfbc96cd817701507f22cfd5 [INFO] running `Command { std: "docker" "start" "-a" "073d06f238769b32ebb5d8667f8fa3f713d5c071dfbc96cd817701507f22cfd5", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.175 [INFO] [stderr] Compiling getrandom v0.3.3 [INFO] [stderr] Checking cfg-if v1.0.3 [INFO] [stderr] Compiling proc-macro2 v1.0.101 [INFO] [stderr] Compiling zerocopy v0.8.26 [INFO] [stderr] Compiling rustix v1.0.8 [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Checking linux-raw-sys v0.9.4 [INFO] [stderr] Checking bitflags v2.9.3 [INFO] [stderr] Compiling autocfg v1.5.0 [INFO] [stderr] Checking fastrand v2.3.0 [INFO] [stderr] Checking once_cell v1.21.3 [INFO] [stderr] Checking bit-vec v0.8.0 [INFO] [stderr] Checking quick-error v1.2.3 [INFO] [stderr] Checking fnv v1.0.7 [INFO] [stderr] Checking unarray v0.1.4 [INFO] [stderr] Checking regex-syntax v0.8.6 [INFO] [stderr] Checking lazy_static v1.5.0 [INFO] [stderr] Checking bit-set v0.8.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Checking wait-timeout v0.2.1 [INFO] [stderr] Compiling syn v2.0.106 [INFO] [stderr] Checking rand_core v0.9.3 [INFO] [stderr] Checking rand v0.9.2 [INFO] [stderr] Checking rand_xorshift v0.4.0 [INFO] [stderr] Checking tempfile v3.21.0 [INFO] [stderr] Checking rusty-fork v0.3.0 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Checking rand_chacha v0.9.0 [INFO] [stderr] Checking proptest v1.7.0 [INFO] [stderr] Compiling rust2fun_macros v0.2.1 [INFO] [stderr] Checking 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, slice::Iter> { [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, slice::Iter<'_, T>> { [INFO] [stdout] | +++ [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/linked_list_tests.rs:4:5 [INFO] [stdout] | [INFO] [stdout] 4 | extern crate rust2fun_laws; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rust2fun_laws` [INFO] [stdout] --> tests/common.rs:2:1 [INFO] [stdout] | [INFO] [stdout] 2 | extern crate rust2fun_laws; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rust2fun_laws` [INFO] [stdout] --> tests/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/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/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[E0433]: failed to resolve: use of unresolved module or unlinked crate `rust2fun_laws` [INFO] [stdout] --> tests/string_tests.rs:6:9 [INFO] [stdout] | [INFO] [stdout] 6 | use rust2fun_laws::monoid_laws::*; [INFO] [stdout] | ^^^^^^^^^^^^^ use of unresolved module or unlinked crate `rust2fun_laws` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 6 - use rust2fun_laws::monoid_laws::*; [INFO] [stdout] 6 + use rust2fun_macros::monoid_laws::*; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `rust2fun_laws` [INFO] [stdout] --> tests/string_tests.rs:7:9 [INFO] [stdout] | [INFO] [stdout] 7 | use rust2fun_laws::semigroup_laws::*; [INFO] [stdout] | ^^^^^^^^^^^^^ use of unresolved module or unlinked crate `rust2fun_laws` [INFO] [stdout] | [INFO] [stdout] help: there is a crate or module with a similar name [INFO] [stdout] | [INFO] [stdout] 7 - use rust2fun_laws::semigroup_laws::*; [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] 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[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/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/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] 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[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/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/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[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 `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::, 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_composition` in this scope [INFO] [stdout] --> tests/option_tests.rs:29:22 [INFO] [stdout] | [INFO] [stdout] 29 | prop_assert!(covariant_composition(fa, print, parse::).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/option_tests.rs:31:22 [INFO] [stdout] | [INFO] [stdout] 31 | prop_assert!(lift_composition(fa, print, parse::).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/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/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/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 `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 `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/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_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 `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 `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 `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 `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/option_tests.rs:63:22 [INFO] [stdout] | [INFO] [stdout] 63 | prop_assert!(applicative_homomorphism::, _, _>(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/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/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 `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] 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:: 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::>(a).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/tuples_tests.rs:30:22 [INFO] [stdout] | [INFO] [stdout] 30 | prop_assert!(bifunctor_identity(fa.clone()).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `bifunctor_composition` in this scope [INFO] [stdout] --> tests/tuples_tests.rs:31:22 [INFO] [stdout] | [INFO] [stdout] 31 | prop_assert!(bifunctor_composition(fa, print, parse::, print, parse::).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::(s))).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 `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::(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:74:22 [INFO] [stdout] | [INFO] [stdout] 74 | prop_assert!(flat_map_associativity(fa, |x| Some(print(x)), |_| None::).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::, |_| None::).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/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 `invariant_identity` in this scope [INFO] [stdout] --> tests/box_tests.rs:19:17 [INFO] [stdout] | [INFO] [stdout] 19 | assert!(invariant_identity(Box::new("id")).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `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/option_tests.rs:77:22 [INFO] [stdout] | [INFO] [stdout] 77 | prop_assert!(flat_map_consistent_apply(fa, None:: String>).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] 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::, 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/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::).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 `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 `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::).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::).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/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 `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::, print).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `semigroupal_associativity` in this scope [INFO] [stdout] --> tests/box_tests.rs:40:17 [INFO] [stdout] | [INFO] [stdout] 40 | assert!(semigroupal_associativity( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `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/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 `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 `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 `applicative_homomorphism` in this scope [INFO] [stdout] --> tests/box_tests.rs:60:17 [INFO] [stdout] | [INFO] [stdout] 60 | assert!(applicative_homomorphism::, _, _>(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::>(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/option_tests.rs:84:22 [INFO] [stdout] | [INFO] [stdout] 84 | prop_assert!(monad_left_identity::, _, _>(a, |x| Some(print(x))).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `invariant_identity` in this scope [INFO] [stdout] --> tests/linked_list_tests.rs:29:26 [INFO] [stdout] | [INFO] [stdout] 29 | prop_assert!(invariant_identity(fa.clone()).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `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::, 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/ne_vec_tests.rs:35:26 [INFO] [stdout] | [INFO] [stdout] 35 | prop_assert!(covariant_composition(fa.clone(), print, parse::).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::, _, _>(a, |_| None::).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `flat_map_associativity` in this scope [INFO] [stdout] --> tests/box_tests.rs:68:17 [INFO] [stdout] | [INFO] [stdout] 68 | assert!(flat_map_associativity(Box::new(1), |x| Box::new(x + 1), |x| Box::new(x + 2)).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `lift_identity` in this scope [INFO] [stdout] --> tests/ne_vec_tests.rs:36:26 [INFO] [stdout] | [INFO] [stdout] 36 | prop_assert!(lift_identity(fa.clone()).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `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::).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::).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 `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 `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 `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::).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] 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] 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/phantom_data_tests.rs:19:13 [INFO] [stdout] | [INFO] [stdout] 19 | assert!(invariant_identity(PhantomData::).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 `invariant_composition` in this scope [INFO] [stdout] --> tests/phantom_data_tests.rs:20:13 [INFO] [stdout] | [INFO] [stdout] 20 | assert!(invariant_composition(PhantomData::, print, parse, parse::, 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::).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::, print, parse::).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::).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/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/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/350d0ef0ec0493e6d21cfb265cb8211a0e74d766/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 `flat_map_consistent_apply` in this scope [INFO] [stdout] --> tests/box_tests.rs:69:17 [INFO] [stdout] | [INFO] [stdout] 69 | assert!(flat_map_consistent_apply(Box::new(1), Box::new(print)).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `lift_composition` in this scope [INFO] [stdout] --> tests/phantom_data_tests.rs:28:13 [INFO] [stdout] | [INFO] [stdout] 28 | assert!(lift_composition(PhantomData::, print, parse::).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 `m_product_consistency` in this scope [INFO] [stdout] --> tests/box_tests.rs:70:17 [INFO] [stdout] | [INFO] [stdout] 70 | assert!(m_product_consistency(Box::new(1), |x| Box::new(x + 1)).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `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 `contravariant_identity` in this scope [INFO] [stdout] --> tests/phantom_data_tests.rs:33:13 [INFO] [stdout] | [INFO] [stdout] 33 | assert!(contravariant_identity(PhantomData::).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 `contravariant_composition` in this scope [INFO] [stdout] --> tests/phantom_data_tests.rs:34:13 [INFO] [stdout] | [INFO] [stdout] 34 | assert!(contravariant_composition(PhantomData::, parse::, print::).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `semigroup_associativity` in this scope [INFO] [stdout] --> tests/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 `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::).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `rust2fun` (test "option_tests") due to 36 previous errors [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 `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::, parse::, print::).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `repeat_0` in this scope [INFO] [stdout] --> tests/phantom_data_tests.rs:41:13 [INFO] [stdout] | [INFO] [stdout] 41 | assert!(repeat_0(PhantomData::).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::).holds()); [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `monad_left_identity` in this scope [INFO] [stdout] --> tests/box_tests.rs:75:17 [INFO] [stdout] | [INFO] [stdout] 75 | assert!(monad_left_identity::, _, _>(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, 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 `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 `semigroup_associativity` in this scope [INFO] [stdout] --> tests/phantom_data_tests.rs:44:9 [INFO] [stdout] | [INFO] [stdout] 44 | semigroup_associativity(PhantomData::, PhantomData::, PhantomData::).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::, PhantomData::, PhantomData::) [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 `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 `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_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::, 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/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] [stderr] error: could not compile `rust2fun` (test "string_tests") due to 10 previous errors [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] [stderr] error: could not compile `rust2fun` (test "box_tests") due to 26 previous errors [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/vec_tests.rs:31:26 [INFO] [stdout] | [INFO] [stdout] 31 | prop_assert!(covariant_composition(fa.clone(), print, parse::).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 `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 `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::).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::, PhantomData::).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] 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 `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::, PhantomData::).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_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 `applicative_homomorphism` in this scope [INFO] [stdout] --> tests/ne_vec_tests.rs:79:26 [INFO] [stdout] | [INFO] [stdout] 79 | prop_assert!(applicative_homomorphism::, _, _>(a, print).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `semigroup_associativity` in this scope [INFO] [stdout] --> tests/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 `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:: u32>).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 `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::).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 `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 `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 `ap_product_consistent` in this scope [INFO] [stdout] --> tests/ne_vec_tests.rs:82:26 [INFO] [stdout] | [INFO] [stdout] 82 | prop_assert!(ap_product_consistent(fa, ff).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `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 `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 `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_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 `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 `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 `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] 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::, _, _>(a, 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/ne_vec_tests.rs:83:26 [INFO] [stdout] | [INFO] [stdout] 83 | prop_assert!(applicative_unit::>(a).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `applicative_map` in this scope [INFO] [stdout] --> tests/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 `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::>(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] [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::(s)]).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 `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::(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::(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::::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/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 `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::::new()).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::, _, _>(a, 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 `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/vec_tests.rs:80:26 [INFO] [stdout] | [INFO] [stdout] 80 | prop_assert!(m_product_consistency(fa, |_| Vec::::new()).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 `monad_left_identity` in this scope [INFO] [stdout] --> tests/vec_tests.rs:85:26 [INFO] [stdout] | [INFO] [stdout] 85 | prop_assert!(monad_left_identity::, _, _>(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/vec_tests.rs:86:26 [INFO] [stdout] | [INFO] [stdout] 86 | prop_assert!(monad_left_identity::, _, _>(a, |_| Vec::::new()).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `m_product_consistency` in this scope [INFO] [stdout] --> tests/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_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 `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 `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] 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 `applicative_unit` in this scope [INFO] [stdout] --> tests/linked_list_tests.rs:75:26 [INFO] [stdout] | [INFO] [stdout] 75 | prop_assert!(applicative_unit::>(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 "phantom_data_tests") due to 22 previous errors [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::, print).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `rust2fun` (test "vec_tests") due to 34 previous errors [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] [stderr] error: could not compile `rust2fun` (test "ne_vec_tests") due to 26 previous errors [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::, _, _>(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 `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::).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::).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `map_flat_map_coherence` in this scope [INFO] [stdout] --> tests/ne_vec_tests.rs:101:26 [INFO] [stdout] | [INFO] [stdout] 101 | prop_assert!(map_flat_map_coherence(fa, print).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `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::(s))).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::, print, parse::).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::(s))).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 `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::::new()).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 `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::::new()).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 `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] 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 `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 `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 `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 `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::::new()).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::, _, _>(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:: String, _>(-1)).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 `applicative_unit` in this scope [INFO] [stdout] --> tests/validated_tests.rs:84:22 [INFO] [stdout] | [INFO] [stdout] 84 | prop_assert!(applicative_unit::>(a).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::, _, _>(a, |x| LinkedList::pure(print(x))).holds()); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0425, E0463. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0425`. [INFO] [stdout] [INFO] [stdout] error[E0425]: cannot find function `monad_left_identity` in this scope [INFO] [stdout] --> tests/linked_list_tests.rs:94:26 [INFO] [stdout] | [INFO] [stdout] 94 | prop_assert!(monad_left_identity::, _, _>(a, |_| LinkedList::::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] 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] 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_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::, 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/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::).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::).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::, print, parse::).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::, _, _>(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:: 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::>(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::(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::(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::(-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::(-1), |_| Err::(-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:: 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::(-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::, _, _>(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::, _, _>(a, |_| Err::(-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] [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::, 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::).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::).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::, print, parse::).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 `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] [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, slice::Iter> { [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, slice::Iter<'_, T>> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "073d06f238769b32ebb5d8667f8fa3f713d5c071dfbc96cd817701507f22cfd5", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "073d06f238769b32ebb5d8667f8fa3f713d5c071dfbc96cd817701507f22cfd5", kill_on_drop: false }` [INFO] [stdout] 073d06f238769b32ebb5d8667f8fa3f713d5c071dfbc96cd817701507f22cfd5