[INFO] fetching crate deed-typeck 0.2.13...
[INFO] testing deed-typeck-0.2.13 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate deed-typeck 0.2.13 into /workspace/builds/worker-2-tc2/source
[INFO] started tweaking crates.io crate deed-typeck 0.2.13
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate deed-typeck 0.2.13
[INFO] tweaked toml for crates.io crate deed-typeck 0.2.13 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate deed-typeck 0.2.13 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 deed-typeck 0.2.13 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] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] 2a2ce30a53f2e249145fdecd0151343b55ec566a574010769d07c6513ed11614
[INFO] running `Command { std: "docker" "start" "2a2ce30a53f2e249145fdecd0151343b55ec566a574010769d07c6513ed11614", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2a2ce30a53f2e249145fdecd0151343b55ec566a574010769d07c6513ed11614", 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" "2a2ce30a53f2e249145fdecd0151343b55ec566a574010769d07c6513ed11614" "/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" "2a2ce30a53f2e249145fdecd0151343b55ec566a574010769d07c6513ed11614", 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" "2a2ce30a53f2e249145fdecd0151343b55ec566a574010769d07c6513ed11614" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling deed-diagnostics v0.2.13
[INFO] [stderr]    Compiling deed-ast v0.2.13
[INFO] [stderr]    Compiling deed-resolve v0.2.13
[INFO] [stderr]    Compiling deed-typeck v0.2.13 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 14.93s
[INFO] running `Command { std: "docker" "inspect" "2a2ce30a53f2e249145fdecd0151343b55ec566a574010769d07c6513ed11614", 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" "2a2ce30a53f2e249145fdecd0151343b55ec566a574010769d07c6513ed11614" "/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]    Compiling deed-lexer v0.2.13
[INFO] [stderr]    Compiling deed-parser v0.2.13
[INFO] [stderr]    Compiling deed-typeck v0.2.13 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 11.36s
[INFO] running `Command { std: "docker" "inspect" "2a2ce30a53f2e249145fdecd0151343b55ec566a574010769d07c6513ed11614", 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" "2a2ce30a53f2e249145fdecd0151343b55ec566a574010769d07c6513ed11614" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/build/deed-typeck/b1cdba856456deb0/out/deed_typeck-b1cdba856456deb0)
[INFO] [stdout] running 30 tests
[INFO] [stdout] test check::tests::a_range_reaching_past_the_predicate_names_the_nearest_miss ... ok
[INFO] [stdout] test facts::tests::adding_two_ranges_adds_the_bounds ... ok
[INFO] [stdout] test facts::tests::a_clamped_difference_still_says_which_side_of_zero_it_is_on ... ok
[INFO] [stdout] test facts::tests::a_binding_does_not_inherit_the_totals_of_the_name_it_replaces ... ok
[INFO] [stdout] test facts::tests::a_total_both_branches_know_survives_the_join ... ok
[INFO] [stdout] test facts::tests::a_length_is_not_negative_without_anybody_saying_so ... ok
[INFO] [stdout] test facts::tests::a_name_with_no_narrowing_blames_the_name ... ok
[INFO] [stdout] test facts::tests::a_shape_the_checker_does_not_evaluate_says_so ... ok
[INFO] [stdout] test facts::tests::a_length_with_no_bound_blames_the_length ... ok
[INFO] [stdout] test facts::tests::a_binding_forgets_how_long_the_old_value_was ... ok
[INFO] [stdout] test facts::tests::an_index_below_a_length_is_a_difference_like_any_other ... ok
[INFO] [stdout] test check::tests::a_range_that_fits_inside_the_predicate_escapes_nothing ... ok
[INFO] [stdout] test facts::tests::a_boundary_clause_with_no_opaque_call_keeps_its_own_reason ... ok
[INFO] [stdout] test facts::tests::a_difference_carries_a_bound_from_one_name_to_the_other ... ok
[INFO] [stdout] test facts::tests::every_reason_renders_a_sentence_someone_can_read ... ok
[INFO] [stdout] test facts::tests::joining_two_branches_keeps_only_the_differences_both_agree_on ... ok
[INFO] [stdout] test facts::tests::a_length_call_at_a_boundary_is_not_an_opaque_one ... ok
[INFO] [stdout] test facts::tests::joining_two_branches_covers_both ... ok
[INFO] [stdout] test facts::tests::multiplying_takes_the_extreme_corners ... ok
[INFO] [stdout] test check::tests::lists_read_like_english ... ok
[INFO] [stdout] test check::tests::nothing_known_and_nothing_required_name_no_number ... ok
[INFO] [stdout] test facts::tests::a_binding_does_not_inherit_the_differences_of_the_name_it_replaces ... ok
[INFO] [stdout] test facts::tests::an_opaque_call_inside_a_boundary_clause_blames_the_boundary ... ok
[INFO] [stdout] test facts::tests::arithmetic_that_leaves_the_integers_clamps_to_the_edge ... ok
[INFO] [stdout] test facts::tests::dividing_a_bound_rounds_inwards ... ok
[INFO] [stdout] test facts::tests::an_open_end_divided_by_minus_one_stays_open ... ok
[INFO] [stdout] test facts::tests::narrowing_keeps_the_tighter_bound ... ok
[INFO] [stderr]      Running tests/checking.rs (/opt/rustwide/target/release/build/deed-typeck/0247ef7e009b0377/out/checking-0247ef7e009b0377)
[INFO] [stdout] test facts::tests::splitting_at_a_bound_covers_everything ... ok
[INFO] [stdout] test facts::tests::neither_side_a_name_blames_the_value ... ok
[INFO] [stdout] test facts::tests::two_differences_that_share_a_name_make_a_third ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 30 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 137 tests
[INFO] [stdout] test a_for_over_a_string_says_it_walks_a_list ... ok
[INFO] [stdout] test a_guard_on_a_sum_narrows_it_too ... ok
[INFO] [stdout] test a_body_must_produce_the_declared_return_type ... ok
[INFO] [stdout] test a_guard_with_the_name_first_settles_the_refinement ... ok
[INFO] [stdout] test a_body_ending_in_return_is_accepted ... ok
[INFO] [stdout] test a_guard_with_the_name_last_settles_it_the_same_way ... ok
[INFO] [stdout] test a_choice_is_not_ordered_either ... ok
[INFO] [stdout] test a_broken_precondition_on_an_imported_fn_points_at_the_other_file ... ok
[INFO] [stdout] test a_clause_that_reads_result_correctly_is_accepted_in_every_shape ... ok
[INFO] [stdout] test a_closure_over_handler_state_is_reported_with_its_wording ... ok
[INFO] [stdout] test a_handler_literal_is_checked_against_its_state ... ok
[INFO] [stdout] test a_handler_literal_missing_state_says_which ... ok
[INFO] [stdout] test a_handler_operation_is_checked_against_those_types ... ok
[INFO] [stdout] test a_handler_that_leaves_an_operation_out_is_an_error ... ok
[INFO] [stdout] test a_contract_may_talk_about_the_parameters ... ok
[INFO] [stdout] test a_literal_missing_fields_lists_them ... ok
[INFO] [stdout] test a_bare_binding_arm_on_a_choice_is_rejected_too ... ok
[INFO] [stdout] test a_generic_type_takes_exactly_as_many_as_it_declared ... ok
[INFO] [stdout] test a_clause_bounded_by_the_limit_is_proven_rather_than_guarded ... ok
[INFO] [stdout] test a_handler_literal_from_another_module_is_checked_too ... ok
[INFO] [stdout] test a_line_that_was_meant_to_continue_the_one_above_says_so ... ok
[INFO] [stdout] test a_function_is_not_something_a_literal_can_build ... ok
[INFO] [stdout] test a_handler_for_an_imported_effect_gets_its_types_too ... ok
[INFO] [stdout] test a_handler_with_no_state_is_installed_by_name_alone ... ok
[INFO] [stdout] test a_call_to_an_imported_effect_operation_is_checked ... ok
[INFO] [stdout] test a_literal_satisfying_a_refinement_is_proven ... ok
[INFO] [stdout] test a_handler_installed_by_name_alone_still_owes_its_state ... ok
[INFO] [stdout] test a_handler_operation_with_the_wrong_arity_is_an_error ... ok
[INFO] [stdout] test a_handler_operation_the_effect_does_not_have_is_an_error ... ok
[INFO] [stdout] test a_length_is_never_negative ... ok
[INFO] [stdout] test a_method_call_says_the_function_is_called_the_other_way_round ... ok
[INFO] [stdout] test a_mismatch_on_an_imported_handler_state_points_at_the_other_file ... ok
[INFO] [stdout] test a_mismatch_on_an_imported_variant_field_points_at_the_other_file ... ok
[INFO] [stdout] test a_literal_violating_a_refinement_is_an_error ... ok
[INFO] [stdout] test a_missing_field_on_an_imported_record_access_points_at_the_other_file ... ok
[INFO] [stdout] test a_literal_with_an_unknown_field_lists_the_real_ones ... ok
[INFO] [stdout] test a_name_at_least_another_name_takes_its_lower_bound ... ok
[INFO] [stdout] test a_mismatch_on_an_imported_field_points_at_the_other_file ... ok
[INFO] [stdout] test a_name_above_another_name_takes_its_lower_bound ... ok
[INFO] [stdout] test a_name_at_most_another_name_takes_its_upper_bound ... ok
[INFO] [stdout] test a_match_missing_variants_names_them ... ok
[INFO] [stdout] test a_name_below_another_name_takes_its_upper_bound ... ok
[INFO] [stdout] test a_name_from_another_module_has_a_type ... ok
[INFO] [stdout] test a_record_is_not_ordered ... ok
[INFO] [stdout] test a_question_mark_is_a_statement_about_the_failure ... ok
[INFO] [stdout] test a_refined_state_field_is_an_obligation_like_any_other ... ok
[INFO] [stdout] test a_refinement_over_a_string_is_ordered_through_its_base ... ok
[INFO] [stdout] test a_type_parameter_is_still_comparable_for_equality ... ok
[INFO] [stdout] test a_return_is_checked_against_the_signature ... ok
[INFO] [stdout] test a_type_name_gets_the_message_about_being_a_type ... ok
[INFO] [stdout] test a_value_used_as_a_type_is_reported ... ok
[INFO] [stdout] test a_value_is_not_something_a_literal_can_build_either ... ok
[INFO] [stdout] test a_variant_literal_checks_its_fields ... ok
[INFO] [stdout] test a_missing_field_on_an_imported_record_points_at_the_other_file ... ok
[INFO] [stdout] test a_variant_literal_has_the_type_of_its_choice ... ok
[INFO] [stdout] test a_missing_field_that_is_not_a_function_is_not_called_a_method ... ok
[INFO] [stdout] test a_variant_pattern_binds_its_fields_with_types ... ok
[INFO] [stdout] test a_wildcard_inside_an_alternative_is_still_a_catch_all ... ok
[INFO] [stdout] test a_wildcard_is_fine_where_the_cases_cannot_be_listed ... ok
[INFO] [stdout] test a_wrong_arity_call_to_an_imported_fn_points_at_the_other_file ... ok
[INFO] [stdout] test a_self_referential_alias_is_reported_once ... ok
[INFO] [stdout] test all_arms_must_agree ... ok
[INFO] [stdout] test an_expression_that_never_produced_a_value_is_not_discarded ... ok
[INFO] [stdout] test an_alias_without_a_predicate_is_transparent ... ok
[INFO] [stdout] test a_refinement_widens_to_its_base_without_an_obligation ... ok
[INFO] [stdout] test an_if_without_an_else_must_produce_nothing ... ok
[INFO] [stdout] test a_statement_that_produces_nothing_is_the_ordinary_case ... ok
[INFO] [stdout] test a_whole_handler_is_accepted ... ok
[INFO] [stdout] test a_type_declared_with_no_parameters_takes_none ... ok
[INFO] [stdout] test a_wildcard_arm_on_a_choice_is_rejected ... ok
[INFO] [stdout] test an_imported_effect_is_counted_the_same_way ... ok
[INFO] [stdout] test an_extra_operation_on_an_imported_effect_points_at_the_other_file ... ok
[INFO] [stdout] test an_imported_generic_type_takes_the_arguments_it_declared ... ok
[INFO] [stdout] test an_imported_function_is_not_something_a_literal_can_build ... ok
[INFO] [stdout] test a_type_mismatch_on_an_imported_param_points_at_the_other_file ... ok
[INFO] [stdout] test a_statement_that_produces_a_value_says_nobody_reads_it ... ok
[INFO] [stdout] test a_type_parameter_is_not_ordered ... ok
[INFO] [stdout] test an_ordinary_field_read_is_not_a_number_the_checker_knows ... ok
[INFO] [stdout] test an_operator_with_two_known_sides_is_checked ... ok
[INFO] [stdout] test an_operator_with_one_unknown_side_says_nothing ... ok
[INFO] [stdout] test an_imported_effect_operation_called_with_the_wrong_arity_is_an_error ... ok
[INFO] [stdout] test a_wrong_arity_on_an_imported_record_points_at_the_other_file ... ok
[INFO] [stdout] test an_unbounded_name_on_the_other_side_settles_nothing ... ok
[INFO] [stdout] test a_variant_with_fields_can_be_named_among_alternatives ... ok
[INFO] [stdout] test an_unknown_field_on_an_imported_record_points_at_the_other_file ... ok
[INFO] [stdout] test a_where_clause_about_a_sum_proves_the_refinement_it_states ... ok
[INFO] [stdout] test a_wrong_argument_points_at_the_parameter ... ok
[INFO] [stdout] test dropping_a_result_says_the_failure_goes_with_it ... ok
[INFO] [stdout] test broken_input_does_not_panic_and_does_not_pile_on ... ok
[INFO] [stdout] test calling_something_that_is_not_a_function_is_reported ... ok
[INFO] [stdout] test an_unprovable_refinement_says_so_out_loud ... ok
[INFO] [stdout] test contract_clauses_must_be_conditions ... ok
[INFO] [stdout] test another_field_on_a_type_name_is_left_to_the_message_it_had ... ok
[INFO] [stdout] test anything_can_still_be_compared_for_equality ... ok
[INFO] [stdout] test every_operation_left_out_is_named_at_once ... ok
[INFO] [stdout] test an_imported_effect_operation_call_gives_back_its_declared_type ... ok
[INFO] [stdout] test length_will_not_measure_a_number ... ok
[INFO] [stdout] test matching_ok_on_an_int_is_a_pattern_mismatch ... ok
[INFO] [stdout] test an_imported_handler_operation_is_checked_against_those_types ... ok
[INFO] [stdout] test length_takes_a_string_and_gives_a_number ... ok
[INFO] [stdout] test naming_a_type_as_a_value_is_reported_with_its_wording ... ok
[INFO] [stdout] test naming_a_generic_function_as_a_value_is_reported ... ok
[INFO] [stdout] test one_arm_can_name_several_variants ... ok
[INFO] [stdout] test naming_several_does_not_make_a_match_complete ... ok
[INFO] [stdout] test plus_joins_two_strings ... ok
[INFO] [stdout] test an_imported_value_used_as_a_type_points_at_the_other_file ... ok
[INFO] [stdout] test an_imported_type_is_checked_against_what_it_declared ... ok
[INFO] [stdout] test assigning_to_a_parameter_is_reported_with_its_wording ... ok
[INFO] [stdout] test both_branches_of_an_if_must_agree ... ok
[INFO] [stdout] test expression_types_are_recorded ... ok
[INFO] [stdout] test plus_still_adds_two_numbers ... ok
[INFO] [stdout] test saying_you_meant_it_is_offered_as_a_fix_and_never_applied ... ok
[INFO] [stdout] test alternatives_work_across_a_module_boundary ... ok
[INFO] [stdout] test the_bound_that_travels_is_the_one_the_other_name_carries ... ok
[INFO] [stdout] test ruling_out_a_range_rather_than_a_value_settles_nothing ... ok
[INFO] [stdout] test ruling_out_a_value_in_the_middle_settles_nothing ... ok
[INFO] [stdout] test the_question_mark_rejects_a_type_that_is_only_named_like_a_result ... ok
[INFO] [stdout] test ruling_out_the_largest_int_narrows_the_other_branch_too ... ok
[INFO] [stdout] test strings_are_ordered ... ok
[INFO] [stdout] test field_access_on_a_missing_field_lists_what_is_there ... ok
[INFO] [stdout] test the_limit_of_a_type_is_the_number_it_stands_for ... ok
[INFO] [stdout] test result_is_checked_wherever_in_a_clause_it_is_written ... ok
[INFO] [stdout] test saying_you_meant_it_is_enough ... ok
[INFO] [stdout] test two_types_that_do_not_match_are_one_mistake_not_two ... ok
[INFO] [stdout] test the_two_names_can_be_stated_in_either_order ... ok
[INFO] [stdout] test the_worked_example_type_checks ... FAILED
[INFO] [stdout] test three_names_added_together_are_still_out_of_reach ... ok
[INFO] [stdout] test the_total_only_settles_what_it_actually_bounds ... ok
[INFO] [stdout] test the_shorthand_form_is_type_checked ... ok
[INFO] [stdout] test the_name_on_the_right_carries_the_bound_it_was_given ... ok
[INFO] [stdout] test unchanged_is_a_condition ... ok
[INFO] [stdout] test the_worked_example_proves_its_refinements ... FAILED
[INFO] [stdout] test the_wrong_number_of_arguments_points_at_the_declaration ... ok
[INFO] [stdout] test plus_will_not_join_a_number_to_a_string ... ok
[INFO] [stdout] test ruling_out_the_smallest_int_narrows_the_other_branch ... ok
[INFO] [stdout] test a_handler_operation_takes_its_types_from_the_effect ... ok
[INFO] [stdout] test settling_a_value_exactly_narrows_the_branch_it_settled ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- the_worked_example_type_checks stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'the_worked_example_type_checks' (502) panicked at tests/checking.rs:140:48:
[INFO] [stdout] examples/transfer.deed should exist: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5dd055f3aae1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x5dd055f4ef6a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x5dd055f3ecfc - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x5dd055f16be6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x5dd055f32e19 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x5dd055df0280 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x5dd055f32fd2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x5dd055f16c92 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x5dd055f0f819 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x5dd055f1789d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x5dd055f4f70c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x5dd055f4f4e2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x5dd055db9f10 - <checking[cf2d1d3a1eaa9063]::the_worked_example_type_checks::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x5dd055de36cb - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x5dd055df08a5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x5dd055dea194 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x5dd055df3932 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x5dd055f39fdf - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x7c9c81eb2dfa - <unknown>
[INFO] [stdout]   19:     0x7c9c81f463d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- the_worked_example_proves_its_refinements stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'the_worked_example_proves_its_refinements' (501) panicked at tests/checking.rs:161:48:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5dd055f3aae1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x5dd055f4ef6a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x5dd055f3ecfc - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x5dd055f16be6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x5dd055f32e19 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x5dd055df0280 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x5dd055f32fd2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x5dd055f16c92 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x5dd055f0f819 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x5dd055f1789d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x5dd055f4f70c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x5dd055f4f4e2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x5dd055dbfc90 - <checking[cf2d1d3a1eaa9063]::the_worked_example_proves_its_refinements::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x5dd055de36cb - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x5dd055df08a5 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x5dd055dea194 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x5dd055df3932 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x5dd055f39fdf - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x7c9c81eb2dfa - <unknown>
[INFO] [stdout]   19:     0x7c9c81f463d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     the_worked_example_proves_its_refinements
[INFO] [stdout]     the_worked_example_type_checks
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 135 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.20s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test checking`
[INFO] running `Command { std: "docker" "inspect" "2a2ce30a53f2e249145fdecd0151343b55ec566a574010769d07c6513ed11614", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2a2ce30a53f2e249145fdecd0151343b55ec566a574010769d07c6513ed11614", kill_on_drop: false }`
[INFO] [stdout] 2a2ce30a53f2e249145fdecd0151343b55ec566a574010769d07c6513ed11614
