[INFO] fetching crate arithmetic-typing 0.4.0-beta.1...
[INFO] testing arithmetic-typing-0.4.0-beta.1 against try#bd7d74411512a3dd3b35d2f699c51dd2557c7e7e+cargoflags=-Zbuild-dir-new-layout for pr-149852-1
[INFO] extracting crate arithmetic-typing 0.4.0-beta.1 into /workspace/builds/worker-1-tc2/source
[INFO] started tweaking crates.io crate arithmetic-typing 0.4.0-beta.1
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate arithmetic-typing 0.4.0-beta.1
[INFO] tweaked toml for crates.io crate arithmetic-typing 0.4.0-beta.1 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate arithmetic-typing 0.4.0-beta.1 on toolchain bd7d74411512a3dd3b35d2f699c51dd2557c7e7e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate arithmetic-typing 0.4.0-beta.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" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 678b1f4eed7f92267ae142777da6e16d482ef780afd2bba6626637f66505b37c
[INFO] running `Command { std: "docker" "start" "-a" "678b1f4eed7f92267ae142777da6e16d482ef780afd2bba6626637f66505b37c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "678b1f4eed7f92267ae142777da6e16d482ef780afd2bba6626637f66505b37c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "678b1f4eed7f92267ae142777da6e16d482ef780afd2bba6626637f66505b37c", kill_on_drop: false }`
[INFO] [stdout] 678b1f4eed7f92267ae142777da6e16d482ef780afd2bba6626637f66505b37c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "build" "--frozen" "--message-format=json" "-Zbuild-dir-new-layout", kill_on_drop: false }`
[INFO] [stdout] 5a64549645d01573b549eacfe3c513fd57ca4400c17da916021d6695905bc104
[INFO] running `Command { std: "docker" "start" "-a" "5a64549645d01573b549eacfe3c513fd57ca4400c17da916021d6695905bc104", kill_on_drop: false }`
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling anyhow v1.0.89
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling memchr v2.7.4
[INFO] [stderr]    Compiling bytecount v0.6.8
[INFO] [stderr]    Compiling bitflags v2.6.0
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling nom_locate v4.2.0
[INFO] [stderr]    Compiling arithmetic-parser v0.4.0-beta.1
[INFO] [stderr]    Compiling arithmetic-typing v0.4.0-beta.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.55s
[INFO] running `Command { std: "docker" "inspect" "5a64549645d01573b549eacfe3c513fd57ca4400c17da916021d6695905bc104", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5a64549645d01573b549eacfe3c513fd57ca4400c17da916021d6695905bc104", kill_on_drop: false }`
[INFO] [stdout] 5a64549645d01573b549eacfe3c513fd57ca4400c17da916021d6695905bc104
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "test" "--frozen" "--no-run" "--message-format=json" "-Zbuild-dir-new-layout", kill_on_drop: false }`
[INFO] [stdout] a18891ab3398d973b5ffe128e126b6f79521599adc832f202cfb6a513c990da8
[INFO] running `Command { std: "docker" "start" "-a" "a18891ab3398d973b5ffe128e126b6f79521599adc832f202cfb6a513c990da8", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde v1.0.203
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling tinyvec v1.7.0
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling regex-syntax v0.8.4
[INFO] [stderr]    Compiling pulldown-cmark v0.9.6
[INFO] [stderr]    Compiling semver v1.0.23
[INFO] [stderr]    Compiling pulldown-cmark v0.12.1
[INFO] [stderr]    Compiling getopts v0.2.21
[INFO] [stderr]    Compiling pulldown-cmark-escape v0.11.0
[INFO] [stderr]    Compiling assert_matches v1.5.0
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]    Compiling unicode-normalization v0.1.23
[INFO] [stderr]    Compiling syn v2.0.68
[INFO] [stderr]    Compiling idna v0.5.0
[INFO] [stderr]    Compiling url v2.5.2
[INFO] [stderr]    Compiling regex-automata v0.4.7
[INFO] [stderr]    Compiling nom_locate v4.2.0
[INFO] [stderr]    Compiling arithmetic-parser v0.4.0-beta.1
[INFO] [stderr]    Compiling arithmetic-typing v0.4.0-beta.1 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling toml_datetime v0.6.6
[INFO] [stderr]    Compiling serde_spanned v0.6.6
[INFO] [stderr]    Compiling toml_edit v0.19.15
[INFO] [stderr]    Compiling regex v1.10.5
[INFO] [stderr]    Compiling toml v0.7.8
[INFO] [stderr]    Compiling version-sync v0.9.5
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 52.80s
[INFO] running `Command { std: "docker" "inspect" "a18891ab3398d973b5ffe128e126b6f79521599adc832f202cfb6a513c990da8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a18891ab3398d973b5ffe128e126b6f79521599adc832f202cfb6a513c990da8", kill_on_drop: false }`
[INFO] [stdout] a18891ab3398d973b5ffe128e126b6f79521599adc832f202cfb6a513c990da8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "test" "--frozen" "-Zbuild-dir-new-layout", kill_on_drop: false }`
[INFO] [stdout] d0af48f758ce06bab86090629b7acd20cf7657d21913f34fab204d21fab159f5
[INFO] running `Command { std: "docker" "start" "-a" "d0af48f758ce06bab86090629b7acd20cf7657d21913f34fab204d21fab159f5", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.10s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/build/arithmetic-typing/e4cb7d3cbcebf762/deps/arithmetic_typing-e4cb7d3cbcebf762)
[INFO] [stdout] 
[INFO] [stdout] running 85 tests
[INFO] [stdout] test arith::substitutions::tests::unifying_complex_tuples ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_compound_length_errors ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_compound_length_success ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_compound_length_with_dyn_length ... ok
[INFO] [stdout] test arith::substitutions::tests::marking_length_as_static_and_then_failing_unification ... ok
[INFO] [stdout] test arith::substitutions::tests::marking_length_as_static_and_then_propagating ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_dyn_object_as_lhs ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_dyn_type_as_lhs ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_lengths_success_with_new_equation ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_lengths_success_without_side_effects ... ok
[INFO] [stdout] test arith::substitutions::tests::unresolved_param_error ... ok
[INFO] [stdout] test ast::conversion::tests::converting_fn_type_with_constraint ... ok
[INFO] [stdout] test ast::conversion::tests::converting_raw_fn_type ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_objects ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_dyn_type_as_rhs ... ok
[INFO] [stdout] test ast::conversion::tests::parsing_basic_types ... ok
[INFO] [stdout] test ast::conversion::tests::parsing_functional_type ... ok
[INFO] [stdout] test ast::conversion::tests::parsing_functional_type_with_varargs ... ok
[INFO] [stdout] test ast::tests::any_type ... ok
[INFO] [stdout] test ast::tests::any_type_in_cast_chain ... ok
[INFO] [stdout] test ast::tests::complex_slice_type ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_lengths_error ... ok
[INFO] [stdout] test arith::substitutions::tests::any_can_be_unified_with_anything ... ok
[INFO] [stdout] test ast::tests::complex_tuples ... ok
[INFO] [stdout] test ast::tests::dyn_type_with_object_bound ... ok
[INFO] [stdout] test ast::tests::fn_const_params ... ok
[INFO] [stdout] test ast::tests::embedded_complex_tuple ... ok
[INFO] [stdout] test ast::tests::fn_type_accepting_fn_arg ... ok
[INFO] [stdout] test ast::tests::embedded_slice_type ... ok
[INFO] [stdout] test ast::tests::fn_type_with_type_params ... ok
[INFO] [stdout] test ast::tests::mixed_constraints ... ok
[INFO] [stdout] test ast::tests::fn_type_returning_fn_arg ... ok
[INFO] [stdout] test ast::tests::multiple_static_lengths ... ok
[INFO] [stdout] test ast::tests::fn_type_with_constraints ... ok
[INFO] [stdout] test ast::tests::object_in_type_param_constraints ... ok
[INFO] [stdout] test ast::tests::object_types ... ok
[INFO] [stdout] test ast::tests::simple_fn_type ... ok
[INFO] [stdout] test ast::tests::simple_fn_type_with_args ... ok
[INFO] [stdout] test ast::tests::simple_slice_with_length ... ok
[INFO] [stdout] test ast::tests::simple_slice_without_length ... ok
[INFO] [stdout] test ast::tests::simple_tuple ... ok
[INFO] [stdout] test ast::tests::type_param_constraints ... ok
[INFO] [stdout] test ast::conversion::tests::parsing_incomplete_type ... ok
[INFO] [stdout] test ast::tests::multiple_fns_with_constraints ... ok
[INFO] [stdout] test defs::tests::string_representation_of_assert_close ... ok
[INFO] [stdout] test defs::tests::string_representation_of_assert_types ... ok
[INFO] [stdout] test error::path::tests::walking_expr_with_final_type_cast ... ok
[INFO] [stdout] test ast::tests::dyn_type_with_bound ... ok
[INFO] [stdout] test ast::tests::object_constraints ... ok
[INFO] [stdout] test defs::tests::string_presentation_of_array_type ... ok
[INFO] [stdout] test defs::tests::string_presentations_of_prelude_types ... ok
[INFO] [stdout] test arith::substitutions::tests::static_length_restrictions ... ok
[INFO] [stdout] test ast::conversion::tests::parsing_type_with_object_constraint ... ok
[INFO] [stdout] test error::path::tests::walking_expr_with_fn_call ... ok
[INFO] [stdout] test error::path::tests::walking_expr_with_intermediate_type_cast ... ok
[INFO] [stdout] test error::path::tests::walking_expr_with_partial_match ... ok
[INFO] [stdout] test error::path::tests::walking_expr_with_method_call ... ok
[INFO] [stdout] test error::path::tests::walking_lvalue ... ok
[INFO] [stdout] test error::path::tests::walking_lvalue_with_annotation_mix ... ok
[INFO] [stdout] test error::path::tests::walking_simple_expr ... ok
[INFO] [stdout] test error::path::tests::walking_lvalue_with_annotations ... ok
[INFO] [stdout] test types::fn_type::tests::constraints_display ... ok
[INFO] [stdout] test types::fn_type::tests::fn_builder_with_quantified_arg ... ok
[INFO] [stdout] test types::object::tests::placing_obj_constraint ... ok
[INFO] [stdout] test types::quantifier::tests::analyzing_map_fn ... ok
[INFO] [stdout] test types::quantifier::tests::params_are_added_from_object_constraints ... ok
[INFO] [stdout] test types::quantifier::tests::placing_params ... ok
[INFO] [stdout] test error::path::tests::walking_slice ... ok
[INFO] [stdout] test types::fn_type::tests::fn_with_constraints_display ... ok
[INFO] [stdout] test types::tests::concrete_types ... ok
[INFO] [stdout] test types::tests::equality_is_preserved_on_renaming_params ... ok
[INFO] [stdout] test types::tests::non_concrete_types ... ok
[INFO] [stdout] test types::tuple::tests::equal_elements_dyn_two_complex_tuples ... ok
[INFO] [stdout] test types::tuple::tests::equal_elements_static_simple_tuple_and_slice ... ok
[INFO] [stdout] test types::tuple::tests::equal_elements_static_two_complex_tuples ... ok
[INFO] [stdout] test types::tuple::tests::equal_elements_static_two_simple_tuples ... ok
[INFO] [stdout] test types::tuple::tests::equal_elements_dyn_two_slices ... ok
[INFO] [stdout] test types::tuple::tests::tuple_display ... ok
[INFO] [stdout] test types::tuple::tests::slice_display ... ok
[INFO] [stdout] test types::tests::types_are_equal_to_self ... ok
[INFO] [stdout] test types::tuple::tests::tuple_indexing ... ok
[INFO] [stdout] test types::tuple::tests::tuple_length_display ... ok
[INFO] [stdout] test types::tests::unequal_functions ... ok
[INFO] [stdout] test types::tuple::tests::equal_elements_static_slice_and_complex_tuple ... ok
[INFO] [stdout] test ast::tests::fn_type_with_rest_params ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 85 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/check_readme.rs (/opt/rustwide/target/debug/build/arithmetic-typing/d238ce850e9e45de/deps/check_readme-d238ce850e9e45de)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test code_samples_in_readme_are_valid ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/integration/main.rs (/opt/rustwide/target/debug/build/arithmetic-typing/8fdaf95af691a855/deps/integration-8fdaf95af691a855)
[INFO] [stdout] 
[INFO] [stdout] running 238 tests
[INFO] [stdout] test annotations::annotations_for_fns_with_slices_in_contravariant_position ... ok
[INFO] [stdout] test annotations::assigning_to_a_slice_and_then_narrowing ... ok
[INFO] [stdout] test annotations::any_type ... ok
[INFO] [stdout] test annotations::assigning_to_dynamically_sized_slice ... ok
[INFO] [stdout] test annotations::dyn_type_in_slice ... ok
[INFO] [stdout] test annotations::fn_incorrectly_narrowed_via_type_hint ... ok
[INFO] [stdout] test annotations::constraint_with_dyn_object_and_cast ... ok
[INFO] [stdout] test annotations::fn_instantiated_via_type_hint ... ok
[INFO] [stdout] test annotations::generalizing_dyn_constraint ... ok
[INFO] [stdout] test annotations::dyn_annotation_propagation ... ok
[INFO] [stdout] test annotations::indexing_with_annotations ... ok
[INFO] [stdout] test annotations::custom_constraint_if_added_to_env ... ok
[INFO] [stdout] test annotations::annotations_for_fns_with_slices ... ok
[INFO] [stdout] test annotations::fn_narrowed_via_type_hint ... ok
[INFO] [stdout] test annotations::object_annotations_in_function ... ok
[INFO] [stdout] test annotations::dyn_annotation_on_fn_arg ... ok
[INFO] [stdout] test annotations::transmuting_type_via_casts ... ok
[INFO] [stdout] test annotations::object_annotations ... ok
[INFO] [stdout] test annotations::mix_of_any_and_specific_types_in_fns ... ok
[INFO] [stdout] test annotations::object_destructure_with_narrowing_annotation ... ok
[INFO] [stdout] test annotations::type_hint_in_fn_arg ... ok
[INFO] [stdout] test annotations::type_with_tuple_of_any ... ok
[INFO] [stdout] test annotations::type_hint_within_tuple ... ok
[INFO] [stdout] test annotations::embedded_object_type_annotation ... ok
[INFO] [stdout] test annotations::fn_with_varargs ... ok
[INFO] [stdout] test annotations::type_cast_basics ... ok
[INFO] [stdout] test annotations::type_with_any_fn ... ok
[INFO] [stdout] test annotations::widening_type_hint_with_generic_slice_arg ... ok
[INFO] [stdout] test annotations::widening_type_hint_with_slice_arg ... ok
[INFO] [stdout] test annotations::valid_type_hint_with_fn_arg ... ok
[INFO] [stdout] test annotations::valid_type_hint_with_slice ... ok
[INFO] [stdout] test annotations::wildcard_var_influences_typing ... ok
[INFO] [stdout] test annotations::mix_of_any_and_specific_types ... ok
[INFO] [stdout] test basics::any_can_be_copied_and_unified_with_anything ... ok
[INFO] [stdout] test annotations::unifying_tuples_with_dyn_lengths ... ok
[INFO] [stdout] test annotations::partial_dyn_annotation_on_fn_arg ... ok
[INFO] [stdout] test basics::any_can_be_destructured_and_unified_with_anything ... ok
[INFO] [stdout] test annotations::valid_type_hint_with_fn_declaration ... ok
[INFO] [stdout] test basics::any_propagates_via_fn_params ... ok
[INFO] [stdout] test annotations::unifying_tuples_with_middle ... ok
[INFO] [stdout] test basics::aliasing_generic_native_function ... ok
[INFO] [stdout] test basics::any_can_be_unified_with_anything ... ok
[INFO] [stdout] test basics::comparison_type_errors ... ok
[INFO] [stdout] test basics::boolean_statements ... ok
[INFO] [stdout] test basics::comparisons_when_switched_on ... ok
[INFO] [stdout] test basics::defining_and_calling_embedded_function ... ok
[INFO] [stdout] test basics::destructuring_with_unnamed_middle ... ok
[INFO] [stdout] test basics::constraint_passed_to_wrapping_fn ... ok
[INFO] [stdout] test basics::destructuring_for_tuple_on_assignment ... ok
[INFO] [stdout] test basics::exact_lengths_for_gathering_fn ... ok
[INFO] [stdout] test basics::dynamically_sized_slices_basics ... ok
[INFO] [stdout] test basics::dynamically_sized_slices_with_map ... ok
[INFO] [stdout] test basics::curried_function_passed_as_arg ... ok
[INFO] [stdout] test basics::defer_function_basics ... ok
[INFO] [stdout] test basics::function_as_arg_with_even_more_constraints ... ok
[INFO] [stdout] test basics::function_arg_with_multiple_args ... ok
[INFO] [stdout] test basics::function_as_arg ... ok
[INFO] [stdout] test basics::function_as_arg_within_tuple ... ok
[INFO] [stdout] test basics::free_and_bound_type_vars ... ok
[INFO] [stdout] test basics::attributing_type_vars_to_correct_fn ... ok
[INFO] [stdout] test basics::function_accepting_slices ... ok
[INFO] [stdout] test basics::function_instantiations_are_independent ... ok
[INFO] [stdout] test basics::function_instantiations_with_alias ... ok
[INFO] [stdout] test basics::destructuring_for_fn_args ... ok
[INFO] [stdout] test basics::function_definition ... ok
[INFO] [stdout] test basics::fn_args_can_be_unified_with_concrete_length ... ok
[INFO] [stdout] test basics::function_as_arg_with_more_constraints ... ok
[INFO] [stdout] test basics::inferring_type_from_embedded_function ... ok
[INFO] [stdout] test basics::method_basics ... ok
[INFO] [stdout] test basics::mix_of_static_and_dynamic_slices_via_fn ... ok
[INFO] [stdout] test basics::function_passed_as_arg ... ok
[INFO] [stdout] test basics::mix_of_static_and_dynamic_slices ... ok
[INFO] [stdout] test basics::indexing_basics ... ok
[INFO] [stdout] test basics::indexing_after_narrowing_type ... ok
[INFO] [stdout] test basics::multiple_wildcard_vars_in_assignment_are_fine ... ok
[INFO] [stdout] test basics::multiple_wildcard_vars_in_fn_def_are_fine ... ok
[INFO] [stdout] test basics::non_linear_types_in_function ... ok
[INFO] [stdout] test basics::statements_with_a_block ... ok
[INFO] [stdout] test basics::spreading_binary_ops ... ok
[INFO] [stdout] test basics::type_params_in_fn_with_multiple_fn_args ... ok
[INFO] [stdout] test basics::unifying_length_vars ... ok
[INFO] [stdout] test basics::type_param_is_placed_correctly_with_fn_arg ... ok
[INFO] [stdout] test basics::unifying_slice_and_tuple ... ok
[INFO] [stdout] test basics::unifying_types_containing_any ... ok
[INFO] [stdout] test basics::slice_narrowed_to_tuple ... ok
[INFO] [stdout] test basics::variable_scoping ... ok
[INFO] [stdout] test basics::varargs_in_embedded_fn ... ok
[INFO] [stdout] test basics::parametric_fn_passed_as_arg_with_different_constraints ... ok
[INFO] [stdout] test errors::annotations::contradicting_field_types_via_annotations ... ok
[INFO] [stdout] test errors::annotations::contradicting_type_hint ... ok
[INFO] [stdout] test errors::annotations::contradicting_constraint_with_dyn_object ... ok
[INFO] [stdout] test errors::annotations::bogus_annotation_in_fn_definition ... ok
[INFO] [stdout] test errors::annotations::contradicting_type_hint_with_slice ... ok
[INFO] [stdout] test errors::annotations::converting_fn_type_free_length ... ok
[INFO] [stdout] test errors::annotations::converting_fn_type_free_type_param ... ok
[INFO] [stdout] test errors::annotations::converting_fn_type_unused_length ... ok
[INFO] [stdout] test errors::annotations::adding_dynamically_typed_slices ... ok
[INFO] [stdout] test errors::annotations::converting_fn_type_invalid_constraint ... ok
[INFO] [stdout] test errors::annotations::dyn_constraint_failing_additional_constraint ... ok
[INFO] [stdout] test errors::annotations::dyn_constraint_missing_additional_constraint ... ok
[INFO] [stdout] test errors::annotations::embedded_type_with_constraints ... ok
[INFO] [stdout] test errors::annotations::dyn_constraint_non_object ... ok
[INFO] [stdout] test errors::annotations::error_when_parsing_standalone_some_type ... ok
[INFO] [stdout] test errors::annotations::converting_fn_type_unused_type ... ok
[INFO] [stdout] test errors::annotations::insufficient_info_when_indexing_tuple ... ok
[INFO] [stdout] test errors::annotations::extra_fields_in_dyn_fn_arg ... ok
[INFO] [stdout] test errors::annotations::invalid_type_hint_with_fn_arg ... ok
[INFO] [stdout] test errors::annotations::error_when_parsing_standalone_some_length ... ok
[INFO] [stdout] test errors::annotations::invalid_type_hint_with_fn_declaration ... ok
[INFO] [stdout] test errors::annotations::contradicting_dyn_constraint_via_field_access ... ok
[INFO] [stdout] test errors::annotations::missing_field_after_object_annotation ... ok
[INFO] [stdout] test errors::annotations::custom_constraint_if_not_added_to_env ... ok
[INFO] [stdout] test errors::annotations::object_annotation_mismatch ... ok
[INFO] [stdout] test errors::annotations::object_type_with_duplicate_fields ... ok
[INFO] [stdout] test errors::annotations::unsupported_type_param_in_generic_fn ... ok
[INFO] [stdout] test errors::annotations::type_cast_error_in_subtype ... ok
[INFO] [stdout] test errors::cannot_destructure_dynamic_slice ... ok
[INFO] [stdout] test errors::annotations::unifying_dynamic_slices_error ... ok
[INFO] [stdout] test errors::annotations::unsupported_type_param_location ... ok
[INFO] [stdout] test errors::annotations::type_cast_basic_error ... ok
[INFO] [stdout] test basics::immediately_invoked_function ... ok
[INFO] [stdout] test basics::wildcard_var_is_not_assigned ... ok
[INFO] [stdout] test errors::annotations::unsupported_const_param_in_generic_fn ... ok
[INFO] [stdout] test errors::destructuring_error_on_assignment ... ok
[INFO] [stdout] test errors::comparisons_when_switched_off ... ok
[INFO] [stdout] test errors::dyn_type_as_function ... ok
[INFO] [stdout] test errors::dyn_type_with_bogus_function_call ... ok
[INFO] [stdout] test errors::annotations::custom_constraint_if_incorrectly_added_to_env ... ok
[INFO] [stdout] test errors::function_passed_as_arg_invalid_arg_type ... ok
[INFO] [stdout] test errors::incorrect_tuple_length_returned_from_fn ... ok
[INFO] [stdout] test errors::constraint_error ... ok
[INFO] [stdout] test errors::immediately_invoked_function_with_invalid_arg ... ok
[INFO] [stdout] test errors::function_passed_as_arg_invalid_arity ... ok
[INFO] [stdout] test errors::incorrect_arg_in_slices ... ok
[INFO] [stdout] test errors::function_passed_as_arg_invalid_input ... ok
[INFO] [stdout] test errors::indexing_hard_errors ... ok
[INFO] [stdout] test errors::locating_type_with_failed_constraint ... ok
[INFO] [stdout] test errors::invalid_field_name ... ok
[INFO] [stdout] test errors::multiple::recovery_in_mangled_fn_definition ... ok
[INFO] [stdout] test errors::multiple::recovery_after_error ... ok
[INFO] [stdout] test errors::multiple::multiple_independent_errors ... ok
[INFO] [stdout] test errors::locating_tuple_middle_with_failed_constraint ... ok
[INFO] [stdout] test errors::indexing_unsupported_errors ... ok
[INFO] [stdout] test errors::multiple_var_assignments_in_fn_def_complex ... ok
[INFO] [stdout] test errors::multiple_var_assignments ... ok
[INFO] [stdout] test errors::multiple_var_assignments_in_fn_def ... ok
[INFO] [stdout] test errors::indirect_type_recursion ... ok
[INFO] [stdout] test errors::multiple::recovery_in_fn_with_insufficient_args ... ok
[INFO] [stdout] test errors::multiple_var_assignments_complex ... ok
[INFO] [stdout] test errors::multiple::recovery_in_fn_definition ... ok
[INFO] [stdout] test errors::object::calling_field_on_non_object ... ok
[INFO] [stdout] test errors::object::calling_non_function_field ... ok
[INFO] [stdout] test errors::object::incompatible_field_types_via_accesses ... ok
[INFO] [stdout] test errors::object::incompatible_field_types ... ok
[INFO] [stdout] test errors::object::incompatible_field_types_via_fn ... ok
[INFO] [stdout] test errors::object::no_required_field ... ok
[INFO] [stdout] test errors::object::incompatible_fields_via_constraints_for_object_constraint ... ok
[INFO] [stdout] test errors::object::incompatible_fields_via_constraints_for_object_constraint_rev ... ok
[INFO] [stdout] test errors::object::incompatible_fields_via_constraints_for_concrete_object ... ok
[INFO] [stdout] test errors::object::object_and_tuple_constraints_via_fields ... ok
[INFO] [stdout] test errors::object::creating_and_consuming_object_in_closure ... ok
[INFO] [stdout] test errors::object::recursive_object_constraint ... ok
[INFO] [stdout] test errors::object::repeated_field_in_object_destructure ... ok
[INFO] [stdout] test errors::overly_large_indexed_field ... ok
[INFO] [stdout] test errors::object::tuple_as_object ... ok
[INFO] [stdout] test errors::parametric_fn_passed_as_arg_with_recursive_requirements ... ok
[INFO] [stdout] test errors::object::object_and_tuple_constraints ... ok
[INFO] [stdout] test errors::object::recursive_object_type ... ok
[INFO] [stdout] test errors::object::repeated_field_in_object_initialization ... ok
[INFO] [stdout] test errors::recovery::errors_in_functions_are_handled_adequately ... ok
[INFO] [stdout] test errors::recovery::errors_in_inner_scopes_are_handled_adequately ... ok
[INFO] [stdout] test errors::recovery::first_failing_statement_on_error_in_return_value ... ok
[INFO] [stdout] test errors::recovery::first_failing_statement_is_not_overwritten ... ok
[INFO] [stdout] test errors::recovery::vars_are_not_assigned_beyond_first_error ... ok
[INFO] [stdout] test errors::recovery::recovery_after_bogus_annotations ... ok
[INFO] [stdout] test errors::recovery::vars_are_not_assigned_beyond_first_error_in_expr ... ok
[INFO] [stdout] test errors::parametric_fn_passed_as_arg_with_unsatisfiable_requirements ... ok
[INFO] [stdout] test errors::recursion_via_fn ... ok
[INFO] [stdout] test errors::type_recursion ... ok
[INFO] [stdout] test errors::recovery::vars_are_not_redefined_beyond_first_error ... ok
[INFO] [stdout] test errors::unknown_method ... ok
[INFO] [stdout] test errors::unifying_length_vars_error ... ok
[INFO] [stdout] test errors::object::folding_to_object_errors ... ok
[INFO] [stdout] test errors::object::incompatible_fields_in_embedded_obj ... ok
[INFO] [stdout] test examples::dsa_signatures_imprecise ... ok
[INFO] [stdout] test examples::dsa_signatures ... ok
[INFO] [stdout] test examples::rfold ... ok
[INFO] [stdout] test examples::el_gamal_encryption_imprecise ... ok
[INFO] [stdout] test hash_fn_type_display ... ok
[INFO] [stdout] test examples::el_gamal_encryption ... ok
[INFO] [stdout] test examples::quick_sort ... ok
[INFO] [stdout] test length_eqs::errors_when_adding_dynamic_slices ... ok
[INFO] [stdout] test length_eqs::push_fn_basics ... ok
[INFO] [stdout] test length_eqs::comparing_lengths_after_push ... ok
[INFO] [stdout] test examples::schnorr_signatures ... ok
[INFO] [stdout] test length_eqs::push_fn_in_other_fn_definition ... ok
[INFO] [stdout] test length_eqs::reversing_a_slice ... ok
[INFO] [stdout] test examples::schnorr_signatures_imprecise ... ok
[INFO] [stdout] test length_eqs::several_push_applications ... ok
[INFO] [stdout] test length_eqs::column_row_equality_fn ... ok
[INFO] [stdout] test examples::schnorr_signatures_error ... ok
[INFO] [stdout] test length_eqs::total_sum ... ok
[INFO] [stdout] test length_eqs::requirements_on_len_via_destructuring ... ok
[INFO] [stdout] test length_eqs::square_function ... ok
[INFO] [stdout] test object::creating_and_consuming_object_in_closure ... ok
[INFO] [stdout] test object::additional_object_constraint ... ok
[INFO] [stdout] test object::applying_object_constraints ... ok
[INFO] [stdout] test object::accessing_std_function_via_object ... ok
[INFO] [stdout] test object::additional_object_constraints_through_multiple_fns ... ok
[INFO] [stdout] test object::creating_object_in_closure ... ok
[INFO] [stdout] test object::embedded_object_constraints ... ok
[INFO] [stdout] test object::functional_fields_in_objects ... ok
[INFO] [stdout] test object::functional_fields_in_object_constraints ... ok
[INFO] [stdout] test object::embedded_objects ... ok
[INFO] [stdout] test examples::dsa_signatures_mutations ... ok
[INFO] [stdout] test object::interleaving_object_constraints_complex_case ... ok
[INFO] [stdout] test object::extra_fields_are_retained_with_constraints ... ok
[INFO] [stdout] test object::folding_to_object ... ok
[INFO] [stdout] test object::object_destructure_in_fn_args ... ok
[INFO] [stdout] test object::interleaving_object_constraints ... ok
[INFO] [stdout] test object::object_destructure_in_fold_pipeline ... ok
[INFO] [stdout] test examples::schnorr_signatures_mutations ... ok
[INFO] [stdout] test object::object_destructure_basics ... ok
[INFO] [stdout] test object::object_and_ordinary_constraints ... ok
[INFO] [stdout] test object::object_access_for_intermediate_expressions ... ok
[INFO] [stdout] test object::object_function_defs ... ok
[INFO] [stdout] test object::object_destructure_with_complex_bindings ... ok
[INFO] [stdout] test object::object_destructure_in_map_pipeline ... ok
[INFO] [stdout] test object::object_expr_basics ... ok
[INFO] [stdout] test object::tuples_with_dyn_length_as_object_fields ... ok
[INFO] [stdout] test object::object_functional_field_access ... ok
[INFO] [stdout] test object::shared_type_vars_in_objects_curried ... ok
[INFO] [stdout] test object::tuples_as_object_fields ... ok
[INFO] [stdout] test object::shared_type_vars_in_objects ... ok
[INFO] [stdout] test object::recursive_object_type_via_function_field ... ok
[INFO] [stdout] test object::recursive_object_definitions ... ok
[INFO] [stdout] test zip_fn_type_display ... ok
[INFO] [stdout] test object::object_field_access ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 238 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.59s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/version_match.rs (/opt/rustwide/target/debug/build/arithmetic-typing/2d06532613327ca5/deps/version_match-2d06532613327ca5)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test readme_is_in_sync ... ok
[INFO] [stderr]    Doc-tests arithmetic_typing
[INFO] [stdout] test html_root_url_is_in_sync ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 29 tests
[INFO] [stdout] test src/ast/mod.rs - ast::FunctionAst (line 127) ... FAILED
[INFO] [stdout] test src/ast/mod.rs - ast::TypeAst (line 36) ... FAILED
[INFO] [stdout] test src/arith/constraints.rs - arith::constraints::StructConstraint (line 101) ... ok
[INFO] [stdout] test src/lib.rs - Annotated (line 294) ... ok
[INFO] [stdout] test src/lib.rs - PrimitiveType (line 236) ... ok
[INFO] [stdout] test src/defs.rs - defs::Prelude (line 42) ... ok
[INFO] [stdout] test src/ast/conversion.rs - ast::conversion::AstConversionError (line 32) ... ok
[INFO] [stdout] test src/lib.rs - (line 111) ... ok
[INFO] [stdout] test src/types/fn_type.rs - types::fn_type::FunctionBuilder (line 352) ... ok
[INFO] [stdout] test src/lib.rs - (line 90) ... ok
[INFO] [stdout] test src/defs.rs - defs::Prelude (line 25) ... ok
[INFO] [stdout] test src/types/fn_type.rs - types::fn_type::FunctionBuilder (line 382) ... ok
[INFO] [stdout] test src/types/fn_type.rs - types::fn_type::FunctionBuilder (line 362) ... ok
[INFO] [stdout] test src/error/mod.rs - error::Errors (line 189) ... ok
[INFO] [stdout] test src/env/mod.rs - env::TypeEnvironment (line 36) ... ok
[INFO] [stdout] test src/types/mod.rs - types::Type (line 105) ... ok
[INFO] [stdout] test src/types/fn_type.rs - types::fn_type::Function (line 148) ... ok
[INFO] [stdout] test src/types/mod.rs - types::DynConstraints (line 401) ... ok
[INFO] [stdout] test src/types/tuple.rs - types::tuple::Tuple (line 262) ... ok
[INFO] [stdout] test src/types/mod.rs - types::Type (line 120) ... ok
[INFO] [stdout] test src/types/tuple.rs - types::tuple::Tuple<Prim>::element_types (line 527) ... ok
[INFO] [stdout] test src/types/mod.rs - types::DynConstraints (line 373) ... ok
[INFO] [stdout] test src/types/tuple.rs - types::tuple::Tuple<Prim>::len (line 416) ... ok
[INFO] [stdout] test src/visit.rs - visit::Visit (line 11) ... ok
[INFO] [stdout] test src/visit.rs - visit::VisitMut (line 165) ... ok
[INFO] [stdout] test src/types/mod.rs - types::Type (line 141) ... ok
[INFO] [stdout] test src/types/object.rs - types::object::Object (line 26) ... ok
[INFO] [stdout] test src/types/object.rs - types::object::Object (line 51) ... ok
[INFO] [stdout] test src/types/tuple.rs - types::tuple::Slice (line 600) ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- src/ast/mod.rs - ast::FunctionAst (line 127) stdout ----
[INFO] [stdout] error[E0277]: `?` couldn't convert the error: `nom::internal::Err<arithmetic_parser::Error>: std::error::Error` is not satisfied
[INFO] [stdout]    --> src/ast/mod.rs:135:43
[INFO] [stdout]     |
[INFO] [stdout] 133 | fn main() -> anyhow::Result<()> {
[INFO] [stdout]     |              ------------------ required `nom::internal::Err<arithmetic_parser::Error>: std::error::Error` because of this
[INFO] [stdout] 134 | let input = InputSpan::new("([Num; N]) -> Num");
[INFO] [stdout] 135 | let (rest, ty) = FunctionAst::parse(input)?;
[INFO] [stdout]     |                  -------------------------^ the trait `std::error::Error` is not implemented for `nom::internal::Err<arithmetic_parser::Error>`
[INFO] [stdout]     |                  |
[INFO] [stdout]     |                  this has type `Result<_, nom::internal::Err<arithmetic_parser::Error>>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]     = note: required for `anyhow::Error` to implement `From<nom::internal::Err<arithmetic_parser::Error>>`
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0277`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/ast/mod.rs - ast::TypeAst (line 36) stdout ----
[INFO] [stdout] error[E0277]: `?` couldn't convert the error: `nom::internal::Err<arithmetic_parser::Error>: std::error::Error` is not satisfied
[INFO] [stdout]   --> src/ast/mod.rs:44:36
[INFO] [stdout]    |
[INFO] [stdout] 42 | fn main() -> anyhow::Result<()> {
[INFO] [stdout]    |              ------------------ required `nom::internal::Err<arithmetic_parser::Error>: std::error::Error` because of this
[INFO] [stdout] 43 | let input = InputSpan::new("(Num, ('T) -> ('T, 'T))");
[INFO] [stdout] 44 | let (_, ty) = TypeAst::parse(input)?;
[INFO] [stdout]    |               ---------------------^ the trait `std::error::Error` is not implemented for `nom::internal::Err<arithmetic_parser::Error>`
[INFO] [stdout]    |               |
[INFO] [stdout]    |               this has type `Result<_, nom::internal::Err<arithmetic_parser::Error>>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
[INFO] [stdout]    = note: required for `anyhow::Error` to implement `From<nom::internal::Err<arithmetic_parser::Error>>`
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0277`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     src/ast/mod.rs - ast::FunctionAst (line 127)
[INFO] [stdout]     src/ast/mod.rs - ast::TypeAst (line 36)
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 27 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 18.95s
[INFO] [stdout] 
[INFO] [stderr] error: doctest failed, to rerun pass `--doc`
[INFO] running `Command { std: "docker" "inspect" "d0af48f758ce06bab86090629b7acd20cf7657d21913f34fab204d21fab159f5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d0af48f758ce06bab86090629b7acd20cf7657d21913f34fab204d21fab159f5", kill_on_drop: false }`
[INFO] [stdout] d0af48f758ce06bab86090629b7acd20cf7657d21913f34fab204d21fab159f5
