[INFO] fetching crate haskelujah-typing 0.1.1... [INFO] testing haskelujah-typing-0.1.1 against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-1 [INFO] extracting crate haskelujah-typing 0.1.1 into /workspace/builds/worker-0-tc1/source [INFO] started tweaking crates.io crate haskelujah-typing 0.1.1 [INFO] finished tweaking crates.io crate haskelujah-typing 0.1.1 [INFO] tweaked toml for crates.io crate haskelujah-typing 0.1.1 written to /workspace/builds/worker-0-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate haskelujah-typing 0.1.1 on toolchain 562dee4820c458d823175268e41601d4c060588a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate haskelujah-typing 0.1.1 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded haskelujah-diagnostics v0.1.1 [INFO] [stderr] Downloaded haskelujah-ast v0.1.1 [INFO] [stderr] Downloaded haskelujah-span v0.1.1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] c840a8bb9eda9b0a7f1f836efad04570d1b31edc98e937ff7c03d0ee7c7a4d66 [INFO] running `Command { std: "docker" "start" "-a" "c840a8bb9eda9b0a7f1f836efad04570d1b31edc98e937ff7c03d0ee7c7a4d66", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "c840a8bb9eda9b0a7f1f836efad04570d1b31edc98e937ff7c03d0ee7c7a4d66", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c840a8bb9eda9b0a7f1f836efad04570d1b31edc98e937ff7c03d0ee7c7a4d66", kill_on_drop: false }` [INFO] [stdout] c840a8bb9eda9b0a7f1f836efad04570d1b31edc98e937ff7c03d0ee7c7a4d66 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] eaef890742b0c6c82c34b0a2765341ee1858ac3633f68750cc2da8b5dd08f2c0 [INFO] running `Command { std: "docker" "start" "-a" "eaef890742b0c6c82c34b0a2765341ee1858ac3633f68750cc2da8b5dd08f2c0", kill_on_drop: false }` [INFO] [stderr] Compiling haskelujah-span v0.1.1 [INFO] [stderr] Compiling haskelujah-ast v0.1.1 [INFO] [stderr] Compiling haskelujah-diagnostics v0.1.1 [INFO] [stderr] Compiling haskelujah-typing v0.1.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused variable: `span_chirho` [INFO] [stdout] --> src/kind_chirho.rs:685:17 [INFO] [stdout] | [INFO] [stdout] 685 | span_chirho, [INFO] [stdout] | ^^^^^^^^^^^ help: try ignoring the field: `span_chirho: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span_chirho` [INFO] [stdout] --> src/kind_chirho.rs:707:17 [INFO] [stdout] | [INFO] [stdout] 707 | span_chirho, [INFO] [stdout] | ^^^^^^^^^^^ help: try ignoring the field: `span_chirho: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.49s [INFO] running `Command { std: "docker" "inspect" "eaef890742b0c6c82c34b0a2765341ee1858ac3633f68750cc2da8b5dd08f2c0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "eaef890742b0c6c82c34b0a2765341ee1858ac3633f68750cc2da8b5dd08f2c0", kill_on_drop: false }` [INFO] [stdout] eaef890742b0c6c82c34b0a2765341ee1858ac3633f68750cc2da8b5dd08f2c0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 193944a2f1bf9a9f6c9b7e5072be796e36d3cf0f0d1a93f1629df286b6b99374 [INFO] running `Command { std: "docker" "start" "-a" "193944a2f1bf9a9f6c9b7e5072be796e36d3cf0f0d1a93f1629df286b6b99374", kill_on_drop: false }` [INFO] [stderr] Compiling haskelujah-typing v0.1.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused variable: `span_chirho` [INFO] [stdout] --> src/kind_chirho.rs:685:17 [INFO] [stdout] | [INFO] [stdout] 685 | span_chirho, [INFO] [stdout] | ^^^^^^^^^^^ help: try ignoring the field: `span_chirho: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span_chirho` [INFO] [stdout] --> src/kind_chirho.rs:707:17 [INFO] [stdout] | [INFO] [stdout] 707 | span_chirho, [INFO] [stdout] | ^^^^^^^^^^^ help: try ignoring the field: `span_chirho: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span_chirho` [INFO] [stdout] --> src/kind_chirho.rs:685:17 [INFO] [stdout] | [INFO] [stdout] 685 | span_chirho, [INFO] [stdout] | ^^^^^^^^^^^ help: try ignoring the field: `span_chirho: _` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `span_chirho` [INFO] [stdout] --> src/kind_chirho.rs:707:17 [INFO] [stdout] | [INFO] [stdout] 707 | span_chirho, [INFO] [stdout] | ^^^^^^^^^^^ help: try ignoring the field: `span_chirho: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 6.88s [INFO] running `Command { std: "docker" "inspect" "193944a2f1bf9a9f6c9b7e5072be796e36d3cf0f0d1a93f1629df286b6b99374", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "193944a2f1bf9a9f6c9b7e5072be796e36d3cf0f0d1a93f1629df286b6b99374", kill_on_drop: false }` [INFO] [stdout] 193944a2f1bf9a9f6c9b7e5072be796e36d3cf0f0d1a93f1629df286b6b99374 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 8a4bbe49c28855c4c2a268f0d330010fa4bbb99791f636278c8f5e743ce7a818 [INFO] running `Command { std: "docker" "start" "-a" "8a4bbe49c28855c4c2a268f0d330010fa4bbb99791f636278c8f5e743ce7a818", kill_on_drop: false }` [INFO] [stderr] warning: unused variable: `span_chirho` [INFO] [stderr] --> src/kind_chirho.rs:685:17 [INFO] [stderr] | [INFO] [stderr] 685 | span_chirho, [INFO] [stderr] | ^^^^^^^^^^^ help: try ignoring the field: `span_chirho: _` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `span_chirho` [INFO] [stderr] --> src/kind_chirho.rs:707:17 [INFO] [stderr] | [INFO] [stderr] 707 | span_chirho, [INFO] [stderr] | ^^^^^^^^^^^ help: try ignoring the field: `span_chirho: _` [INFO] [stderr] [INFO] [stderr] warning: `haskelujah-typing` (lib) generated 2 warnings (run `cargo fix --lib -p haskelujah-typing` to apply 2 suggestions) [INFO] [stderr] warning: `haskelujah-typing` (lib test) generated 2 warnings (2 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/haskelujah_typing-4e595d8dbbbe3a78) [INFO] [stdout] [INFO] [stdout] running 177 tests [INFO] [stdout] test class_chirho::tests_chirho::match_ty_concrete_mismatch_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::match_ty_variable_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::mptc_class_decl_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::mptc_fundep_improvement_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::mptc_fundeps_stored_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::mptc_instance_resolution_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::entails_eq_int_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::entails_eq_list_int_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::mptc_polymorphic_instance_resolution_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::mptc_pred_display_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::mptc_fundep_no_improvement_on_mismatch_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::qual_ty_display_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::no_instance_returns_none_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::resolve_eq_int_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::unqualified_display_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::apply_deriving_mutates_module_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_all_six_classes_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_enum_rejects_polymorphic_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_eq_enum_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_foldable_data_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_functor_data_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_generic_single_nullary_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_newtype_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_functor_no_type_params_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_generic_newtype_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_newtype_functor_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_generic_product_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_newtype_gnd_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_eq_product_type_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_newtype_standard_classes_not_gnd_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_generic_enum_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_polymorphic_type_adds_context_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::resolve_eq_list_int_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_read_enum_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_ord_enum_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_read_polymorphic_adds_context_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_show_enum_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_show_product_type_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_traversable_data_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::unsupported_class_warns_chirho ... ok [INFO] [stdout] test env_chirho::tests_chirho::apply_subst_updates_all_scopes_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::no_deriving_no_instances_chirho ... ok [INFO] [stdout] test env_chirho::tests_chirho::bind_and_lookup_chirho ... ok [INFO] [stdout] test env_chirho::tests_chirho::scoping_shadows_chirho ... ok [INFO] [stdout] test env_chirho::tests_chirho::free_vars_across_scopes_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::case_exhaustive_all_constructors_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::case_exhaustive_with_variable_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::case_non_exhaustive_missing_constructor_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_enum_rejects_non_nullary_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::case_non_exhaustive_literal_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::case_non_exhaustive_bool_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_enum_generates_to_from_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::case_exhaustive_with_wildcard_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::case_redundant_wildcard_after_all_cons_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::case_redundant_duplicate_constructor_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::case_redundant_after_wildcard_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::classify_as_pattern_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::type_mentions_var_chirho_test ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::empty_module_no_errors_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::fun_exhaustive_all_constructors_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::fun_non_exhaustive_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::fun_with_wildcard_exhaustive_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::literal_with_wildcard_is_exhaustive_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::con_env_from_module_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::newtype_single_constructor_exhaustive_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::maybe_exhaustive_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::con_env_siblings_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::maybe_non_exhaustive_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::single_wildcard_is_exhaustive_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::pred_display_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::ast_type_conversion_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::class_env_is_seeded_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::classify_paren_pattern_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::con_env_builtins_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_application_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::seed_standard_classes_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_list_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_if_expression_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_literal_int_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::mptc_entails_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_identity_function_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_matching_type_sig_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_literal_string_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_dollar_applies_constructor_to_lambda_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_case_infix_con_pattern_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_tuple_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_case_list_pattern_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::eq_on_ints_satisfies_constraint_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_bounded_generates_min_max_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_user_class_decl_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_do_let_statement_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_mismatching_type_sig_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_type_mismatch_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_newtype_constructor_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_module_data_and_function_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_case_neg_pattern_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_tuple_pattern_function_arg_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_lambda_constructor_body_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_do_bind_unwraps_monad_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_let_generalization_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_newtype_record_constructor_with_function_field_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::ast_kind_constraint_arrow_converts_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_user_instance_decl_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_user_class_with_superclass_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::type_family_registration_and_reduction_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::arrow_display_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::builtins_have_correct_kinds_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::class_single_param_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::type_family_nonexistent_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::type_family_instance_registration_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::data_two_params_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::data_one_param_has_kind_star_to_star_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::constraint_kind_display_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::default_unconstrained_vars_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::higher_kinded_type_param_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::ast_kind_var_defaults_to_star_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::newtype_kind_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::empty_module_no_errors_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::free_vars_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::occurs_check_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::kind_var_cache_reuses_same_var_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::type_alias_kind_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::unify_arrow_kinds_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::subst_applies_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::subst_compose_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::unify_mismatch_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::unify_star_star_chirho ... ok [INFO] [stdout] test linearity_chirho::tests_chirho::count_var_uses_basic_chirho ... ok [INFO] [stdout] test linearity_chirho::tests_chirho::linear_used_once_ok_chirho ... ok [INFO] [stdout] test linearity_chirho::tests_chirho::linear_unused_violation_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::unify_var_with_star_chirho ... ok [INFO] [stdout] test linearity_chirho::tests_chirho::linear_used_twice_violation_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::apply_scheme_respects_bound_vars_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::compose_applies_outer_to_inner_chirho ... ok [INFO] [stdout] test linearity_chirho::tests_chirho::unrestricted_unused_ok_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::merge_conflicting_fails_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::merge_consistent_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::merge_same_binding_ok_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::subst_through_fun_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::forall_ty_display_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::forall_ty_free_vars_exclude_bound_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::singleton_replaces_var_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::subst_leaves_other_vars_alone_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::forall_ty_no_free_vars_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::list_display_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::fun_n_builds_curried_type_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::scheme_free_vars_exclude_bound_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::tuple_display_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::ty_display_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::ty_free_vars_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::occurs_check_prevents_infinite_type_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::subsume_forall_with_forall_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_forall_same_structure_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_forall_with_concrete_fun_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_forall_with_var_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_fun_types_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::scheme_display_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_list_types_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_identical_con_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_tuples_different_arity_fails_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_tuples_same_arity_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_two_vars_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_mismatch_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::ast_kind_constraint_converts_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::star_display_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::plus_on_ints_satisfies_num_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::empty_subst_is_identity_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::overloaded_op_defers_predicate_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::arrow_n_builds_curried_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::class_higher_kinded_param_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::arrow_display_nested_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::data_no_params_has_kind_star_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_var_with_con_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_case_record_pattern_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_writer_newtype_composition_with_tuple_payload_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_state_newtype_composition_with_function_tuple_payload_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_result_bind_lambda_constructor_body_chirho ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 177 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.33s [INFO] [stdout] [INFO] [stderr] Doc-tests haskelujah_typing [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "8a4bbe49c28855c4c2a268f0d330010fa4bbb99791f636278c8f5e743ce7a818", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8a4bbe49c28855c4c2a268f0d330010fa4bbb99791f636278c8f5e743ce7a818", kill_on_drop: false }` [INFO] [stdout] 8a4bbe49c28855c4c2a268f0d330010fa4bbb99791f636278c8f5e743ce7a818