[INFO] fetching crate haskelujah-typing 0.1.1... [INFO] testing haskelujah-typing-0.1.1 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-1 [INFO] extracting crate haskelujah-typing 0.1.1 into /workspace/builds/worker-0-tc2/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-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate haskelujah-typing 0.1.1 on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 92e983b8471d9e2c3799177a7ad25142dd309c909dbf02a6a6cca7a2ce229d56 [INFO] running `Command { std: "docker" "start" "-a" "92e983b8471d9e2c3799177a7ad25142dd309c909dbf02a6a6cca7a2ce229d56", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "92e983b8471d9e2c3799177a7ad25142dd309c909dbf02a6a6cca7a2ce229d56", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "92e983b8471d9e2c3799177a7ad25142dd309c909dbf02a6a6cca7a2ce229d56", kill_on_drop: false }` [INFO] [stdout] 92e983b8471d9e2c3799177a7ad25142dd309c909dbf02a6a6cca7a2ce229d56 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 7cb640ba916a2a44249ea0a317279bf31e3736bddf49e8136e605c825ae427e9 [INFO] running `Command { std: "docker" "start" "-a" "7cb640ba916a2a44249ea0a317279bf31e3736bddf49e8136e605c825ae427e9", 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 4.23s [INFO] running `Command { std: "docker" "inspect" "7cb640ba916a2a44249ea0a317279bf31e3736bddf49e8136e605c825ae427e9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7cb640ba916a2a44249ea0a317279bf31e3736bddf49e8136e605c825ae427e9", kill_on_drop: false }` [INFO] [stdout] 7cb640ba916a2a44249ea0a317279bf31e3736bddf49e8136e605c825ae427e9 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ea2ab2f6ba8b59580dd767f76f16eab4cbb81007bd99a21c1ddc667c54fefe06 [INFO] running `Command { std: "docker" "start" "-a" "ea2ab2f6ba8b59580dd767f76f16eab4cbb81007bd99a21c1ddc667c54fefe06", 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 5.42s [INFO] running `Command { std: "docker" "inspect" "ea2ab2f6ba8b59580dd767f76f16eab4cbb81007bd99a21c1ddc667c54fefe06", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ea2ab2f6ba8b59580dd767f76f16eab4cbb81007bd99a21c1ddc667c54fefe06", kill_on_drop: false }` [INFO] [stdout] ea2ab2f6ba8b59580dd767f76f16eab4cbb81007bd99a21c1ddc667c54fefe06 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 496ddce266fdaa4a036737b7dc38dce38b6fe475de6c935a3a1c799470657c16 [INFO] running `Command { std: "docker" "start" "-a" "496ddce266fdaa4a036737b7dc38dce38b6fe475de6c935a3a1c799470657c16", 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.02s [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::entails_eq_int_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::match_ty_variable_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::entails_eq_list_int_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::match_ty_concrete_mismatch_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_entails_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::mptc_fundep_no_improvement_on_mismatch_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::mptc_instance_resolution_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::mptc_fundeps_stored_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::qual_ty_display_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::pred_display_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::no_instance_returns_none_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_enum_rejects_non_nullary_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::resolve_eq_int_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_enum_rejects_polymorphic_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_foldable_data_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::apply_deriving_mutates_module_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::resolve_eq_list_int_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::seed_standard_classes_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_generic_enum_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_bounded_generates_min_max_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_functor_data_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_eq_product_type_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_enum_generates_to_from_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_functor_no_type_params_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_all_six_classes_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_eq_enum_chirho ... ok [INFO] [stdout] test class_chirho::tests_chirho::unqualified_display_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_generic_product_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_generic_newtype_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_newtype_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::no_deriving_no_instances_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_newtype_functor_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::type_mentions_var_chirho_test ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_generic_single_nullary_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::unsupported_class_warns_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_newtype_gnd_chirho ... ok [INFO] [stdout] test env_chirho::tests_chirho::apply_subst_updates_all_scopes_chirho ... ok [INFO] [stdout] test env_chirho::tests_chirho::bind_and_lookup_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_ord_enum_chirho ... ok [INFO] [stdout] test env_chirho::tests_chirho::free_vars_across_scopes_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_polymorphic_type_adds_context_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_show_product_type_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_read_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 env_chirho::tests_chirho::scoping_shadows_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_wildcard_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_literal_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::case_non_exhaustive_missing_constructor_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::case_non_exhaustive_bool_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::classify_as_pattern_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::case_redundant_duplicate_constructor_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::con_env_builtins_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::case_redundant_after_wildcard_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::con_env_siblings_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::empty_module_no_errors_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::con_env_from_module_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::classify_paren_pattern_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::fun_exhaustive_all_constructors_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::single_wildcard_is_exhaustive_chirho ... ok [INFO] [stdout] test deriving_chirho::tests_chirho::derive_traversable_data_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::maybe_non_exhaustive_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::case_redundant_wildcard_after_all_cons_chirho ... ok [INFO] [stdout] test exhaust_chirho::tests_chirho::fun_non_exhaustive_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 infer_chirho::tests_chirho::infer_literal_string_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_identity_function_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_case_record_pattern_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_application_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_if_expression_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_do_let_statement_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::eq_on_ints_satisfies_constraint_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_mismatching_type_sig_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_case_neg_pattern_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_literal_int_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_list_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_newtype_constructor_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_lambda_constructor_body_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_let_generalization_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_matching_type_sig_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_user_class_with_superclass_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_newtype_record_constructor_with_function_field_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_type_mismatch_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_user_class_decl_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_do_bind_unwraps_monad_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_tuple_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_user_instance_decl_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_tuple_pattern_function_arg_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_case_infix_con_pattern_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::type_family_instance_registration_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::type_family_nonexistent_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::infer_module_data_and_function_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::arrow_display_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_list_pattern_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::plus_on_ints_satisfies_num_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::arrow_n_builds_curried_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::ast_kind_constraint_arrow_converts_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::ast_kind_constraint_converts_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::type_family_registration_and_reduction_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::class_higher_kinded_param_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::class_single_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::constraint_kind_display_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::kind_var_cache_reuses_same_var_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::star_display_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::occurs_check_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::data_two_params_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::default_unconstrained_vars_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::data_no_params_has_kind_star_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::newtype_kind_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::builtins_have_correct_kinds_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::arrow_display_nested_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::higher_kinded_type_param_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::subst_applies_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::unify_arrow_kinds_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::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_once_ok_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::type_alias_kind_chirho ... ok [INFO] [stdout] test linearity_chirho::tests_chirho::count_var_uses_basic_chirho ... ok [INFO] [stdout] test linearity_chirho::tests_chirho::linear_used_twice_violation_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::compose_applies_outer_to_inner_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::empty_subst_is_identity_chirho ... ok [INFO] [stdout] test linearity_chirho::tests_chirho::unrestricted_unused_ok_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::merge_consistent_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::apply_scheme_respects_bound_vars_chirho ... ok [INFO] [stdout] test kind_chirho::tests_chirho::subst_compose_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::singleton_replaces_var_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::forall_ty_free_vars_exclude_bound_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::forall_ty_display_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::merge_same_binding_ok_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::forall_ty_no_free_vars_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::merge_conflicting_fails_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::subst_through_fun_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::list_display_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::scheme_free_vars_exclude_bound_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::ty_display_chirho ... ok [INFO] [stdout] test subst_chirho::tests_chirho::subst_leaves_other_vars_alone_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::fun_n_builds_curried_type_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::tuple_display_chirho ... ok [INFO] [stdout] test ty_chirho::tests_chirho::scheme_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_list_types_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_identical_con_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_two_vars_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_var_with_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_forall_with_var_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_tuples_same_arity_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_forall_same_structure_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_fun_types_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_mismatch_chirho ... ok [INFO] [stdout] test unify_chirho::tests_chirho::unify_forall_with_concrete_fun_chirho ... ok [INFO] [stdout] test infer_chirho::tests_chirho::overloaded_op_defers_predicate_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] [stderr] Doc-tests haskelujah_typing [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.17s [INFO] [stdout] [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" "496ddce266fdaa4a036737b7dc38dce38b6fe475de6c935a3a1c799470657c16", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "496ddce266fdaa4a036737b7dc38dce38b6fe475de6c935a3a1c799470657c16", kill_on_drop: false }` [INFO] [stdout] 496ddce266fdaa4a036737b7dc38dce38b6fe475de6c935a3a1c799470657c16