[INFO] fetching crate abrase 0.3.1...
[INFO] testing abrase-0.3.1 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate abrase 0.3.1 into /workspace/builds/worker-3-tc2/source
[INFO] started tweaking crates.io crate abrase 0.3.1
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate abrase 0.3.1
[INFO] tweaked toml for crates.io crate abrase 0.3.1 written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate abrase 0.3.1 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate abrase 0.3.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" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:21:12
[INFO] [stderr]    |
[INFO] [stderr] 21 | homepage = "https://github.com/KHN190/Abrase"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 26 | repository = "https://github.com/KHN190/Abrase"
[INFO] [stderr]    |              ----------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `abrase` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 0d85567dc68b46d3b5fdc28951b550d42816375fd821398c6fa0a0062252c9e8
[INFO] running `Command { std: "docker" "start" "0d85567dc68b46d3b5fdc28951b550d42816375fd821398c6fa0a0062252c9e8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0d85567dc68b46d3b5fdc28951b550d42816375fd821398c6fa0a0062252c9e8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "0d85567dc68b46d3b5fdc28951b550d42816375fd821398c6fa0a0062252c9e8" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0d85567dc68b46d3b5fdc28951b550d42816375fd821398c6fa0a0062252c9e8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "0d85567dc68b46d3b5fdc28951b550d42816375fd821398c6fa0a0062252c9e8" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:21:12
[INFO] [stderr]    |
[INFO] [stderr] 21 | homepage = "https://github.com/KHN190/Abrase"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 26 | repository = "https://github.com/KHN190/Abrase"
[INFO] [stderr]    |              ----------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `abrase` (manifest) generated 1 warning
[INFO] [stderr]    Compiling polka-rs v0.3.1
[INFO] [stderr]    Compiling abrase v0.3.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 24.14s
[INFO] running `Command { std: "docker" "inspect" "0d85567dc68b46d3b5fdc28951b550d42816375fd821398c6fa0a0062252c9e8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "0d85567dc68b46d3b5fdc28951b550d42816375fd821398c6fa0a0062252c9e8" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:21:12
[INFO] [stderr]    |
[INFO] [stderr] 21 | homepage = "https://github.com/KHN190/Abrase"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 26 | repository = "https://github.com/KHN190/Abrase"
[INFO] [stderr]    |              ----------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `abrase` (manifest) generated 1 warning
[INFO] [stderr]    Compiling abrase v0.3.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 44.60s
[INFO] running `Command { std: "docker" "inspect" "0d85567dc68b46d3b5fdc28951b550d42816375fd821398c6fa0a0062252c9e8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "0d85567dc68b46d3b5fdc28951b550d42816375fd821398c6fa0a0062252c9e8" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:21:12
[INFO] [stderr]    |
[INFO] [stderr] 21 | homepage = "https://github.com/KHN190/Abrase"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 26 | repository = "https://github.com/KHN190/Abrase"
[INFO] [stderr]    |              ----------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `abrase` (manifest) generated 1 warning
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.03s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/build/abrase/280fd52d29147cfb/out/abrase-280fd52d29147cfb)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test safety::tests::closure_capturing_ref_is_error ... ok
[INFO] [stdout] test safety::tests::mut_borrow_live_across_multishot_resume_is_error ... ignored, multi-shot: resume-twice not implemented; predicate reserved for it
[INFO] [stdout] test safety::tests::borrow_whose_base_is_not_moved_is_fine ... ok
[INFO] [stdout] test safety::tests::borrow_used_after_base_moved_is_error ... ok
[INFO] [stdout] test safety::tests::copy_value_escaping_is_fine ... ok
[INFO] [stdout] test safety::tests::ref_escaping_region_is_error ... ok
[INFO] [stdout] test safety::tests::mut_borrow_live_across_effect_is_fine_single_shot ... ok
[INFO] [stdout] test safety::tests::escaping_closure_carries_moved_capture ... ok
[INFO] [stdout] test safety::tests::move_handle_consumed_twice_is_error ... ok
[INFO] [stdout] test safety::tests::shared_escaping_region_is_error ... ok
[INFO] [stdout] test compiler::closures::tests::rewrite_node_propagates_capture_into_compound_exprs ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/bnf_tests.rs (/opt/rustwide/target/release/build/abrase/28f0200493aaef58/out/bnf_tests-28f0200493aaef58)
[INFO] [stdout] 
[INFO] [stdout] running 103 tests
[INFO] [stdout] test error_attribute_numeric_name ... ok
[INFO] [stdout] test effect_alias_pub ... ok
[INFO] [stdout] test const_decl_pub ... ok
[INFO] [stdout] test effect_decl_pub ... ok
[INFO] [stdout] test error_effect_op_missing_arrow ... ok
[INFO] [stdout] test attribute_ident_arg ... ok
[INFO] [stdout] test error_expr_index_empty ... ok
[INFO] [stdout] test attribute_multiple_ident_args ... ok
[INFO] [stdout] test error_fn_param_missing_type ... ok
[INFO] [stdout] test error_impl_no_type_name ... ok
[INFO] [stdout] test error_record_type_duplicate_field ... ok
[INFO] [stdout] test error_resume_too_many_args ... ok
[INFO] [stdout] test error_literal_unicode_escape_empty ... ok
[INFO] [stdout] test expr_logical_or ... ok
[INFO] [stdout] test expr_mod_assign ... ok
[INFO] [stdout] test expr_mul_assign ... ok
[INFO] [stdout] test error_if_missing_block ... ok
[INFO] [stdout] test error_import_missing_path ... ok
[INFO] [stdout] test expr_break_bare ... ok
[INFO] [stdout] test expr_question_mark ... ok
[INFO] [stdout] test error_let_missing_value ... ok
[INFO] [stdout] test expr_break_with_value ... ok
[INFO] [stdout] test expr_continue ... ok
[INFO] [stdout] test error_pattern_trailing_pipe ... ok
[INFO] [stdout] test expr_logical_and ... ok
[INFO] [stdout] test expr_range_exclusive ... ok
[INFO] [stdout] test expr_div_assign ... ok
[INFO] [stdout] test expr_return_bare ... ok
[INFO] [stdout] test expr_field_access ... ok
[INFO] [stdout] test expr_index ... ok
[INFO] [stdout] test expr_field_access_chained ... ok
[INFO] [stdout] test expr_range_inclusive ... ok
[INFO] [stdout] test expr_range_no_end ... ok
[INFO] [stdout] test expr_range_no_start ... ok
[INFO] [stdout] test expr_range_no_start_inclusive ... ok
[INFO] [stdout] test expr_record_field_shorthand ... ok
[INFO] [stdout] test error_type_function_missing_return ... ok
[INFO] [stdout] test expr_record_mixed_fields ... ok
[INFO] [stdout] test expr_return_with_value ... ok
[INFO] [stdout] test expr_throw ... ok
[INFO] [stdout] test expr_unary_borrow ... ok
[INFO] [stdout] test expr_unary_neg ... ok
[INFO] [stdout] test expr_unary_not ... ok
[INFO] [stdout] test fn_param_self_ref ... ok
[INFO] [stdout] test fn_param_self_val ... ok
[INFO] [stdout] test handle_arm_effect_name ... ok
[INFO] [stdout] test handle_arm_exn ... ok
[INFO] [stdout] test handle_arm_qualified_effect_name ... ok
[INFO] [stdout] test impl_decl_for_type ... ok
[INFO] [stdout] test impl_decl_with_where_clause ... ok
[INFO] [stdout] test import_item_as_rename ... ok
[INFO] [stdout] test import_no_items ... ok
[INFO] [stdout] test literal_char_basic ... ok
[INFO] [stdout] test literal_string_escape_tab ... ok
[INFO] [stdout] test expr_variant_qualified ... ok
[INFO] [stdout] test impl_decl_with_method ... ok
[INFO] [stdout] test literal_char_escape_newline ... ok
[INFO] [stdout] test literal_string_interp_multiple_segments ... ok
[INFO] [stdout] test literal_float_basic ... ok
[INFO] [stdout] test literal_float_exponent ... ok
[INFO] [stdout] test pattern_array_with_rest ... ok
[INFO] [stdout] test pattern_array_basic ... ok
[INFO] [stdout] test pattern_array_empty ... ok
[INFO] [stdout] test literal_string_unicode_escape ... ok
[INFO] [stdout] test literal_int_binary ... ok
[INFO] [stdout] test fn_param_self_ref_mut ... ok
[INFO] [stdout] test pattern_range_exclusive ... ok
[INFO] [stdout] test literal_int_hex ... ok
[INFO] [stdout] test impl_decl_with_generics ... ok
[INFO] [stdout] test expr_unary_borrow_mut ... ok
[INFO] [stdout] test pattern_range_inclusive ... ok
[INFO] [stdout] test expr_unary_deref ... ok
[INFO] [stdout] test fn_decl_pub ... ok
[INFO] [stdout] test impl_for_type_only_parses ... ok
[INFO] [stdout] test precedence_question_tighter_than_neg ... ok
[INFO] [stdout] test precedence_and_lower_than_eq ... ok
[INFO] [stdout] test stmt_empty_semicolon ... ok
[INFO] [stdout] test precedence_or_lower_than_and ... ok
[INFO] [stdout] test pattern_record_explicit_binding ... ok
[INFO] [stdout] test trait_with_default_fn ... ok
[INFO] [stdout] test stmt_expr_with_block_no_semicolon ... ok
[INFO] [stdout] test literal_string_interp_only ... ok
[INFO] [stdout] test trait_mixed_items ... ok
[INFO] [stdout] test type_decl_ownership_move ... ok
[INFO] [stdout] test trait_with_required_fn_signature ... ok
[INFO] [stdout] test type_decl_ownership_copy ... ok
[INFO] [stdout] test pattern_record_shorthand ... ok
[INFO] [stdout] test type_decl_variant_record_payload ... ok
[INFO] [stdout] test type_decl_variant_tuple_payload ... ok
[INFO] [stdout] test pattern_record_with_rest ... ok
[INFO] [stdout] test pattern_variant_qualified ... ok
[INFO] [stdout] test pattern_ref ... ok
[INFO] [stdout] test type_decl_ownership_share ... ok
[INFO] [stdout] test pattern_tuple_with_rest ... ok
[INFO] [stdout] test pattern_variant_unit ... ok
[INFO] [stdout] test type_decl_pub ... ok
[INFO] [stdout] test precedence_not_tighter_than_and ... ok
[INFO] [stdout] test pattern_variant_with_payload ... ok
[INFO] [stdout] test type_decl_variant_no_leading_pipe ... ok
[INFO] [stdout] test type_decl_variant_unit_cases ... ok
[INFO] [stdout] test type_decl_record_pub_field ... ok
[INFO] [stdout] test error_type_record_field_missing_colon ... ok
[INFO] [stdout] test error_variant_type_duplicate_case ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 103 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test collect_assigned_idents_recurses_into_compound_exprs ... ok
[INFO] [stdout] test collect_free_vars_recurses_into_compound_exprs ... ok
[INFO] [stderr]      Running tests/closure_analysis_tests.rs (/opt/rustwide/target/release/build/abrase/e2de807453b4e3e0/out/closure_analysis_tests-e2de807453b4e3e0)
[INFO] [stdout] test collect_free_vars_for_pattern_shadows_body_var ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/core_intrinsics_tests.rs (/opt/rustwide/target/release/build/abrase/60edbbd5a879a11b/out/core_intrinsics_tests-60edbbd5a879a11b)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test core_fn_returning_handle_is_rejected ... ok
[INFO] [stdout] test arena_base_addr_threads_through_ptr_add ... ok
[INFO] [stdout] test core_helper_with_addr_and_peek_typechecks ... ok
[INFO] [stdout] test ptr_add_and_poke_typecheck ... ok
[INFO] [stdout] test core_body_string_literal_rejected ... ok
[INFO] [stdout] test core_body_handle_returning_call_rejected ... ok
[INFO] [stdout] test core_body_pure_scalar_still_compiles ... ok
[INFO] [stdout] test arena_base_produces_addr ... ok
[INFO] [stdout] test core_body_array_rejected ... ok
[INFO] [stdout] test core_fn_with_handle_param_is_rejected ... ok
[INFO] [stdout] test plain_main_declaring_core_is_rejected ... ok
[INFO] [stdout] test all_widths_typecheck ... ok
[INFO] [stdout] test cart_main_declaring_core_is_rejected ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dataflow_analysis_tests.rs (/opt/rustwide/target/release/build/abrase/378c6a799eabc755/out/dataflow_analysis_tests-378c6a799eabc755)
[INFO] [stdout] 
[INFO] [stdout] running 40 tests
[INFO] [stdout] test coalesce_basic_pair ... ok
[INFO] [stdout] test coalesce_chains_to_fixpoint ... ok
[INFO] [stdout] test branch_keeps_var_live_on_one_path ... ok
[INFO] [stdout] test deletion_remaps_branch_offsets ... ok
[INFO] [stdout] test coalesce_fixes_branch_offsets_across_deletion ... ok
[INFO] [stdout] test deo_reads_both_dei_reads_port_defs_dest ... ok
[INFO] [stdout] test dest_redefinition_ends_mapping ... ok
[INFO] [stdout] test coalesce_never_redirects_raise_or_resume ... ok
[INFO] [stdout] test destructive_read_of_root_kills_mapping ... ok
[INFO] [stdout] test cross_block_propagation_is_refused ... ok
[INFO] [stdout] test empty_and_single_op ... ok
[INFO] [stdout] test first_use_not_last_when_used_again ... ok
[INFO] [stdout] test arg_staging_slots_are_never_touched ... ok
[INFO] [stdout] test loop_back_edge_keeps_live ... ok
[INFO] [stdout] test move_never_establishes_a_mapping ... ok
[INFO] [stdout] test propagates_operand_staging_copy_and_deletes_it ... ok
[INFO] [stdout] test raise_reads_key_arg_resume_reads_value ... ok
[INFO] [stdout] test report_register_reuse_ceiling ... ignored, measurement probe: run with -- --ignored --nocapture
[INFO] [stdout] test redef_makes_old_value_dead ... ok
[INFO] [stdout] test coalesce_skips_branch_targeted_copy ... ok
[INFO] [stdout] test live_dest_keeps_copy_but_uses_still_propagate ... ok
[INFO] [stdout] test coalesce_skips_when_source_still_read ... ok
[INFO] [stdout] test roundtrip_copy_chain_collapses_to_nothing ... ok
[INFO] [stdout] test drop_counts_as_use ... ok
[INFO] [stdout] test suspension_ops_clear_mappings ... ok
[INFO] [stdout] test transitive_handleness_blocks_chain ... ok
[INFO] [stdout] test coalesce_never_fuses_into_arg_staging_slot ... ok
[INFO] [stdout] test move_and_copy_read_source ... ok
[INFO] [stdout] test float_ops_and_imm_use_def ... ok
[INFO] [stdout] test st_reads_value_and_base ... ok
[INFO] [stdout] test stidx_reads_all_three ... ok
[INFO] [stdout] test straight_line_last_use_and_def ... ok
[INFO] [stdout] test dead_store_dest_never_live ... ok
[INFO] [stdout] test source_redefinition_blocks_propagation ... ok
[INFO] [stdout] test ld_reads_base_defs_dest ... ok
[INFO] [stdout] test destructive_readers_are_never_retargeted ... ok
[INFO] [stdout] test handle_reads_table_callreg_reads_fn ... ok
[INFO] [stdout] test handle_regs_are_never_touched ... ok
[INFO] [stdout] test branch_target_clears_mappings ... ok
[INFO] [stdout] test live_across_call_is_conservative ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 39 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/handle_lowering_tests.rs (/opt/rustwide/target/release/build/abrase/8aaa2698cdbead81/out/handle_lowering_tests-8aaa2698cdbead81)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test test_effect_call_in_work_function ... ok
[INFO] [stdout] test test_multishot_resume_count ... ok
[INFO] [stderr]      Running tests/impl_lower_tests.rs (/opt/rustwide/target/release/build/abrase/553de816afcd023e/out/impl_lower_tests-553de816afcd023e)
[INFO] [stdout] test test_single_shot_resume_count ... ok
[INFO] [stdout] test test_effect_op_counts_populated ... ok
[INFO] [stdout] test test_work_function_call_chain ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test impl_where_clause_propagated_to_lifted_method ... ok
[INFO] [stdout] test generic_impl_substitutes_self_with_parameterized_type ... ok
[INFO] [stdout] test impl_where_merges_with_method_where ... ok
[INFO] [stdout] test generic_inherent_impl_carries_generics ... ok
[INFO] [stdout] test generic_trait_impl_combines_impl_and_method_generics ... ok
[INFO] [stdout] test impl_without_where_leaves_method_where_empty ... ok
[INFO] [stdout] test inherent_impl_lifts_methods ... ok
[INFO] [stderr]      Running tests/lexer_tests.rs (/opt/rustwide/target/release/build/abrase/6b98087cf94f1daf/out/lexer_tests-6b98087cf94f1daf)
[INFO] [stdout] test trait_impl_mangles_with_trait_prefix ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test tests::test_lexer_float_overflow_produces_inf_or_illegal ... ok
[INFO] [stdout] test tests::test_lexer_literals ... ok
[INFO] [stdout] test tests::test_lexer_int_literal_overflow_rejected ... ok
[INFO] [stdout] test tests::test_lexer_operators ... ok
[INFO] [stdout] test tests::test_lexer_plain_string_stays_string ... ok
[INFO] [stdout] test tests::test_lexer_string_interp_rejects_arithmetic ... ok
[INFO] [stdout] test tests::test_lexer_unicode_escape_bad_hex_rejected ... ok
[INFO] [stdout] test tests::test_lexer_string_interp_rejects_unterminated ... ok
[INFO] [stdout] test tests::test_lexer_keywords_and_identifiers ... ok
[INFO] [stdout] test tests::test_lexer_unicode_escape_valid_still_works ... ok
[INFO] [stdout] test tests::test_lexer_unknown_escape_rejected ... ok
[INFO] [stdout] test tests::test_lexer_unicode_escape_missing_brace_rejected ... ok
[INFO] [stdout] test tests::test_lexer_unicode_escape_invalid_codepoint_rejected ... ok
[INFO] [stdout] test tests::test_lexer_string_interp_rejects_function_call ... ok
[INFO] [stdout] test tests::test_lexer_string_interp_single_ident ... ok
[INFO] [stdout] test tests::test_lexer_comments ... ok
[INFO] [stdout] test tests::test_lexer_string_interp_dotted_path ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/linter_fuzz_tests.rs (/opt/rustwide/target/release/build/abrase/6bc8415dad2d5c8e/out/linter_fuzz_tests-6bc8415dad2d5c8e)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test linter_fuzz_no_false_positives ... ok
[INFO] [stdout] test linter_fuzz_mutation_stability ... ok
[INFO] [stdout] test linter_fuzz_correctness_structured ... ok
[INFO] [stdout] test linter_fuzz_correctness_grammar ... ok
[INFO] [stdout] test linter_fuzz_no_panic_grammar ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 3.24s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/parser_decl_tests.rs (/opt/rustwide/target/release/build/abrase/4342f4da9d8be977/out/parser_decl_tests-4342f4da9d8be977)
[INFO] [stdout] 
[INFO] [stdout] running 32 tests
[INFO] [stdout] test test_const_fn_with_generics ... ok
[INFO] [stdout] test test_decl_effect ... ok
[INFO] [stdout] test test_decl_effect_alias ... ok
[INFO] [stdout] test test_decl_attribute_with_named_arg ... ok
[INFO] [stdout] test test_decl_const ... ok
[INFO] [stdout] test test_decl_trait ... ok
[INFO] [stdout] test test_decl_type_alias ... ok
[INFO] [stdout] test test_const_fn_with_params ... ok
[INFO] [stdout] test test_effect_op_with_params_as_operation_name ... ok
[INFO] [stdout] test test_decl_impl ... ok
[INFO] [stdout] test test_decl_type ... ok
[INFO] [stdout] test test_effect_empty_no_stray_rbrace ... ok
[INFO] [stdout] test test_effect_multiple_op_operations ... ok
[INFO] [stdout] test test_effect_op_as_operation_name ... ok
[INFO] [stdout] test test_decl_error_surfaced_via_parser_errors ... ok
[INFO] [stdout] test test_decl_use_without_double_colon_before_brace_is_rejected ... ok
[INFO] [stdout] test test_fn_decl_multiple_generic_params ... ok
[INFO] [stdout] test test_fn_decl_with_effects ... ok
[INFO] [stdout] test test_fn_decl_with_generics ... ok
[INFO] [stdout] test test_fn_decl_with_where_clause ... ok
[INFO] [stdout] test test_fn_declaration ... ok
[INFO] [stdout] test test_program_effect_alias_with_semicolon_then_fn ... ok
[INFO] [stdout] test test_type_with_generics ... ok
[INFO] [stdout] test test_where_clause_multiple_comma_separated_bounds ... ok
[INFO] [stdout] test test_where_clause_with_plus_bounds ... ok
[INFO] [stdout] test test_decl_use ... ok
[INFO] [stdout] test test_decl_with_attribute ... ok
[INFO] [stdout] test test_decl_with_multiple_attributes ... ok
[INFO] [stdout] test test_effect_decl_no_stray_rbrace_token ... ok
[INFO] [stdout] test test_decl_error_does_not_swallow_message_silently ... ok
[INFO] [stdout] test test_decl_attribute_with_literal_arg ... ok
[INFO] [stdout] test test_decl_with_attribute_args ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 32 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/parser_expr_tests.rs (/opt/rustwide/target/release/build/abrase/787eb0c5684b3aef/out/parser_expr_tests-787eb0c5684b3aef)
[INFO] [stdout] 
[INFO] [stdout] running 37 tests
[INFO] [stdout] test string_literal_index_parses_to_index ... ok
[INFO] [stdout] test test_array_repeat_literal ... ok
[INFO] [stdout] test test_expr_if ... ok
[INFO] [stdout] test test_expr_for_tuple_destructure ... ok
[INFO] [stdout] test test_expr_loop ... ok
[INFO] [stdout] test test_expr_match_with_guard ... ok
[INFO] [stdout] test string_len_parses_to_method_call ... ok
[INFO] [stdout] test test_expr_if_without_else ... ok
[INFO] [stdout] test test_expr_if_else_if_chain ... ok
[INFO] [stdout] test test_expr_region_without_label ... ok
[INFO] [stdout] test string_binding_index_parses_to_index ... ok
[INFO] [stdout] test string_byte_at_parses_to_method_call ... ok
[INFO] [stdout] test test_closure_move_keyword_sets_is_move ... ok
[INFO] [stdout] test test_block_terminated_element_in_tuple_call_record_statement ... ok
[INFO] [stdout] test test_expr_for ... ok
[INFO] [stdout] test test_expr_region ... ok
[INFO] [stdout] test test_expr_string_interp_dotted_path ... ok
[INFO] [stdout] test test_match_block_body_with_following_arm_no_comma ... ok
[INFO] [stdout] test test_closure_implicit_borrow_default ... ok
[INFO] [stdout] test test_if_else_inside_fn_body_keeps_alternative ... ok
[INFO] [stdout] test test_operator_precedence ... ok
[INFO] [stdout] test test_nested_if_else_chain_inside_fn_body ... ok
[INFO] [stdout] test test_paren_single_expr_strips_parens ... ok
[INFO] [stdout] test test_plus_assign_desugars_to_assign_of_add ... ok
[INFO] [stdout] test test_record_literal_rejects_duplicate_field ... ok
[INFO] [stdout] test test_recursive_fn_with_else_preserves_base_case ... ok
[INFO] [stdout] test test_single_block_terminated_element_array_in_statement ... ok
[INFO] [stdout] test test_expr_string_interp_single_ident ... ok
[INFO] [stdout] test test_parser_traps_deeply_nested_input ... ok
[INFO] [stdout] test test_match_newline_separated_arms ... ok
[INFO] [stdout] test test_expr_string_no_interp_stays_plain ... ok
[INFO] [stderr]      Running tests/parser_fuzz_tests.rs (/opt/rustwide/target/release/build/abrase/c906430d100a2cf4/out/parser_fuzz_tests-c906430d100a2cf4)
[INFO] [stdout] test test_expr_while ... ok
[INFO] [stdout] test test_nested_match_block_body_arm ... ok
[INFO] [stdout] test test_paren_unit_literal ... ok
[INFO] [stdout] test test_expr_loop_with_continue ... ok
[INFO] [stdout] test test_paren_two_element_tuple ... ok
[INFO] [stdout] test test_block_terminated_array_repeat_still_parses ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 37 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test parser_fuzz_resume_index_block_args ... ok
[INFO] [stdout] test parser_fuzz_closure_tail_positions ... ok
[INFO] [stdout] test list_close_shapes_are_all_accepted ... ok
[INFO] [stdout] test parser_fuzz_random_tokens ... ok
[INFO] [stdout] test parser_fuzz_random_bytes ... ok
[INFO] [stdout] test parser_fuzz_grammar_nested ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 4.35s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stderr]      Running tests/parser_handle_tests.rs (/opt/rustwide/target/release/build/abrase/efe5b4a774e2c48f/out/parser_handle_tests-efe5b4a774e2c48f)
[INFO] [stdout] test test_handle_effect_arm_pattern_bound_name ... ok
[INFO] [stdout] test test_handle_effect_arm_with_resume_in_body ... ok
[INFO] [stdout] test test_handle_arms_no_comma_both_parsed ... ok
[INFO] [stdout] test test_expr_handle_single_return_arm ... ok
[INFO] [stdout] test test_handle_effect_multi_segment_path ... ok
[INFO] [stdout] test test_expr_resume_with_arg ... ok
[INFO] [stdout] test test_handle_effect_block_body_then_return ... ok
[INFO] [stdout] test test_expr_resume_no_arg ... ok
[INFO] [stdout] test test_expr_handle_return_and_exn_comma ... ok
[INFO] [stdout] test test_handle_effect_arm_kind_path ... ok
[INFO] [stdout] test test_handle_three_arms_no_comma ... ok
[INFO] [stdout] test test_handle_return_arm_wildcard_pattern ... ok
[INFO] [stdout] test test_handle_mixed_separator ... ok
[INFO] [stdout] test test_resume_expr_with_arg_in_function ... ok
[INFO] [stdout] test test_resume_closing_paren_required ... ok
[INFO] [stdout] test test_resume_expr_no_arg_in_function ... ok
[INFO] [stdout] test test_resume_paren_required ... ok
[INFO] [stdout] test test_handle_single_effect_arm ... ok
[INFO] [stdout] test test_handle_return_block_body_then_effect ... ok
[INFO] [stdout] test test_handle_return_then_effect_no_comma ... ok
[INFO] [stdout] test test_resume_with_complex_arg ... ok
[INFO] [stdout] test test_handle_comma_still_valid ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/parser_program_tests.rs (/opt/rustwide/target/release/build/abrase/7432d163b22ea07d/out/parser_program_tests-7432d163b22ea07d)
[INFO] [stdout] 
[INFO] [stdout] running 27 tests
[INFO] [stdout] test test_error_extra_else_in_chain ... ok
[INFO] [stdout] test test_error_duplicate_else_after_if ... ok
[INFO] [stdout] test test_error_extra_token_after_complete_decl ... ok
[INFO] [stdout] test test_error_let_missing_assign ... ok
[INFO] [stdout] test test_error_missing_arrow_in_match_arm ... ok
[INFO] [stdout] test test_error_unclosed_match_brace ... ok
[INFO] [stdout] test test_program_effect_followed_by_fn ... ok
[INFO] [stdout] test test_error_unclosed_fn_body ... ok
[INFO] [stdout] test test_multiple_fn_decls_with_if_else_each ... ok
[INFO] [stdout] test test_error_match_garbage_between_arms ... ok
[INFO] [stdout] test test_program_const_block_value_then_fn ... ok
[INFO] [stdout] test test_program_const_then_fn ... ok
[INFO] [stdout] test test_program_const_with_semicolon_then_fn ... ok
[INFO] [stdout] test test_program_effect_multiple_ops ... ok
[INFO] [stdout] test test_program_effect_alias_then_fn ... ok
[INFO] [stdout] test test_program_effect_with_op_no_stray_token ... ok
[INFO] [stdout] test test_program_type_alias_with_semicolon_then_fn ... ok
[INFO] [stdout] test test_program_mod_keyword_is_rejected ... ok
[INFO] [stdout] test test_error_orphan_else_at_block_start ... ok
[INFO] [stdout] test test_error_stray_keyword_after_if_consequence ... ok
[INFO] [stdout] test test_error_two_exprs_no_separator ... ok
[INFO] [stdout] test test_program_type_alias_then_fn ... ok
[INFO] [stdout] test test_program_import_dot_brace_syntax ... ok
[INFO] [stdout] test test_program_import_then_fn ... ok
[INFO] [stdout] test test_program_empty_effect_followed_by_fn ... ok
[INFO] [stdout] test test_program_impl_then_fn ... ok
[INFO] [stderr]      Running tests/parser_static_tests.rs (/opt/rustwide/target/release/build/abrase/90ae3c7d34d86142/out/parser_static_tests-90ae3c7d34d86142)
[INFO] [stdout] test test_program_trait_then_fn ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 27 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/parser_stmt_tests.rs (/opt/rustwide/target/release/build/abrase/61fa7f37101efab5/out/parser_stmt_tests-61fa7f37101efab5)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test parses_immutable_static ... ok
[INFO] [stdout] test static_mixes_with_other_decls_in_a_program ... ok
[INFO] [stdout] test static_value_expression_is_kept ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test if_else_statement_followed_by_call_no_semicolon ... ok
[INFO] [stdout] test if_else_statement_followed_by_literal_or_let_still_ok ... ok
[INFO] [stdout] test test_let_tuple_pattern ... ok
[INFO] [stdout] test if_else_statement_followed_by_assignment_no_semicolon ... ok
[INFO] [stdout] test test_let_statements ... ok
[INFO] [stdout] test test_let_nested_tuple_pattern ... ok
[INFO] [stdout] test test_let_wildcard_pattern ... ok
[INFO] [stdout] test test_pattern_tuple ... ok
[INFO] [stdout] test test_pattern_basic ... ok
[INFO] [stdout] test test_pattern_or ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/parser_type_tests.rs (/opt/rustwide/target/release/build/abrase/0e41c28ea38b269b/out/parser_type_tests-0e41c28ea38b269b)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test test_type_qualified ... ok
[INFO] [stdout] test test_type_function_effects ... ok
[INFO] [stdout] test test_type_tuple ... ok
[INFO] [stdout] test test_type_named ... ok
[INFO] [stdout] test test_type_reference ... ok
[INFO] [stdout] test test_fn_type_with_effects ... ok
[INFO] [stdout] test test_type_generic ... ok
[INFO] [stdout] test test_type_function ... ok
[INFO] [stdout] test test_type_array ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/safety_oracle_tests.rs (/opt/rustwide/target/release/build/abrase/0972b422f1118cf4/out/safety_oracle_tests-0972b422f1118cf4)
[INFO] [stdout] 
[INFO] [stdout] running 12 tests
[INFO] [stdout] test oracle_closure_in_escaping_record_carries_region_capture ... ok
[INFO] [stdout] test oracle_handle_escaping_region_requires_forget ... ok
[INFO] [stdout] test oracle_copy_value_escaping_region_is_clean ... ok
[INFO] [stdout] test oracle_escaping_closure_carries_moved_region_handle ... ok
[INFO] [stdout] test oracle_nested_handle_in_escaping_record_requires_forget ... ok
[INFO] [stdout] test oracle_move_handle_used_twice_is_double_move ... ok
[INFO] [stdout] test oracle_move_handle_used_once_is_clean ... ok
[INFO] [stdout] test oracle_multi_module_each_fn_analyzed ... ok
[INFO] [stdout] test oracle_nested_handle_in_escaping_variant_requires_forget ... ok
[INFO] [stdout] test oracle_ref_escaping_region_flagged ... ok
[INFO] [stdout] test oracle_region_handle_as_effect_arg_requires_forget ... ok
[INFO] [stderr]      Running tests/typeck_decl_tests.rs (/opt/rustwide/target/release/build/abrase/cd9d8bde88b98a2c/out/typeck_decl_tests-cd9d8bde88b98a2c)
[INFO] [stdout] test oracle_nested_handle_in_escaping_tuple_requires_forget ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 12 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 48 tests
[INFO] [stdout] test verify_check_const_decl_validates_type_match ... ok
[INFO] [stdout] test subst_self_in_ast_type_via_impl_method_self_return ... ok
[INFO] [stdout] test check_decl_signature_share_ownership_attr_reports_error ... ok
[INFO] [stdout] test verify_check_const_decl_bool ... ok
[INFO] [stdout] test verify_check_const_decl_registers_const ... ok
[INFO] [stdout] test verify_all_checkers_work_together ... ok
[INFO] [stdout] test verify_check_impl_decl_type_checks_methods ... ok
[INFO] [stdout] test verify_check_impl_decl_multiple_methods ... ok
[INFO] [stdout] test check_decl_signature_move_ownership_attr_registers_move ... ok
[INFO] [stdout] test verify_check_const_decl_marks_public ... ok
[INFO] [stdout] test verify_check_effect_decl_registers_operations ... ok
[INFO] [stdout] test verify_check_const_decl_float ... ok
[INFO] [stdout] test verify_check_fn_decl_detects_return_type_mismatch ... ok
[INFO] [stdout] test verify_check_effect_decl_marks_public ... ok
[INFO] [stdout] test verify_check_effect_decl_registers_effect ... ok
[INFO] [stdout] test verify_check_fn_decl_allows_correct_return_type ... ok
[INFO] [stdout] test verify_check_program_registers_function ... ok
[INFO] [stdout] test verify_check_program_registers_import_with_alias ... ok
[INFO] [stdout] test verify_check_program_marks_public_trait ... ok
[INFO] [stdout] test verify_check_import_decl_nested_path ... ok
[INFO] [stdout] test verify_check_import_decl_registers_imports ... ok
[INFO] [stdout] test verify_check_impl_decl_validates_trait_exists ... ok
[INFO] [stdout] test verify_check_program_marks_public_const ... ok
[INFO] [stdout] test verify_check_program_registers_effect ... ok
[INFO] [stdout] test verify_check_program_private_function_not_public ... ok
[INFO] [stdout] test verify_check_program_registers_const ... ok
[INFO] [stdout] test verify_check_program_marks_public_function ... ok
[INFO] [stdout] test verify_check_program_registers_imports ... ok
[INFO] [stdout] test verify_check_program_registers_trait ... ok
[INFO] [stdout] test verify_check_program_registers_type ... ok
[INFO] [stdout] test verify_check_program_marks_public_type ... ok
[INFO] [stdout] test verify_check_import_decl_handles_alias ... ok
[INFO] [stdout] test verify_check_program_mixed_visibility ... ok
[INFO] [stdout] test verify_check_import_decl_multiple_items ... ok
[INFO] [stdout] test verify_check_type_decl_marks_public ... ok
[INFO] [stdout] test verify_check_program_skips_impl_in_signature_pass ... ok
[INFO] [stdout] test verify_check_type_decl_registers_ownership_copy ... ok
[INFO] [stdout] test verify_check_type_decl_registers_variant ... ok
[INFO] [stdout] test verify_check_program_two_pass_execution ... ok
[INFO] [stdout] test verify_effect_alias_decl_registers_alias ... ok
[INFO] [stdout] test verify_check_program_marks_public_effect ... ok
[INFO] [stdout] test verify_check_program_type_then_function ... ok
[INFO] [stdout] test verify_self_param_does_not_error_in_impl_method ... ok
[INFO] [stdout] test verify_type_registry ... ok
[INFO] [stdout] test verify_return_expr_type_checked_against_fn_return_type ... ok
[INFO] [stderr]      Running tests/typeck_effect_tests.rs (/opt/rustwide/target/release/build/abrase/572b6930c4b05a79/out/typeck_effect_tests-572b6930c4b05a79)
[INFO] [stdout] test verify_check_program_registers_type_ownership ... ok
[INFO] [stdout] test verify_check_type_decl_registers_ownership_move ... ok
[INFO] [stdout] test verify_check_type_decl_registers_record ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 48 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 122 tests
[INFO] [stdout] test verify_all_effects_declared_exact_match ... ok
[INFO] [stdout] test mut_borrow_held_across_effect_op_is_allowed ... ok
[INFO] [stdout] test borrow_held_across_effect_op_is_allowed ... ok
[INFO] [stdout] test verify_all_effects_declared_false ... ok
[INFO] [stdout] test verify_check_effect_compatibility_satisfied ... ok
[INFO] [stdout] test verify_add_required_effect ... ok
[INFO] [stdout] test verify_check_effect_compatibility_unsatisfied ... ok
[INFO] [stdout] test verify_closure_declared_pure_valid ... ok
[INFO] [stdout] test verify_closure_declared_pure_with_io_call_invalid ... ok
[INFO] [stdout] test verify_closure_no_declaration_accepts_any ... ok
[INFO] [stdout] test verify_compute_unhandled_effects_all_handled ... ok
[INFO] [stdout] test verify_compute_unhandled_effects_exn_handling ... ok
[INFO] [stdout] test verify_compute_unhandled_effects_partial_handled ... ok
[INFO] [stdout] test verify_borrow_barrier_allows_borrow_inside_arm_region ... ok
[INFO] [stdout] test verify_add_required_effect_no_duplicates ... ok
[INFO] [stdout] test verify_alloc_effect_matches_io_handler ... ok
[INFO] [stdout] test verify_all_effects_declared_true ... ok
[INFO] [stdout] test verify_closure_with_pure_effects_subsumes_with_exn ... ok
[INFO] [stdout] test verify_borrow_barrier_silent_for_pure_call ... ok
[INFO] [stdout] test verify_closure_exn_type_mismatch_in_declaration ... ok
[INFO] [stdout] test verify_closure_over_declared_single_extra_effect ... ok
[INFO] [stdout] test verify_compute_unhandled_effects_none_handled ... ok
[INFO] [stdout] test verify_clear_handle_context ... ok
[INFO] [stdout] test verify_closure_declared_effects_with_exn_type ... ok
[INFO] [stdout] test verify_closure_with_pure_declaration_io_call_error ... ok
[INFO] [stdout] test verify_const_allows_pure_function_call ... ok
[INFO] [stdout] test verify_const_allows_simple_if ... ok
[INFO] [stdout] test verify_const_complex_pure_expression ... ok
[INFO] [stdout] test verify_const_rejects_any_nonpure_in_chain ... ok
[INFO] [stdout] test verify_const_infers_expression_effects ... ok
[INFO] [stdout] test verify_const_rejects_assignment ... ok
[INFO] [stdout] test verify_const_rejects_exn_effect ... ok
[INFO] [stdout] test verify_const_rejects_io_effect ... ok
[INFO] [stdout] test verify_convert_effect_items_multiple ... ok
[INFO] [stdout] test verify_const_rejects_if_with_io ... ok
[INFO] [stdout] test verify_convert_effect_items_single ... ok
[INFO] [stdout] test verify_const_with_pure_literal ... ok
[INFO] [stdout] test verify_const_with_variable_reference ... ok
[INFO] [stdout] test verify_convert_effect_exn_no_arg ... ok
[INFO] [stdout] test verify_convert_effect_io ... ok
[INFO] [stdout] test verify_const_rejects_mutable_variable ... ok
[INFO] [stdout] test verify_const_with_pure_arithmetic ... ok
[INFO] [stdout] test verify_const_with_nested_pure_calls ... ok
[INFO] [stdout] test verify_const_rejects_impure_function ... ok
[INFO] [stdout] test verify_declared_throw_in_exn_fn_is_ok ... ok
[INFO] [stdout] test verify_effect_op_arg_type_mismatch_errors ... ok
[INFO] [stdout] test verify_effect_checked_on_const_value_assignment ... ok
[INFO] [stdout] test verify_convert_effect_nondet ... ok
[INFO] [stdout] test verify_convert_effect_unknown_returns_none ... ok
[INFO] [stdout] test verify_effect_inference_in_closure_type ... ok
[INFO] [stdout] test verify_effect_compatibility_order_independent ... ok
[INFO] [stdout] test verify_effect_compatibility_exn_type_mismatch ... ok
[INFO] [stdout] test verify_effect_compatibility_with_multiple_effects ... ok
[INFO] [stdout] test verify_effect_compatibility_with_exn ... ok
[INFO] [stdout] test verify_convert_effect_exn_with_arg ... ok
[INFO] [stdout] test verify_effect_op_call_requires_user_effect ... ok
[INFO] [stdout] test verify_effect_op_wrong_arg_count_errors ... ok
[INFO] [stdout] test verify_effect_op_call_declared_no_leak ... ok
[INFO] [stdout] test verify_effect_propagation_accumulates_in_required ... ok
[INFO] [stdout] test verify_effect_registration ... ok
[INFO] [stdout] test verify_effect_alias_registration ... ok
[INFO] [stdout] test verify_effects_compatible_missing_effect ... ok
[INFO] [stdout] test verify_effect_subsumption_different_exception_types ... ok
[INFO] [stdout] test verify_effects_compatible_subset ... ok
[INFO] [stdout] test verify_effects_equal_alloc ... ok
[INFO] [stdout] test verify_convert_effect_alloc ... ok
[INFO] [stdout] test verify_effect_total ... ok
[INFO] [stdout] test verify_effects_equal_nondet ... ok
[INFO] [stdout] test verify_effect_subsumption_function_produces_more ... ok
[INFO] [stdout] test verify_effects_equal_exn_different_type ... ok
[INFO] [stdout] test verify_effects_subsume_empty_required ... ok
[INFO] [stdout] test verify_effects_subsume_missing ... ok
[INFO] [stdout] test verify_effects_equal_total ... ok
[INFO] [stdout] test verify_effects_subsume_all_provided ... ok
[INFO] [stdout] test verify_effect_subsumption_pure_for_pure_exn ... ok
[INFO] [stdout] test verify_effect_subsumption_with_nondet ... ok
[INFO] [stdout] test verify_const_rejects_mixed_effects ... ok
[INFO] [stdout] test verify_effect_subsumption_order_independent ... ok
[INFO] [stdout] test verify_convert_effect_items_empty ... ok
[INFO] [stdout] test verify_empty_declared_empty_inferred ... ok
[INFO] [stdout] test verify_effect_subsumption_nondet_subsumed ... ok
[INFO] [stdout] test verify_effects_compatible_empty ... ok
[INFO] [stdout] test verify_fn_declared_effects_cleared_after_closure ... ok
[INFO] [stdout] test verify_function_type_subsumption_incompatible_return ... ok
[INFO] [stdout] test verify_handle_arm_type_mismatch_errors ... ok
[INFO] [stdout] test verify_effects_compatible_single_effect ... ok
[INFO] [stdout] test verify_handle_expression_type_check ... ok
[INFO] [stdout] test verify_function_type_multiple_effects ... ok
[INFO] [stdout] test verify_handle_consumes_user_effect ... ok
[INFO] [stdout] test verify_infer_closure_effects_without_declared ... ok
[INFO] [stdout] test verify_infer_closure_effects_with_declared ... ok
[INFO] [stdout] test verify_mark_effect_handled ... ok
[INFO] [stdout] test verify_mark_effect_handled_no_duplicates ... ok
[INFO] [stdout] test verify_effect_subsumption_exact_match ... ok
[INFO] [stdout] test verify_resume_in_exn_arm_is_ok ... ok
[INFO] [stdout] test verify_effect_subsumption_empty_to_any ... ok
[INFO] [stdout] test verify_handle_arm_types_unify_never_with_int ... ok
[INFO] [stdout] test verify_inferred_effects_subset_of_declared ... ok
[INFO] [stdout] test verify_set_fn_declared_effects ... ok
[INFO] [stdout] test verify_inferred_effects_exceed_declared_single ... ok
[INFO] [stdout] test verify_throw_adds_exn_to_required_effects ... ok
[INFO] [stdout] test verify_effects_equal_exn_same_type ... ok
[INFO] [stdout] test verify_unhandled_effect_op_in_handler_body_propagates ... ok
[INFO] [stdout] test verify_undeclared_throw_in_pure_fn_errors ... ok
[INFO] [stdout] test verify_unhandled_effects_with_multiple_arms ... ok
[INFO] [stdout] test verify_unify_effects_empty_left ... ok
[INFO] [stdout] test verify_unify_effects_empty_right ... ok
[INFO] [stdout] test verify_function_type_with_effects ... ok
[INFO] [stdout] test verify_handle_consumes_exn_effect ... ok
[INFO] [stdout] test verify_validate_scope_with_context_valid ... ok
[INFO] [stdout] test verify_resume_outside_handler_arm_errors ... ok
[INFO] [stdout] test verify_nested_handle_inner_consumes_outer_propagates ... ok
[INFO] [stdout] test verify_push_and_pop_effect ... ok
[INFO] [stdout] test verify_required_effects_accumulate ... ok
[INFO] [stdout] test verify_unify_effects_no_duplicates ... ok
[INFO] [stdout] test verify_validate_parameterized_exn_handler_no_pattern ... ok
[INFO] [stdout] test verify_validate_scope_with_context_unknown ... ok
[INFO] [stdout] test verify_required_effects_do_not_leak_across_fn_checks ... ok
[INFO] [stdout] test verify_validate_parameterized_exn_handler_with_bind ... ok
[INFO] [stdout] test verify_validate_parameterized_exn_handler_with_unknown ... ok
[INFO] [stdout] test verify_resume_can_be_called_twice_in_same_arm ... ok
[INFO] [stdout] test verify_resume_in_return_arm_errors ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 122 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/typeck_expr_tests.rs (/opt/rustwide/target/release/build/abrase/e837d0bf8e48350f/out/typeck_expr_tests-e837d0bf8e48350f)
[INFO] [stdout] 
[INFO] [stdout] running 131 tests
[INFO] [stdout] test verify_borrow_checking_move_semantics ... ok
[INFO] [stdout] test verify_block_expression ... ok
[INFO] [stdout] test closure_capturing_immutable_let_is_valid ... ok
[INFO] [stdout] test verify_break_value_type_mismatch_errors ... ok
[INFO] [stdout] test verify_break_outside_loop_error ... ok
[INFO] [stdout] test verify_block_with_statements ... ok
[INFO] [stdout] test verify_break_inside_loop_valid ... ok
[INFO] [stdout] test verify_array_expression_type_mismatch ... ok
[INFO] [stdout] test verify_binary_type_mismatch_error ... ok
[INFO] [stdout] test verify_array_repeat_non_int_count ... ok
[INFO] [stdout] test closure_cannot_capture_mutable_binding ... ok
[INFO] [stdout] test verify_borrow_checking_copy_semantics ... ok
[INFO] [stdout] test verify_break_type_is_never ... ok
[INFO] [stdout] test move_closure_can_capture_mutable_binding ... ok
[INFO] [stdout] test verify_array_repeat_expression ... ok
[INFO] [stdout] test verify_check_interpolation_paths_undefined ... ok
[INFO] [stdout] test verify_check_record_initialization_wrong_type ... ok
[INFO] [stdout] test verify_closure_expression_type ... ok
[INFO] [stdout] test verify_check_interpolation_paths_with_fields ... ok
[INFO] [stdout] test verify_check_variant_construction_wrong_count ... ok
[INFO] [stdout] test verify_check_variant_construction_wrong_type ... ok
[INFO] [stdout] test verify_closure_return_type_mismatch ... ok
[INFO] [stdout] test verify_error_context_stack ... ok
[INFO] [stdout] test verify_complex_interpolation_string ... ok
[INFO] [stdout] test verify_for_loop_binding ... ok
[INFO] [stdout] test verify_continue_outside_loop_error ... ok
[INFO] [stdout] test verify_custom_type_with_show ... ok
[INFO] [stdout] test verify_deeply_nested_scope_lookup ... ok
[INFO] [stdout] test verify_complex_type_hierarchy ... ok
[INFO] [stdout] test verify_field_type_mismatch_no_show ... ok
[INFO] [stdout] test verify_function_call_argument_count_mismatch ... ok
[INFO] [stdout] test verify_dereference_non_reference_error ... ok
[INFO] [stdout] test verify_for_loop_break_with_value ... ok
[INFO] [stdout] test verify_custom_type_without_show ... ok
[INFO] [stdout] test verify_for_loop_non_iterable_rejected ... ok
[INFO] [stdout] test verify_empty_tuple_expression ... ok
[INFO] [stdout] test verify_function_call_argument_type_mismatch ... ok
[INFO] [stdout] test verify_generic_function_instantiation_with_int ... ok
[INFO] [stdout] test verify_function_call_type_checking ... ok
[INFO] [stdout] test verify_dereference_operation ... ok
[INFO] [stdout] test verify_field_type_from_record_body ... ok
[INFO] [stdout] test verify_field_not_found_in_record ... ok
[INFO] [stdout] test verify_get_record_field_types_found ... ok
[INFO] [stdout] test verify_get_record_field_types_not_found ... ok
[INFO] [stdout] test verify_get_variant_arg_types_not_found ... ok
[INFO] [stdout] test verify_get_variant_arg_types_tuple ... ok
[INFO] [stdout] test verify_handle_without_arms ... ok
[INFO] [stdout] test verify_generic_with_show_bound ... ok
[INFO] [stdout] test verify_if_condition_must_be_bool ... ok
[INFO] [stdout] test verify_generic_without_show_bound ... ok
[INFO] [stdout] test verify_extract_interpolation_identifiers_with_fields ... ok
[INFO] [stdout] test verify_field_access ... ok
[INFO] [stdout] test verify_get_variant_arg_types_unit ... ok
[INFO] [stdout] test verify_check_record_initialization_missing_field ... ok
[INFO] [stdout] test verify_interpolation_deeply_nested_path ... ok
[INFO] [stdout] test verify_infer_expr_accepts_string_interp_with_in_scope_var ... ok
[INFO] [stdout] test verify_infer_expr_validates_string_interp_root ... ok
[INFO] [stdout] test verify_interpolation_field_access_path ... ok
[INFO] [stdout] test verify_interpolation_field_access ... ok
[INFO] [stdout] test verify_interpolation_identifier_in_scope ... ok
[INFO] [stdout] test verify_handle_return_arm ... ok
[INFO] [stdout] test verify_handle_arm_type_mismatch ... ok
[INFO] [stdout] test verify_handle_custom_effect ... ok
[INFO] [stdout] test verify_generic_function_with_list_return ... ok
[INFO] [stdout] test verify_handle_exception_arm ... ok
[INFO] [stdout] test verify_let_statement_type_mismatch_error ... ok
[INFO] [stdout] test verify_generic_function_with_multiple_params ... ok
[INFO] [stdout] test verify_generic_function_with_nested_generics ... ok
[INFO] [stdout] test verify_interpolation_undefined_field ... ok
[INFO] [stdout] test verify_interpolation_in_context ... ok
[INFO] [stdout] test verify_handle_multiple_arms_type_unification ... ok
[INFO] [stdout] test verify_loop_break_with_value_returns_that_type ... ok
[INFO] [stdout] test verify_mixed_errors_in_interpolation ... ok
[INFO] [stdout] test verify_logical_operation_type_error ... ok
[INFO] [stdout] test verify_multiple_trait_bounds ... ok
[INFO] [stdout] test verify_loop_break_no_value_returns_never ... ok
[INFO] [stdout] test verify_loop_expression ... ok
[INFO] [stdout] test verify_mutable_reference_auto_deref ... ok
[INFO] [stdout] test verify_qualified_module_path ... ok
[INFO] [stdout] test verify_qualified_name_basic ... ok
[INFO] [stdout] test verify_mutable_reference ... ok
[INFO] [stdout] test verify_nested_field_access ... ok
[INFO] [stdout] test verify_question_on_option_unwraps_inner_type ... ok
[INFO] [stdout] test verify_question_on_non_result_errors ... ok
[INFO] [stdout] test verify_question_on_result_adds_exn_effect ... ok
[INFO] [stdout] test verify_question_on_result_unwraps_ok_type ... ok
[INFO] [stdout] test verify_move_closure_is_valid ... ok
[INFO] [stdout] test verify_if_expression_branch_type_mismatch ... ok
[INFO] [stdout] test verify_if_without_else_must_have_unit_consequence ... ok
[INFO] [stdout] test verify_index_non_int_index ... ok
[INFO] [stdout] test verify_interpolated_string_validates_identifiers ... ok
[INFO] [stdout] test verify_interpolation_multiple_fields ... ok
[INFO] [stdout] test verify_record_expression ... ok
[INFO] [stdout] test verify_reference_field_access ... ok
[INFO] [stdout] test verify_range_non_int_end ... ok
[INFO] [stdout] test verify_record_field_type_mismatch ... ok
[INFO] [stdout] test verify_record_point_missing_y_field ... ok
[INFO] [stdout] test verify_reference_auto_deref ... ok
[INFO] [stdout] test verify_reference_to_type_without_show ... ok
[INFO] [stdout] test verify_loop_no_break_returns_never ... ok
[INFO] [stdout] test verify_match_arm_type_mismatch ... ok
[INFO] [stdout] test verify_match_guard_must_be_bool ... ok
[INFO] [stdout] test verify_scope_and_field_combined ... ok
[INFO] [stdout] test verify_region_effect_isolation ... ok
[INFO] [stdout] test verify_string_interpolation_one_undefined ... ok
[INFO] [stdout] test verify_throw_expression ... ok
[INFO] [stdout] test verify_index_on_tuple ... ok
[INFO] [stdout] test verify_range_non_int_start ... ok
[INFO] [stdout] test verify_interpolation_identifier_out_of_scope ... ok
[INFO] [stdout] test verify_string_interp_undefined_var_reports_once ... ok
[INFO] [stdout] test verify_string_interpolation_undefined_variable ... ok
[INFO] [stdout] test verify_reference_to_temporary_error ... ok
[INFO] [stdout] test verify_type_does_not_implement_show ... ok
[INFO] [stdout] test verify_region_expression ... ok
[INFO] [stdout] test verify_validate_interpolation_types_never ... ok
[INFO] [stdout] test verify_reference_operation ... ok
[INFO] [stdout] test verify_type_implements_show ... ok
[INFO] [stdout] test verify_variable_shadowing_in_scope ... ok
[INFO] [stdout] test verify_variant_argument_types_mismatch ... ok
[INFO] [stdout] test verify_variant_expression ... ok
[INFO] [stdout] test verify_validate_string_literal_undefined_in_interpolation ... ok
[INFO] [stdout] test verify_while_break_with_value_returns_that_type ... ok
[INFO] [stdout] test verify_while_loop_condition_must_be_bool ... ok
[INFO] [stdout] test verify_unary_negation_type_error ... ok
[INFO] [stdout] test verify_unary_not_type_error ... ok
[INFO] [stdout] test verify_undefined_variable_error ... ok
[INFO] [stdout] test verify_variant_arguments_wrong_count ... ok
[INFO] [stdout] test verify_record_all_fields_required ... ok
[INFO] [stdout] test verify_record_exhaustiveness_extra_field ... ok
[INFO] [stdout] test verify_record_exhaustiveness_missing_field ... ok
[INFO] [stdout] test verify_return_expression ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 131 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/typeck_handler_resume_tests.rs (/opt/rustwide/target/release/build/abrase/3129aed518477707/out/typeck_handler_resume_tests-3129aed518477707)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test arm_if_only_one_branch_resumes_rejected ... ok
[INFO] [stdout] test arm_if_without_else_rejected ... ok
[INFO] [stdout] test arm_match_all_branches_resume_accepted ... ok
[INFO] [stdout] test arm_with_no_resume_rejected ... ok
[INFO] [stdout] test arm_block_with_tail_resume_accepted ... ok
[INFO] [stdout] test arm_with_throw_accepted ... ok
[INFO] [stdout] test arm_with_resume_in_binary_operand_accepted ... ok
[INFO] [stdout] test arm_block_with_no_resume_anywhere_rejected ... ok
[INFO] [stdout] test arm_with_tail_resume_accepted ... ok
[INFO] [stdout] test arm_if_both_branches_resume_accepted ... ok
[INFO] [stdout] test exn_arm_without_resume_accepted ... ok
[INFO] [stdout] test return_arm_without_resume_accepted ... ok
[INFO] [stdout] test arm_with_return_accepted ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/typeck_import_tests.rs (/opt/rustwide/target/release/build/abrase/714e87bbae9d8e6d/out/typeck_import_tests-714e87bbae9d8e6d)
[INFO] [stdout] 
[INFO] [stdout] running 55 tests
[INFO] [stdout] test verify_complex_path_resolution_scenario ... ok
[INFO] [stdout] test verify_import_collision_with_existing_var_reports_error ... ok
[INFO] [stdout] test verify_import_from_nested_module ... ok
[INFO] [stdout] test verify_deeply_nested_mixed_visibility ... ok
[INFO] [stdout] test verify_import_collision_resolved_with_alias ... ok
[INFO] [stdout] test verify_complex_import_scenario ... ok
[INFO] [stdout] test verify_import_collision_between_two_imports_reports_error ... ok
[INFO] [stdout] test verify_import_collision_with_existing_var ... ok
[INFO] [stdout] test verify_import_deeply_nested_with_alias ... ok
[INFO] [stdout] test verify_clear_name_resolution ... ok
[INFO] [stdout] test verify_import_collision_with_local_var ... ok
[INFO] [stdout] test verify_import_constant_with_alias ... ok
[INFO] [stdout] test verify_import_multiple_items ... ok
[INFO] [stdout] test verify_import_resolves_in_variable_lookup ... ok
[INFO] [stdout] test verify_import_privacy_respected ... ok
[INFO] [stdout] test verify_import_star_all_public_items ... ok
[INFO] [stdout] test verify_import_single_item ... ok
[INFO] [stdout] test verify_four_level_path_resolution ... ok
[INFO] [stdout] test verify_import_collision_from_different_module ... ok
[INFO] [stdout] test verify_import_no_collision_with_different_name ... ok
[INFO] [stdout] test verify_is_name_resolvable ... ok
[INFO] [stdout] test verify_is_name_resolvable_false ... ok
[INFO] [stdout] test verify_later_import_can_override ... ok
[INFO] [stdout] test verify_import_with_alias ... ok
[INFO] [stdout] test verify_multiple_import_collisions_tracked ... ok
[INFO] [stdout] test verify_multiple_qualified_names_same_module ... ok
[INFO] [stdout] test verify_no_collision_same_module_reimport ... ok
[INFO] [stdout] test verify_no_import_collision_with_unique_name ... ok
[INFO] [stdout] test verify_nonexistent_final_item ... ok
[INFO] [stdout] test verify_path_case_sensitive ... ok
[INFO] [stdout] test verify_nonexistent_intermediate_module ... ok
[INFO] [stdout] test verify_multiple_imports_different_modules ... ok
[INFO] [stdout] test verify_import_type_accessible ... ok
[INFO] [stdout] test verify_resolve_qualified_name_fully_qualified ... ok
[INFO] [stdout] test verify_qualified_name_hierarchy_traversal ... ok
[INFO] [stdout] test verify_resolve_name_simple ... ok
[INFO] [stdout] test verify_resolve_qualified_name_from_different_module ... ok
[INFO] [stdout] test verify_qualified_name_resolution_multiple_paths ... ok
[INFO] [stdout] test verify_partial_public_path ... ok
[INFO] [stdout] test verify_three_level_path_middle_private_blocked ... ok
[INFO] [stdout] test verify_qualified_name_with_module_context ... ok
[INFO] [stdout] test verify_resolve_qualified_name_from_submodule ... ok
[INFO] [stdout] test verify_two_level_path_private_blocked ... ok
[INFO] [stdout] test verify_resolve_name_not_found ... ok
[INFO] [stdout] test verify_resolve_qualified_name_nested_path ... ok
[INFO] [stdout] test verify_resolve_full_path_from_different_module ... ok
[INFO] [stdout] test verify_two_level_path_resolution ... ok
[INFO] [stdout] test verify_qualified_name_resolution_order ... ok
[INFO] [stdout] test verify_same_module_path_access ... ok
[INFO] [stdout] test verify_register_qualified_name ... ok
[INFO] [stdout] test verify_resolve_qualified_name_relative ... ok
[INFO] [stdout] test verify_resolve_with_deeply_nested_module ... ok
[INFO] [stdout] test verify_type_resolution_through_path ... ok
[INFO] [stdout] test verify_import_same_name_different_modules_via_alias ... ok
[INFO] [stdout] test verify_three_level_path_resolution ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running tests/typeck_lint_tests.rs (/opt/rustwide/target/release/build/abrase/cf5006e1db583d4b/out/typeck_lint_tests-cf5006e1db583d4b)
[INFO] [stdout] test result: ok. 55 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 41 tests
[INFO] [stdout] test dead_type_warns ... ok
[INFO] [stdout] test loop_with_break_no_warn ... ok
[INFO] [stdout] test guarded_wildcard_no_warn ... ok
[INFO] [stdout] test dead_function_warns ... ok
[INFO] [stdout] test called_function_no_dead_warn ... ok
[INFO] [stdout] test function_used_in_static_initializer_no_dead_warn ... ok
[INFO] [stdout] test constructor_after_unit_variant_no_warn ... ok
[INFO] [stdout] test underscore_mut_no_warn ... ok
[INFO] [stdout] test loop_with_return_no_warn ... ok
[INFO] [stdout] test assigned_mut_no_warn ... ok
[INFO] [stdout] test last_wildcard_no_warn ... ok
[INFO] [stdout] test multiple_unused_all_reported ... ok
[INFO] [stdout] test infinite_loop_no_break_warns ... ok
[INFO] [stdout] test nested_break_belongs_to_inner ... ok
[INFO] [stdout] test pub_function_no_dead_warn ... ok
[INFO] [stdout] test main_no_dead_warn ... ok
[INFO] [stdout] test pub_effect_no_warn ... ok
[INFO] [stdout] test loop_with_break_inside_handle_no_warn ... ok
[INFO] [stdout] test transitively_reachable_no_dead_warn ... ok
[INFO] [stdout] test handled_effect_no_warn ... ok
[INFO] [stdout] test unused_param_warns ... ok
[INFO] [stdout] test underscore_param_suppresses_warn ... ok
[INFO] [stdout] test used_import_no_warn ... ok
[INFO] [stdout] test pub_type_no_dead_warn ... ok
[INFO] [stdout] test unused_mut_warns ... ok
[INFO] [stdout] test loop_with_conditional_return_no_warn ... ok
[INFO] [stdout] test unused_import_alias_warns ... ok
[INFO] [stdout] test unreachable_pattern_after_wildcard_warns ... ok
[INFO] [stdout] test unused_import_warns ... ok
[INFO] [stdout] test unhandled_effect_warns ... ok
[INFO] [stdout] test unused_let_binding_warns ... ok
[INFO] [stdout] test used_import_alias_no_warn ... ok
[INFO] [stdout] test unit_variant_not_treated_as_catch_all ... ok
[INFO] [stdout] test unreachable_pattern_after_bind_warns ... ok
[INFO] [stdout] test underscore_prefix_suppresses_warn ... ok
[INFO] [stdout] test unused_warning_message_contains_name ... ok
[INFO] [stdout] test used_in_nested_block_no_warn ... ok
[INFO] [stdout] test used_let_binding_no_warn ... ok
[INFO] [stdout] test wildcard_pattern_no_warn ... ok
[INFO] [stdout] test used_type_no_dead_warn ... ok
[INFO] [stdout] test while_loop_no_infinite_warn ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 41 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/typeck_loader_tests.rs (/opt/rustwide/target/release/build/abrase/f860fb73bbb2f65f/out/typeck_loader_tests-f860fb73bbb2f65f)
[INFO] [stdout] 
[INFO] [stdout] running 18 tests
[INFO] [stdout] test concatenates_imported_module_decls ... ok
[INFO] [stdout] test missing_import_target_is_reported ... ok
[INFO] [stdout] test loads_entry_only_when_no_imports ... ok
[INFO] [stdout] test private_fn_cannot_be_imported_explicitly ... ok
[INFO] [stdout] test entry_pub_fn_exports_but_imported_pub_fn_does_not ... ok
[INFO] [stdout] test dotted_import_resolves_under_subdir ... ok
[INFO] [stdout] test pub_fn_in_imported_module_is_callable ... ok
[INFO] [stdout] test private_fn_cannot_be_called_without_import ... ok
[INFO] [stdout] test cycle_is_reported_as_error ... ok
[INFO] [stdout] test entry_source_is_only_the_entry_file ... ok
[INFO] [stdout] test private_static_cannot_be_imported ... ok
[INFO] [stdout] test same_name_private_static_in_two_modules_compiles ... ok
[INFO] [stdout] test imported_module_fn_does_not_leak_into_root_scope ... ok
[INFO] [stdout] test diamond_dependency_loads_leaf_once ... ok
[INFO] [stdout] test cross_file_same_fn_name_compiles ... ok
[INFO] [stdout] test pub_static_is_readable_across_modules ... ok
[INFO] [stdout] test both_helper_fns_register_under_distinct_keys ... ok
[INFO] [stdout] test imported_module_self_recursion_resolves_to_its_own_mangled_name ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running tests/typeck_loop_escape_tests.rs (/opt/rustwide/target/release/build/abrase/dd889f0407189824/out/typeck_loop_escape_tests-dd889f0407189824)
[INFO] [stdout] test result: ok. 18 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test for_break_with_inner_int_ref_permitted ... ok
[INFO] [stdout] test loop_break_with_field_root_inside_rejected ... ok
[INFO] [stdout] test loop_break_with_inner_int_ref_permitted ... ok
[INFO] [stdout] test loop_break_with_inner_ref_binding_rejected ... ok
[INFO] [stdout] test for_return_with_inner_int_ref_permitted ... ok
[INFO] [stdout] test nested_loop_inner_break_with_outer_body_local_accepted ... ok
[INFO] [stdout] test while_break_with_inner_int_ref_permitted ... ok
[INFO] [stdout] test loop_break_with_outer_ref_accepted ... ok
[INFO] [stdout] test while_return_with_inner_int_ref_permitted ... ok
[INFO] [stdout] test loop_return_with_inner_int_ref_permitted ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/typeck_mixed_effect_handle_tests.rs (/opt/rustwide/target/release/build/abrase/6facc4c2b2be82c6/out/typeck_mixed_effect_handle_tests-6facc4c2b2be82c6)
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test mixed_effects_rejected ... ok
[INFO] [stdout] test different_nested_effects_rejected ... ok
[INFO] [stdout] test multiple_arms_same_effect_accepted ... ok
[INFO] [stdout] test single_component_effect_ignored ... ok
[INFO] [stdout] test single_effect_arm_accepted ... ok
[INFO] [stdout] test three_effects_first_two_same_still_rejected ... ok
[INFO] [stdout] test return_and_effect_arms_allowed ... ok
[INFO] [stdout] test nested_effect_paths_checked ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/typeck_module_registry_tests.rs (/opt/rustwide/target/release/build/abrase/348addd9e6c5c069/out/typeck_module_registry_tests-348addd9e6c5c069)
[INFO] [stdout] 
[INFO] [stdout] running 28 tests
[INFO] [stdout] test verify_multiple_items_in_same_module ... ok
[INFO] [stdout] test verify_check_program_registers_fn_in_module_registry ... ok
[INFO] [stdout] test verify_public_item_in_public_module_accessible ... ok
[INFO] [stdout] test verify_private_item_blocks_traversal ... ok
[INFO] [stdout] test verify_lookup_wrong_module_returns_none ... ok
[INFO] [stdout] test verify_modenter_registers_subsequent_decls_under_imported_module ... ok
[INFO] [stdout] test verify_private_deep_item_blocks_traversal ... ok
[INFO] [stdout] test verify_item_in_same_module_always_accessible ... ok
[INFO] [stdout] test verify_items_in_different_modules_independent ... ok
[INFO] [stdout] test verify_public_item_accessible_via_traversal ... ok
[INFO] [stdout] test verify_check_program_registers_type_in_module_registry ... ok
[INFO] [stdout] test verify_intermediate_private_module_blocks_access ... ok
[INFO] [stdout] test verify_resolve_relative_from_submodule ... ok
[INFO] [stdout] test verify_resolve_prefers_module_registry_over_qualified_names ... ok
[INFO] [stdout] test verify_register_and_lookup_module_item ... ok
[INFO] [stdout] test verify_resolve_two_segment_path ... ok
[INFO] [stdout] test verify_same_module_private_item_accessible ... ok
[INFO] [stdout] test verify_resolve_three_segment_path_from_root ... ok
[INFO] [stdout] test verify_resolve_single_segment_from_current_module ... ok
[INFO] [stdout] test verify_resolve_unknown_final_segment_returns_none ... ok
[INFO] [stdout] test verify_get_module_items_for_unregistered_module_is_none ... ok
[INFO] [stdout] test verify_lookup_missing_item_returns_none ... ok
[INFO] [stdout] test verify_resolve_empty_path_returns_none ... ok
[INFO] [stderr]      Running tests/typeck_multi_module_import_tests.rs (/opt/rustwide/target/release/build/abrase/4e273a429d5030a0/out/typeck_multi_module_import_tests-4e273a429d5030a0)
[INFO] [stdout] test verify_resolve_unknown_first_segment_returns_none ... ok
[INFO] [stdout] test verify_resolve_unknown_middle_segment_returns_none ... ok
[INFO] [stdout] test verify_is_qualified_accessible_full_path ... ok
[INFO] [stdout] test verify_is_qualified_accessible_private_item_blocked ... ok
[INFO] [stdout] test verify_get_module_items_returns_map ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 28 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test two_import_statements_parse ... ok
[INFO] [stdout] test aliased_import_from_second_module_is_accessible ... ok
[INFO] [stdout] test same_name_from_two_modules_collides ... ok
[INFO] [stderr]      Running tests/typeck_ownership_tests.rs (/opt/rustwide/target/release/build/abrase/d1e7f71889194d31/out/typeck_ownership_tests-d1e7f71889194d31)
[INFO] [stdout] test imports_from_two_modules_coexist ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test verify_ownership_derivation ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/typeck_pattern_tests.rs (/opt/rustwide/target/release/build/abrase/938b99cd72d64d69/out/typeck_pattern_tests-938b99cd72d64d69)
[INFO] [stdout] 
[INFO] [stdout] running 46 tests
[INFO] [stdout] test verify_detect_unreachable_patterns_no_unreachable ... ok
[INFO] [stdout] test verify_detect_unreachable_patterns_subsumed_by_wildcard ... ok
[INFO] [stdout] test verify_detect_unreachable_patterns_subsumed_by_earlier_exact ... ok
[INFO] [stdout] test verify_clear_pattern_analysis ... ok
[INFO] [stdout] test verify_check_pattern_subsumption_no_match ... ok
[INFO] [stdout] test verify_add_covered_pattern_multiple ... ok
[INFO] [stdout] test verify_is_pattern_exhaustive_with_wildcard ... ok
[INFO] [stdout] test verify_check_pattern_subsumption_exact_match ... ok
[INFO] [stdout] test verify_pattern_analysis_complete_workflow ... ok
[INFO] [stdout] test verify_pattern_analysis_empty_patterns ... ok
[INFO] [stdout] test verify_pattern_array_wrong_type ... ok
[INFO] [stdout] test verify_mark_unreachable_pattern_no_duplicates ... ok
[INFO] [stdout] test verify_mark_unreachable_pattern_single ... ok
[INFO] [stdout] test verify_pattern_analysis_tracking_coverage ... ok
[INFO] [stdout] test verify_pattern_array ... ok
[INFO] [stdout] test verify_pattern_analysis_with_wildcard_coverage ... ok
[INFO] [stdout] test verify_add_covered_pattern_single ... ok
[INFO] [stdout] test verify_check_pattern_subsumption_wildcard ... ok
[INFO] [stdout] test verify_is_pattern_exhaustive_without_wildcard ... ok
[INFO] [stdout] test verify_let_with_tuple_pattern ... ok
[INFO] [stdout] test verify_is_pattern_exhaustive_wildcard_only ... ok
[INFO] [stdout] test verify_detect_unreachable_patterns_multiple_subsumptions ... ok
[INFO] [stdout] test verify_mark_unreachable_pattern_multiple ... ok
[INFO] [stdout] test verify_check_pattern_subsumption_multiple ... ok
[INFO] [stdout] test verify_nested_pattern_tuple_and_bind ... ok
[INFO] [stdout] test verify_pattern_bind ... ok
[INFO] [stdout] test verify_pattern_ref ... ok
[INFO] [stdout] test verify_pattern_record ... ok
[INFO] [stdout] test verify_pattern_ref_non_reference ... ok
[INFO] [stdout] test verify_pattern_wildcard ... ok
[INFO] [stdout] test verify_pattern_literal_mismatch ... ok
[INFO] [stdout] test verify_pattern_range_non_int ... ok
[INFO] [stdout] test verify_validate_match_exhaustiveness_bool_wildcard ... ok
[INFO] [stdout] test verify_pattern_variant ... ok
[INFO] [stdout] test verify_record_pattern_with_rest_is_valid ... ok
[INFO] [stdout] test verify_pattern_or ... ok
[INFO] [stdout] test verify_validate_match_exhaustiveness_bool_incomplete ... ok
[INFO] [stdout] test verify_pattern_range_int ... ok
[INFO] [stdout] test verify_pattern_subsumption_after_wildcard ... ok
[INFO] [stdout] test verify_pattern_tuple_length_mismatch ... ok
[INFO] [stdout] test verify_pattern_tuple_match ... ok
[INFO] [stdout] test verify_range_pattern_inclusive_vs_exclusive ... ok
[INFO] [stdout] test verify_pattern_literal_match ... ok
[INFO] [stdout] test verify_validate_match_exhaustiveness_bool_true_false ... ok
[INFO] [stderr]      Running tests/typeck_privacy_tests.rs (/opt/rustwide/target/release/build/abrase/11a4e57c805259d5/out/typeck_privacy_tests-11a4e57c805259d5)
[INFO] [stdout] test verify_validate_match_exhaustiveness_unit ... ok
[INFO] [stdout] test verify_validate_match_exhaustiveness_unknown ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 46 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 40 tests
[INFO] [stdout] test verify_deeply_nested_public_access ... ok
[INFO] [stdout] test verify_builtin_types_always_public ... ok
[INFO] [stdout] test verify_accessibility_within_module_hierarchy ... ok
[INFO] [stdout] test verify_mark_public ... ok
[INFO] [stdout] test verify_is_public_from_root ... ok
[INFO] [stdout] test verify_pop_module_does_not_pop_root ... ok
[INFO] [stdout] test verify_mixed_public_private_items ... ok
[INFO] [stdout] test verify_is_accessible_same_module ... ok
[INFO] [stdout] test verify_is_private_item ... ok
[INFO] [stdout] test verify_module_hierarchy ... ok
[INFO] [stdout] test verify_override_private_to_public ... ok
[INFO] [stdout] test verify_clear_visibility_context ... ok
[INFO] [stdout] test verify_deeply_nested_private_blocked ... ok
[INFO] [stdout] test verify_is_accessible_private_item_different_module ... ok
[INFO] [stdout] test verify_multiple_modules_visibility ... ok
[INFO] [stdout] test verify_get_public_items ... ok
[INFO] [stdout] test verify_is_accessible_public_item ... ok
[INFO] [stdout] test verify_public_variable_can_be_used_across_modules ... ok
[INFO] [stdout] test verify_push_pop_module ... ok
[INFO] [stdout] test verify_private_function_not_accessible_from_different_module ... ok
[INFO] [stdout] test verify_qualified_name_private_access ... ok
[INFO] [stdout] test verify_public_re_export_accessible ... ok
[INFO] [stdout] test verify_public_type_accessible ... ok
[INFO] [stdout] test verify_is_public_in_same_module ... ok
[INFO] [stdout] test verify_get_private_items ... ok
[INFO] [stdout] test verify_qualified_name_public_access ... ok
[INFO] [stdout] test verify_private_type_not_accessible ... ok
[INFO] [stdout] test verify_validate_visibility_public ... ok
[INFO] [stdout] test verify_public_function_accessible_from_different_module ... ok
[INFO] [stdout] test verify_validate_visibility_private_from_different_module ... ok
[INFO] [stdout] test verify_set_current_module ... ok
[INFO] [stdout] test verify_private_variable_cannot_be_used_across_modules ... ok
[INFO] [stdout] test verify_visibility_with_qualified_names ... ok
[INFO] [stdout] test verify_public_const_accessible ... ok
[INFO] [stdout] test verify_private_const_not_accessible ... ok
[INFO] [stdout] test verify_private_item_accessible_in_same_module ... ok
[INFO] [stdout] test verify_privacy_enforcement_on_qualified_path ... ok
[INFO] [stdout] test verify_privacy_respects_module_hierarchy ... ok
[INFO] [stdout] test verify_public_item_accessible_in_same_module ... ok
[INFO] [stdout] test verify_mark_private ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 40 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/typeck_records_tests.rs (/opt/rustwide/target/release/build/abrase/606b066c516680aa/out/typeck_records_tests-606b066c516680aa)
[INFO] [stdout] 
[INFO] [stdout] running 32 tests
[INFO] [stdout] test verify_field_access_on_unknown_type ... ok
[INFO] [stdout] test verify_field_access_generic_record ... ok
[INFO] [stdout] test verify_field_access_on_generic_pair_returns_substituted_type ... ok
[INFO] [stdout] test verify_field_access_with_tuple_type_fails ... ok
[INFO] [stdout] test verify_field_access_simple_record ... ok
[INFO] [stdout] test verify_field_access_with_reference_type ... ok
[INFO] [stdout] test verify_generic_field_type_no_substitution_for_non_t ... ok
[INFO] [stdout] test verify_large_record_missing_one_field ... ok
[INFO] [stdout] test verify_record_all_fields_present ... ok
[INFO] [stdout] test verify_record_missing_field_and_type_error ... ok
[INFO] [stdout] test verify_generic_field_type_substitution_with_int ... ok
[INFO] [stdout] test verify_field_access_unregistered_type_reports_error ... ok
[INFO] [stdout] test verify_nested_field_access ... ok
[INFO] [stdout] test verify_field_access_unknown_field_reports_error ... ok
[INFO] [stdout] test verify_multiple_field_accesses_same_object ... ok
[INFO] [stdout] test verify_record_with_named_type_fields ... ok
[INFO] [stdout] test verify_record_with_reference_fields ... ok
[INFO] [stdout] test verify_record_tuple_field_mismatch ... ok
[INFO] [stdout] test verify_record_missing_multiple_fields ... ok
[INFO] [stderr]      Running tests/typeck_static_tests.rs (/opt/rustwide/target/release/build/abrase/8b3336b4529d649c/out/typeck_static_tests-8b3336b4529d649c)
[INFO] [stdout] test verify_generic_field_type_no_substitution_for_named_type ... ok
[INFO] [stdout] test verify_record_missing_required_field ... ok
[INFO] [stdout] test verify_record_multiple_type_mismatches ... ok
[INFO] [stdout] test verify_generic_field_type_substitution_with_string ... ok
[INFO] [stdout] test verify_large_record_all_fields_present ... ok
[INFO] [stdout] test verify_field_access_returns_correct_type ... ok
[INFO] [stdout] test verify_empty_record_definition ... ok
[INFO] [stdout] test verify_record_all_fields_required ... ok
[INFO] [stdout] test verify_field_access_on_variant_reports_error ... ok
[INFO] [stdout] test verify_record_with_tuple_fields ... ok
[INFO] [stdout] test verify_record_field_type_mismatch ... ok
[INFO] [stdout] test verify_record_named_type_field_missing ... ok
[INFO] [stdout] test verify_record_reference_type_mismatch ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 32 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test static_and_const_declarations_type_check ... ok
[INFO] [stderr]      Running tests/typeck_trait_tests.rs (/opt/rustwide/target/release/build/abrase/048d59a1954d0d7b/out/typeck_trait_tests-048d59a1954d0d7b)
[INFO] [stdout] test non_cart_main_rejects_frame_effect ... ok
[INFO] [stdout] test cart_main_compiles_with_frame_loop ... ok
[INFO] [stdout] test const_initialized_by_fn_call_is_rejected ... ok
[INFO] [stdout] test cart_main_persistent_state_compiles ... ok
[INFO] [stdout] test cart_main_rejects_non_frame_effect ... ok
[INFO] [stdout] test static_initialized_by_fn_call_is_accepted ... ok
[INFO] [stdout] test redeclaring_same_static_name_errors ... ok
[INFO] [stdout] test static_initializer_type_mismatch_errors ... ok
[INFO] [stdout] test immutable_static_rejects_assignment ... ok
[INFO] [stdout] test cart_main_allows_frame_effect ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 46 tests
[INFO] [stdout] test verify_check_all_bounds_named_type_uses_name ... ok
[INFO] [stdout] test verify_check_all_bounds_uses_correct_type_name ... ok
[INFO] [stdout] test verify_check_all_trait_bounds_unsatisfied ... ok
[INFO] [stdout] test verify_bounded_generic_calls_trait_method ... ok
[INFO] [stdout] test verify_check_fn_decl_no_where_clause_no_error ... ok
[INFO] [stdout] test verify_check_all_trait_bounds_multiple_constraints ... ok
[INFO] [stdout] test verify_check_all_trait_bounds_satisfied ... ok
[INFO] [stdout] test verify_check_program_impl_where_satisfied_no_error ... ok
[INFO] [stdout] test verify_enforce_abstract_generic_is_skipped ... ok
[INFO] [stdout] test verify_check_program_impl_where_unsatisfied_errors ... ok
[INFO] [stdout] test verify_enforce_concrete_type_missing_bound_reports_error ... ok
[INFO] [stdout] test verify_enforce_concrete_type_satisfies_bound_no_error ... ok
[INFO] [stdout] test verify_enforce_registers_generic_params ... ok
[INFO] [stdout] test verify_enforce_second_param_unsatisfied_reports_error ... ok
[INFO] [stdout] test verify_generic_params_not_registered ... ok
[INFO] [stdout] test verify_impl_abstract_generic_not_checked ... ok
[INFO] [stdout] test verify_impl_registry_multiple_impls ... ok
[INFO] [stdout] test verify_method_call_resolves_via_impl ... ok
[INFO] [stdout] test verify_impl_concrete_type_arg_satisfies_bound ... ok
[INFO] [stdout] test verify_method_call_without_impl_errors ... ok
[INFO] [stdout] test verify_multiple_generic_params ... ok
[INFO] [stdout] test verify_register_generic_params ... ok
[INFO] [stdout] test verify_impl_method_sig_mismatch_errors ... ok
[INFO] [stdout] test verify_impl_no_where_clause_no_error ... ok
[INFO] [stdout] test verify_register_trait ... ok
[INFO] [stdout] test verify_trait_bounds_multiple_traits ... ok
[INFO] [stdout] test verify_validate_generic_instance_correct_params ... ok
[INFO] [stdout] test verify_validate_where_clause_multiple_bounds_partially_satisfied ... ok
[INFO] [stdout] test verify_enforce_multiple_bounds_registered ... ok
[INFO] [stdout] test verify_validate_generic_instance_no_params ... ok
[INFO] [stdout] test verify_check_fn_decl_registers_generic_params ... ok
[INFO] [stdout] test verify_enforce_registers_bounds_from_where_clause ... ok
[INFO] [stdout] test verify_impl_concrete_type_arg_missing_bound_errors ... ok
[INFO] [stdout] test verify_check_fn_decl_registers_where_bounds ... ok
[INFO] [stdout] test verify_register_trait_bound ... ok
[INFO] [stdout] test verify_impl_not_registered ... ok
[INFO] [stdout] test verify_reserved_trait_name_rejected ... ok
[INFO] [stdout] test verify_trait_not_registered ... ok
[INFO] [stdout] test verify_validate_where_clause_satisfied ... ok
[INFO] [stdout] test verify_validate_generic_instance_wrong_param_count ... ok
[INFO] [stdout] test verify_validate_where_clause_multiple_bounds_all_satisfied ... ok
[INFO] [stdout] test verify_impl_registers_trait_association ... ok
[INFO] [stdout] test verify_validate_where_clause_no_bounds ... ok
[INFO] [stdout] test verify_register_impl ... ok
[INFO] [stdout] test verify_validate_where_clause_unsatisfied ... ok
[INFO] [stdout] test verify_enforce_multiple_params_all_satisfied ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 46 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/typeck_types_tests.rs (/opt/rustwide/target/release/build/abrase/d8c0b45b1f44af8a/out/typeck_types_tests-d8c0b45b1f44af8a)
[INFO] [stdout] 
[INFO] [stdout] running 166 tests
[INFO] [stdout] test tuple_variant_constructor_resolves_as_function ... ok
[INFO] [stdout] test recursive_variant_with_tuple_base_case_accepted ... ok
[INFO] [stdout] test variant_with_record_payload_self_reference_accepted ... ok
[INFO] [stdout] test variant_with_all_self_referencing_cases_rejected ... ok
[INFO] [stdout] test recursive_variant_with_unit_base_case_accepted ... ok
[INFO] [stdout] test variant_with_no_base_case_rejected ... ok
[INFO] [stdout] test verify_cell_exact_is_subtype_of_itself ... ok
[INFO] [stdout] test verify_cell_string_not_subtype_of_cell_any ... ok
[INFO] [stdout] test verify_array_covariant ... ok
[INFO] [stdout] test pure_record_self_reference_still_rejected ... ok
[INFO] [stdout] test nullary_variant_constructor_resolves_at_expression_position ... ok
[INFO] [stdout] test verify_array_sizes_collapse_to_same_generic ... ok
[INFO] [stdout] test verify_cell_any_not_subtype_of_cell_string ... ok
[INFO] [stdout] test verify_all_cases_covered_no_error ... ok
[INFO] [stdout] test verify_convert_array_lowers_to_generic_array ... ok
[INFO] [stdout] test verify_anything_subtype_of_unknown ... ok
[INFO] [stdout] test verify_convert_tuple_types ... ok
[INFO] [stdout] test verify_convert_mutable_reference ... ok
[INFO] [stdout] test verify_convert_simple_generic_type ... ok
[INFO] [stdout] test verify_covariant_different_inners_fail ... ok
[INFO] [stdout] test verify_convert_qualified_types ... ok
[INFO] [stdout] test verify_convert_generic_result_type ... ok
[INFO] [stdout] test verify_deeply_nested_generics ... ok
[INFO] [stdout] test verify_custom_three_case_enum_exhaustive ... ok
[INFO] [stdout] test verify_duplicate_cases_still_exhaustive ... ok
[INFO] [stdout] test verify_different_generic_args_not_compatible ... ok
[INFO] [stdout] test verify_different_outer_types_not_subtype ... ok
[INFO] [stdout] test verify_arg_count_mismatch_not_subtype ... ok
[INFO] [stdout] test verify_convert_primitive_types ... ok
[INFO] [stdout] test verify_direct_self_reference_rejected ... ok
[INFO] [stdout] test verify_convert_reference_types ... ok
[INFO] [stdout] test verify_empty_generic_args ... ok
[INFO] [stdout] test verify_different_generic_names_not_compatible ... ok
[INFO] [stdout] test verify_complex_recursive_structure ... ok
[INFO] [stdout] test verify_convert_generic_with_multiple_args ... ok
[INFO] [stdout] test verify_exact_name_match_is_equivalent ... ok
[INFO] [stdout] test verify_extract_iterable_element_type_option_bool ... ok
[INFO] [stdout] test verify_covariant_same_arg_trivially_subtype ... ok
[INFO] [stdout] test verify_different_names_not_equivalent ... ok
[INFO] [stdout] test verify_extract_iterable_element_type_string ... ok
[INFO] [stdout] test verify_custom_three_case_enum_missing_one ... ok
[INFO] [stdout] test verify_convert_nested_generic_type ... ok
[INFO] [stdout] test verify_convert_generic_types ... ok
[INFO] [stdout] test verify_extract_iterable_element_type_list_int ... ok
[INFO] [stdout] test verify_extract_iterable_element_type_vec_string ... ok
[INFO] [stdout] test verify_extract_iterable_element_type_non_iterable ... ok
[INFO] [stdout] test verify_field_access_on_generic_record_substitutes_type ... ok
[INFO] [stdout] test verify_field_access_on_generic_container_concrete_field ... ok
[INFO] [stdout] test verify_fn_combined_variance ... ok
[INFO] [stdout] test verify_convert_function_types ... ok
[INFO] [stdout] test verify_fn_input_contravariant ... ok
[INFO] [stdout] test verify_extract_iterable_element_type_result_int_string ... ok
[INFO] [stdout] test verify_extract_iterable_element_type_unknown_generic ... ok
[INFO] [stdout] test verify_fn_wrong_direction_fails ... ok
[INFO] [stdout] test verify_for_loop_array_generic_binds_element ... ok
[INFO] [stdout] test verify_for_loop_list_string_binds_element_type ... ok
[INFO] [stdout] test verify_for_loop_list_int_binds_element_type ... ok
[INFO] [stdout] test verify_for_loop_nested_generic_list_option ... ok
[INFO] [stdout] test verify_for_loop_non_iterable_type_binds_unknown ... ok
[INFO] [stdout] test verify_for_loop_nested_list_of_lists_binds_inner_list ... ok
[INFO] [stdout] test verify_for_loop_option_type_binds_element ... ok
[INFO] [stdout] test verify_for_loop_result_type_binds_ok_element ... ok
[INFO] [stdout] test verify_generic_in_tuple ... ok
[INFO] [stdout] test verify_generic_not_subtype_different_name ... ok
[INFO] [stdout] test verify_generic_subtype_same_type ... ok
[INFO] [stdout] test verify_fn_output_covariant ... ok
[INFO] [stdout] test verify_for_loop_string_binds_char ... ok
[INFO] [stdout] test verify_for_loop_unknown_iterable_propagates_unknown ... ok
[INFO] [stdout] test verify_for_loop_vec_bool_binds_element_type ... ok
[INFO] [stdout] test verify_generic_type_nested ... ok
[INFO] [stdout] test verify_generic_in_reference ... ok
[INFO] [stdout] test verify_generic_with_different_arg_count_not_compatible ... ok
[INFO] [stdout] test verify_generic_with_mixed_args_is_move ... ok
[INFO] [stdout] test verify_generic_with_no_args_is_copy ... ok
[INFO] [stdout] test verify_generic_type_construction ... ok
[INFO] [stdout] test verify_generic_type_with_multiple_args ... ok
[INFO] [stdout] test verify_generic_with_copy_args_is_copy ... ok
[INFO] [stdout] test verify_generic_with_move_arg_is_move ... ok
[INFO] [stdout] test verify_generic_with_reference_arg ... ok
[INFO] [stdout] test verify_generic_with_unknown_compatible ... ok
[INFO] [stdout] test verify_get_type_variance_builtin_fn ... ok
[INFO] [stdout] test verify_get_type_variance_builtin_list ... ok
[INFO] [stdout] test verify_identical_record_variant_definitions_equivalent ... ok
[INFO] [stdout] test verify_identical_tuple_variant_definitions_equivalent ... ok
[INFO] [stdout] test verify_identical_unit_variant_definitions_equivalent ... ok
[INFO] [stdout] test verify_is_assignable_rejects_invariant_mismatch ... ok
[INFO] [stdout] test verify_linked_list_pattern ... ok
[INFO] [stdout] test verify_missing_all_cases_errors ... ok
[INFO] [stdout] test verify_missing_none_case_option ... ok
[INFO] [stdout] test verify_list_string_subtype_of_list_any ... ok
[INFO] [stdout] test verify_identical_record_definitions_equivalent ... ok
[INFO] [stdout] test verify_for_loop_option_list_binds_list ... ok
[INFO] [stdout] test verify_generic_in_function_signature ... ok
[INFO] [stdout] test verify_is_named_subtype_transitive ... ok
[INFO] [stdout] test verify_nested_covariant_list_of_option ... ok
[INFO] [stdout] test verify_indirect_cycle_allowed ... ok
[INFO] [stdout] test verify_missing_some_case_option ... ok
[INFO] [stdout] test verify_nested_array_types_equivalent ... ok
[INFO] [stdout] test verify_mutual_recursion_with_indirection_allowed ... ok
[INFO] [stdout] test verify_mutable_reference_indirection_allowed ... ok
[INFO] [stdout] test verify_or_pattern_covers_multiple_cases ... ok
[INFO] [stdout] test verify_or_pattern_still_missing_case ... ok
[INFO] [stdout] test verify_record_different_field_types_not_equivalent ... ok
[INFO] [stdout] test verify_get_variant_cases ... ok
[INFO] [stdout] test verify_is_assignable ... ok
[INFO] [stdout] test verify_is_assignable_uses_covariance ... ok
[INFO] [stdout] test verify_reference_indirection_allowed ... ok
[INFO] [stdout] test verify_nested_invariant_stops_propagation ... ok
[INFO] [stdout] test verify_register_named_subtype ... ok
[INFO] [stdout] test verify_option_int_subtype_of_option_number ... ok
[INFO] [stdout] test verify_nested_generic_compatible ... ok
[INFO] [stdout] test verify_register_type_auto_populates_variant_registry ... ok
[INFO] [stdout] test verify_register_type_variance ... ok
[INFO] [stdout] test verify_recursive_with_base_case ... ok
[INFO] [stdout] test verify_non_recursive_type_accepted ... ok
[INFO] [stdout] test verify_mutual_recursion_without_indirection_allowed ... ok
[INFO] [stdout] test verify_reference_in_variant_allowed ... ok
[INFO] [stdout] test verify_record_different_field_names_not_equivalent ... ok
[INFO] [stdout] test verify_registered_and_unregistered_not_equivalent ... ok
[INFO] [stdout] test verify_record_and_variant_not_equivalent ... ok
[INFO] [stdout] test verify_missing_one_case_errors ... ok
[INFO] [stdout] test verify_non_variant_type_passes_exhaustiveness ... ok
[INFO] [stdout] test verify_record_variant_different_field_names_not_equivalent ... ok
[INFO] [stdout] test verify_record_different_field_counts_not_equivalent ... ok
[INFO] [stdout] test verify_register_variant_cases ... ok
[INFO] [stdout] test verify_tuple_length_mismatch_not_subtype ... ok
[INFO] [stdout] test verify_result_both_args_covariant ... ok
[INFO] [stdout] test verify_sized_array_unifies_with_array_literal_type ... ok
[INFO] [stdout] test verify_single_case_variant_exhaustive ... ok
[INFO] [stdout] test verify_tuple_variant_different_arg_types_not_equivalent ... ok
[INFO] [stdout] test verify_types_compatible_function_param_mismatch ... ok
[INFO] [stdout] test verify_tuple_variant_different_arg_counts_not_equivalent ... ok
[INFO] [stdout] test verify_types_compatible_references ... ok
[INFO] [stdout] test verify_types_compatible_tuple_length_mismatch ... ok
[INFO] [stdout] test verify_types_compatible_tuples ... ok
[INFO] [stdout] test verify_types_compatible_reference_mutability_mismatch ... ok
[INFO] [stdout] test verify_unify_functions ... ok
[INFO] [stdout] test verify_types_compatible_functions ... ok
[INFO] [stdout] test verify_same_generic_types_compatible ... ok
[INFO] [stdout] test verify_types_compatible_with_unknown ... ok
[INFO] [stdout] test verify_types_compatible_same_types ... ok
[INFO] [stdout] test verify_self_reference_through_variant ... ok
[INFO] [stdout] test verify_tuple_variant_exhaustive ... ok
[INFO] [stdout] test verify_unit_and_tuple_variants_not_equivalent ... ok
[INFO] [stdout] test verify_unify_with_unknown ... ok
[INFO] [stdout] test verify_types_compatible_different_types ... ok
[INFO] [stdout] test verify_unify_references ... ok
[INFO] [stdout] test verify_unify_tuples ... ok
[INFO] [stdout] test verify_single_case_variant_missing_errors ... ok
[INFO] [stdout] test verify_unify_same_types ... ok
[INFO] [stdout] test verify_unit_variant_different_counts_not_equivalent ... ok
[INFO] [stdout] test verify_tuple_covariant_elements ... ok
[INFO] [stdout] test verify_tuple_field_different_element_types_not_equivalent ... ok
[INFO] [stdout] test verify_tuple_field_types_equivalent ... ok
[INFO] [stdout] test verify_unify_incompatible_types ... ok
[INFO] [stdout] test verify_unit_variant_different_names_not_equivalent ... ok
[INFO] [stdout] test verify_type_alias_resolves_in_variable_type ... ok
[INFO] [stdout] test verify_unknown_type_passes_exhaustiveness ... ok
[INFO] [stdout] test verify_unit_variant_exhaustive ... ok
[INFO] [stdout] test verify_unknown_subtype_of_anything ... ok
[INFO] [stdout] test verify_wildcard_covers_all ... ok
[INFO] [stdout] test verify_unregistered_type_not_equivalent ... ok
[INFO] [stdout] test verify_user_registered_type_variance ... ok
[INFO] [stdout] test verify_types_compatible_tuple_element_mismatch ... ok
[INFO] [stdout] test verify_types_compatible_delegates_to_variance ... ok
[INFO] [stdout] test verify_wildcard_with_some_cases_also_ok ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 166 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "0d85567dc68b46d3b5fdc28951b550d42816375fd821398c6fa0a0062252c9e8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0d85567dc68b46d3b5fdc28951b550d42816375fd821398c6fa0a0062252c9e8", kill_on_drop: false }`
[INFO] [stdout] 0d85567dc68b46d3b5fdc28951b550d42816375fd821398c6fa0a0062252c9e8
