[INFO] fetching crate arithmetic-typing 0.3.0...
[INFO] testing arithmetic-typing-0.3.0 against beta-2022-04-10 for beta-1.61-1
[INFO] extracting crate arithmetic-typing 0.3.0 into /workspace/builds/worker-0/source
[INFO] validating manifest of crates.io crate arithmetic-typing 0.3.0 on toolchain beta-2022-04-10
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate arithmetic-typing 0.3.0
[INFO] finished tweaking crates.io crate arithmetic-typing 0.3.0
[INFO] tweaked toml for crates.io crate arithmetic-typing 0.3.0 written to /workspace/builds/worker-0/source/Cargo.toml
[INFO] crate crates.io crate arithmetic-typing 0.3.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] e8e31a1391453a53e3944902b92e2998972075d0dbb7917fe7b81e28a7dcc2bb
[INFO] running `Command { std: "docker" "start" "-a" "e8e31a1391453a53e3944902b92e2998972075d0dbb7917fe7b81e28a7dcc2bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e8e31a1391453a53e3944902b92e2998972075d0dbb7917fe7b81e28a7dcc2bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e8e31a1391453a53e3944902b92e2998972075d0dbb7917fe7b81e28a7dcc2bb", kill_on_drop: false }`
[INFO] [stdout] e8e31a1391453a53e3944902b92e2998972075d0dbb7917fe7b81e28a7dcc2bb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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=warn" "-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:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 0c4ba22b0b21eb546a274fc742bcb47863a9a277d05be7ac2ea73cef4dcf890e
[INFO] running `Command { std: "docker" "start" "-a" "0c4ba22b0b21eb546a274fc742bcb47863a9a277d05be7ac2ea73cef4dcf890e", kill_on_drop: false }`
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling radium v0.5.3
[INFO] [stderr]    Compiling lexical-core v0.7.6
[INFO] [stderr]    Compiling memchr v2.4.0
[INFO] [stderr]    Compiling version_check v0.9.3
[INFO] [stderr]    Compiling funty v1.1.0
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling wyz v0.2.0
[INFO] [stderr]    Compiling arrayvec v0.5.2
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling static_assertions v1.1.0
[INFO] [stderr]    Compiling anyhow v1.0.40
[INFO] [stderr]    Compiling bytecount v0.6.2
[INFO] [stderr]    Compiling nom v6.1.2
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling bitvec v0.19.5
[INFO] [stderr]    Compiling nom_locate v3.0.1
[INFO] [stderr]    Compiling arithmetic-parser v0.3.0
[INFO] [stderr]    Compiling arithmetic-typing v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 29.60s
[INFO] running `Command { std: "docker" "inspect" "0c4ba22b0b21eb546a274fc742bcb47863a9a277d05be7ac2ea73cef4dcf890e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0c4ba22b0b21eb546a274fc742bcb47863a9a277d05be7ac2ea73cef4dcf890e", kill_on_drop: false }`
[INFO] [stdout] 0c4ba22b0b21eb546a274fc742bcb47863a9a277d05be7ac2ea73cef4dcf890e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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=warn" "-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:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 14ab710ae4b38e6175c0b2f0efd271d492c9453a55267d1030dd82577d94e9df
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "14ab710ae4b38e6175c0b2f0efd271d492c9453a55267d1030dd82577d94e9df", kill_on_drop: false }`
[INFO] [stderr]    Compiling matches v0.1.8
[INFO] [stderr]    Compiling proc-macro2 v1.0.27
[INFO] [stderr]    Compiling serde v1.0.126
[INFO] [stderr]    Compiling percent-encoding v2.1.0
[INFO] [stderr]    Compiling unicode-width v0.1.8
[INFO] [stderr]    Compiling pulldown-cmark v0.8.0
[INFO] [stderr]    Compiling syn v1.0.72
[INFO] [stderr]    Compiling regex-syntax v0.6.25
[INFO] [stderr]    Compiling semver-parser v0.9.0
[INFO] [stderr]    Compiling assert_matches v1.5.0
[INFO] [stderr]    Compiling hex v0.4.3
[INFO] [stderr]    Compiling unicase v2.6.0
[INFO] [stderr]    Compiling tinyvec v1.2.0
[INFO] [stderr]    Compiling unicode-bidi v0.3.5
[INFO] [stderr]    Compiling getopts v0.2.21
[INFO] [stderr]    Compiling form_urlencoded v1.0.1
[INFO] [stderr]    Compiling unicode-normalization v0.1.17
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling idna v0.2.3
[INFO] [stderr]    Compiling url v2.2.2
[INFO] [stderr]    Compiling regex v1.5.4
[INFO] [stderr]    Compiling toml v0.5.8
[INFO] [stderr]    Compiling version-sync v0.9.2
[INFO] [stderr]    Compiling arithmetic-typing v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 1m 17s
[INFO] [stderr]   Executable unittests src/lib.rs (/opt/rustwide/target/debug/deps/arithmetic_typing-2ab80980552aade5)
[INFO] [stderr]   Executable tests/check_readme.rs (/opt/rustwide/target/debug/deps/check_readme-cbe057f716e19408)
[INFO] [stderr]   Executable tests/integration/main.rs (/opt/rustwide/target/debug/deps/integration-042ea83fccffe9a9)
[INFO] [stderr]   Executable tests/version_match.rs (/opt/rustwide/target/debug/deps/version_match-61769efe37cee67b)
[INFO] running `Command { std: "docker" "inspect" "14ab710ae4b38e6175c0b2f0efd271d492c9453a55267d1030dd82577d94e9df", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "14ab710ae4b38e6175c0b2f0efd271d492c9453a55267d1030dd82577d94e9df", kill_on_drop: false }`
[INFO] [stdout] 14ab710ae4b38e6175c0b2f0efd271d492c9453a55267d1030dd82577d94e9df
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/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=warn" "-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:eaef2f80f755933c374d2ae5edccceec0c1312ceb8a4e0b6404e8ab76561e1e5" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 5988725a8185822df6ade34b907a465afaa04abd6f816981659cd8789fca2a6d
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "5988725a8185822df6ade34b907a465afaa04abd6f816981659cd8789fca2a6d", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.10s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/arithmetic_typing-2ab80980552aade5)
[INFO] [stdout] 
[INFO] [stdout] running 83 tests
[INFO] [stdout] test arith::substitutions::tests::any_can_be_unified_with_anything ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_compound_length_success ... ok
[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::static_length_restrictions ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_objects ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_lengths_success_without_side_effects ... 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::marking_length_as_static_and_then_failing_unification ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_compound_length_with_dyn_length ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_lengths_success_with_new_equation ... ok
[INFO] [stdout] test arith::substitutions::tests::marking_length_as_static_and_then_propagating ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_dyn_type_as_lhs ... ok
[INFO] [stdout] test arith::substitutions::tests::unresolved_param_error ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_dyn_type_as_rhs ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_lengths_error ... ok
[INFO] [stdout] test arith::substitutions::tests::unifying_dyn_object_as_lhs ... ok
[INFO] [stdout] test ast::tests::embedded_complex_tuple ... ok
[INFO] [stdout] test ast::tests::any_type_in_cast_chain ... ok
[INFO] [stdout] test ast::tests::dyn_type_with_object_bound ... ok
[INFO] [stdout] test ast::conversion::tests::parsing_functional_type_with_varargs ... ok
[INFO] [stdout] test ast::tests::complex_slice_type ... ok
[INFO] [stdout] test ast::tests::dyn_type_with_bound ... ok
[INFO] [stdout] test ast::conversion::tests::parsing_incomplete_type ... ok
[INFO] [stdout] test ast::conversion::tests::parsing_basic_types ... ok
[INFO] [stdout] test ast::conversion::tests::parsing_type_with_object_constraint ... ok
[INFO] [stdout] test ast::conversion::tests::parsing_functional_type ... ok
[INFO] [stdout] test ast::tests::embedded_slice_type ... ok
[INFO] [stdout] test ast::tests::fn_type_with_rest_params ... ok
[INFO] [stdout] test ast::tests::fn_const_params ... ok
[INFO] [stdout] test ast::tests::simple_slice_with_length ... ok
[INFO] [stdout] test ast::tests::complex_tuples ... ok
[INFO] [stdout] test ast::tests::any_type ... ok
[INFO] [stdout] test ast::tests::fn_type_accepting_fn_arg ... ok
[INFO] [stdout] test ast::tests::mixed_constraints ... ok
[INFO] [stdout] test ast::tests::simple_slice_without_length ... ok
[INFO] [stdout] test ast::tests::fn_type_returning_fn_arg ... ok
[INFO] [stdout] test ast::tests::simple_tuple ... ok
[INFO] [stdout] test ast::tests::object_constraints ... ok
[INFO] [stdout] test ast::tests::multiple_fns_with_constraints ... ok
[INFO] [stdout] test ast::tests::multiple_static_lengths ... ok
[INFO] [stdout] test ast::tests::fn_type_with_constraints ... ok
[INFO] [stdout] test error::location::tests::walking_lvalue ... ok
[INFO] [stdout] test error::location::tests::walking_expr_with_fn_call ... ok
[INFO] [stdout] test ast::tests::simple_fn_type ... ok
[INFO] [stdout] test defs::tests::string_presentation_of_array_type ... ok
[INFO] [stdout] test ast::tests::type_param_constraints ... ok
[INFO] [stdout] test defs::tests::string_presentations_of_prelude_types ... ok
[INFO] [stdout] test ast::tests::simple_fn_type_with_args ... ok
[INFO] [stdout] test ast::tests::fn_type_with_type_params ... ok
[INFO] [stdout] test ast::tests::object_types ... ok
[INFO] [stdout] test error::location::tests::walking_expr_with_intermediate_type_cast ... ok
[INFO] [stdout] test error::location::tests::walking_expr_with_method_call ... ok
[INFO] [stdout] test ast::tests::object_in_type_param_constraints ... ok
[INFO] [stdout] test error::location::tests::walking_expr_with_partial_match ... ok
[INFO] [stdout] test types::fn_type::tests::fn_with_constraints_display ... ok
[INFO] [stdout] test types::object::tests::placing_obj_constraint ... ok
[INFO] [stdout] test error::location::tests::walking_lvalue_with_annotations ... ok
[INFO] [stdout] test error::location::tests::walking_expr_with_final_type_cast ... ok
[INFO] [stdout] test error::location::tests::walking_simple_expr ... ok
[INFO] [stdout] test types::tuple::tests::equal_elements_dyn_two_complex_tuples ... ok
[INFO] [stdout] test types::tuple::tests::equal_elements_dyn_two_slices ... ok
[INFO] [stdout] test types::tuple::tests::equal_elements_static_simple_tuple_and_slice ... ok
[INFO] [stdout] test types::tuple::tests::equal_elements_static_slice_and_complex_tuple ... ok
[INFO] [stdout] test types::quantifier::tests::params_are_added_from_object_constraints ... ok
[INFO] [stdout] test error::location::tests::walking_slice ... ok
[INFO] [stdout] test types::quantifier::tests::placing_params ... ok
[INFO] [stdout] test types::quantifier::tests::analyzing_map_fn ... ok
[INFO] [stdout] test types::fn_type::tests::constraints_display ... ok
[INFO] [stdout] test types::tests::concrete_types ... ok
[INFO] [stdout] test types::fn_type::tests::fn_builder_with_quantified_arg ... ok
[INFO] [stdout] test types::tests::non_concrete_types ... ok
[INFO] [stdout] test types::tests::equality_is_preserved_on_renaming_params ... ok
[INFO] [stdout] test types::tests::types_are_equal_to_self ... ok
[INFO] [stdout] test types::tests::unequal_functions ... ok
[INFO] [stdout] test types::tuple::tests::slice_display ... ok
[INFO] [stdout] test types::tuple::tests::tuple_display ... ok
[INFO] [stdout] test types::tuple::tests::tuple_length_display ... 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::tuple_indexing ... ok
[INFO] [stdout] test error::location::tests::walking_lvalue_with_annotation_mix ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 83 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/check_readme.rs (/opt/rustwide/target/debug/deps/check_readme-cbe057f716e19408)
[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.09s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/integration/main.rs (/opt/rustwide/target/debug/deps/integration-042ea83fccffe9a9)
[INFO] [stdout] 
[INFO] [stdout] running 227 tests
[INFO] [stdout] test annotations::assigning_to_dynamically_sized_slice ... ok
[INFO] [stdout] test annotations::dyn_type_in_slice ... ok
[INFO] [stdout] test annotations::embedded_object_type_annotation ... ok
[INFO] [stdout] test annotations::fn_instantiated_via_type_hint ... ok
[INFO] [stdout] test annotations::assigning_to_a_slice_and_then_narrowing ... ok
[INFO] [stdout] test annotations::object_annotations ... ok
[INFO] [stdout] test annotations::fn_with_varargs ... ok
[INFO] [stdout] test annotations::object_destructure_with_narrowing_annotation ... ok
[INFO] [stdout] test annotations::transmuting_type_via_casts ... ok
[INFO] [stdout] test annotations::generalizing_dyn_constraint ... ok
[INFO] [stdout] test annotations::partial_dyn_annotation_on_fn_arg ... ok
[INFO] [stdout] test annotations::indexing_with_annotations ... ok
[INFO] [stdout] test annotations::type_hint_within_tuple ... ok
[INFO] [stdout] test annotations::mix_of_any_and_specific_types_in_fns ... ok
[INFO] [stdout] test annotations::annotations_for_fns_with_slices_in_contravariant_position ... ok
[INFO] [stdout] test annotations::fn_narrowed_via_type_hint ... ok
[INFO] [stdout] test annotations::annotations_for_fns_with_slices ... ok
[INFO] [stdout] test annotations::mix_of_any_and_specific_types ... ok
[INFO] [stdout] test annotations::object_annotations_in_function ... ok
[INFO] [stdout] test annotations::type_with_tuple_of_any ... ok
[INFO] [stdout] test annotations::dyn_annotation_propagation ... ok
[INFO] [stdout] test annotations::widening_type_hint_with_generic_slice_arg ... ok
[INFO] [stdout] test annotations::unifying_tuples_with_dyn_lengths ... ok
[INFO] [stdout] test annotations::valid_type_hint_with_slice ... ok
[INFO] [stdout] test annotations::unifying_tuples_with_middle ... ok
[INFO] [stdout] test annotations::wildcard_var_influences_typing ... ok
[INFO] [stdout] test basics::any_can_be_copied_and_unified_with_anything ... ok
[INFO] [stdout] test annotations::valid_type_hint_with_fn_arg ... ok
[INFO] [stdout] test basics::any_can_be_destructured_and_unified_with_anything ... ok
[INFO] [stdout] test basics::comparison_type_errors ... ok
[INFO] [stdout] test basics::any_propagates_via_fn_params ... ok
[INFO] [stdout] test annotations::custom_constraint_if_added_to_env ... ok
[INFO] [stdout] test annotations::fn_incorrectly_narrowed_via_type_hint ... ok
[INFO] [stdout] test annotations::any_type ... ok
[INFO] [stdout] test basics::boolean_statements ... ok
[INFO] [stdout] test basics::comparisons_when_switched_on ... ok
[INFO] [stdout] test basics::constraint_passed_to_wrapping_fn ... ok
[INFO] [stdout] test basics::curried_function_passed_as_arg ... ok
[INFO] [stdout] test basics::attributing_type_vars_to_correct_fn ... ok
[INFO] [stdout] test annotations::constraint_with_dyn_object_and_cast ... ok
[INFO] [stdout] test annotations::type_cast_basics ... ok
[INFO] [stdout] test basics::destructuring_with_unnamed_middle ... ok
[INFO] [stdout] test annotations::type_hint_in_fn_arg ... ok
[INFO] [stdout] test basics::fn_args_can_be_unified_with_concrete_length ... ok
[INFO] [stdout] test basics::function_arg_with_multiple_args ... ok
[INFO] [stdout] test basics::function_as_arg_with_more_constraints ... ok
[INFO] [stdout] test basics::free_and_bound_type_vars ... ok
[INFO] [stdout] test basics::destructuring_for_fn_args ... ok
[INFO] [stdout] test basics::function_accepting_slices ... 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::indexing_after_narrowing_type ... ok
[INFO] [stdout] test basics::function_instantiations_are_independent ... ok
[INFO] [stdout] test basics::immediately_invoked_function ... ok
[INFO] [stdout] test basics::indexing_basics ... ok
[INFO] [stdout] test basics::function_passed_as_arg ... ok
[INFO] [stdout] test basics::any_can_be_unified_with_anything ... ok
[INFO] [stdout] test basics::function_as_arg ... ok
[INFO] [stdout] test annotations::dyn_annotation_on_fn_arg ... ok
[INFO] [stdout] test annotations::type_with_any_fn ... ok
[INFO] [stdout] test basics::function_as_arg_with_even_more_constraints ... ok
[INFO] [stdout] test basics::non_linear_types_in_function ... ok
[INFO] [stdout] test basics::defining_and_calling_embedded_function ... ok
[INFO] [stdout] test basics::method_basics ... ok
[INFO] [stdout] test basics::mix_of_static_and_dynamic_slices ... ok
[INFO] [stdout] test basics::parametric_fn_passed_as_arg_with_different_constraints ... ok
[INFO] [stdout] test basics::inferring_type_from_embedded_function ... ok
[INFO] [stdout] test basics::multiple_wildcard_vars_in_fn_def_are_fine ... ok
[INFO] [stdout] test basics::mix_of_static_and_dynamic_slices_via_fn ... ok
[INFO] [stdout] test annotations::widening_type_hint_with_slice_arg ... ok
[INFO] [stdout] test basics::spreading_binary_ops ... ok
[INFO] [stdout] test basics::varargs_in_embedded_fn ... ok
[INFO] [stdout] test basics::statements_with_a_block ... ok
[INFO] [stdout] test errors::annotations::adding_dynamically_typed_slices ... ok
[INFO] [stdout] test basics::wildcard_var_is_not_assigned ... ok
[INFO] [stdout] test basics::type_param_is_placed_correctly_with_fn_arg ... ok
[INFO] [stdout] test errors::annotations::contradicting_constraint_with_dyn_object ... ok
[INFO] [stdout] test basics::unifying_slice_and_tuple ... ok
[INFO] [stdout] test basics::multiple_wildcard_vars_in_assignment_are_fine ... ok
[INFO] [stdout] test basics::slice_narrowed_to_tuple ... ok
[INFO] [stdout] test basics::unifying_length_vars ... ok
[INFO] [stdout] test basics::function_definition ... ok
[INFO] [stdout] test errors::annotations::contradicting_type_hint ... ok
[INFO] [stdout] test errors::annotations::contradicting_type_hint_with_slice ... ok
[INFO] [stdout] test errors::annotations::converting_fn_type_free_type_param ... ok
[INFO] [stdout] test errors::annotations::converting_fn_type_free_length ... ok
[INFO] [stdout] test errors::annotations::converting_fn_type_invalid_constraint ... ok
[INFO] [stdout] test errors::annotations::custom_constraint_if_incorrectly_added_to_env ... ok
[INFO] [stdout] test errors::annotations::custom_constraint_if_not_added_to_env ... ok
[INFO] [stdout] test errors::annotations::converting_fn_type_unused_length ... ok
[INFO] [stdout] test basics::function_as_arg_within_tuple ... ok
[INFO] [stdout] test errors::annotations::dyn_constraint_non_object ... ok
[INFO] [stdout] test errors::annotations::converting_fn_type_unused_type ... ok
[INFO] [stdout] test annotations::valid_type_hint_with_fn_declaration ... 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::error_when_parsing_standalone_some_type ... ok
[INFO] [stdout] test errors::annotations::embedded_type_with_constraints ... ok
[INFO] [stdout] test errors::annotations::insufficient_info_when_indexing_tuple ... ok
[INFO] [stdout] test errors::annotations::invalid_type_hint_with_fn_arg ... ok
[INFO] [stdout] test errors::annotations::type_cast_error_in_subtype ... 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::unifying_dynamic_slices_error ... ok
[INFO] [stdout] test errors::annotations::object_annotation_mismatch ... ok
[INFO] [stdout] test errors::annotations::object_type_with_duplicate_fields ... ok
[INFO] [stdout] test basics::destructuring_for_tuple_on_assignment ... ok
[INFO] [stdout] test errors::annotations::unsupported_type_param_in_generic_fn ... ok
[INFO] [stdout] test errors::annotations::unsupported_type_param_location ... ok
[INFO] [stdout] test errors::cannot_destructure_dynamic_slice ... ok
[INFO] [stdout] test errors::annotations::extra_fields_in_dyn_fn_arg ... ok
[INFO] [stdout] test errors::annotations::unsupported_const_param_in_generic_fn ... ok
[INFO] [stdout] test errors::annotations::type_cast_basic_error ... ok
[INFO] [stdout] test basics::unifying_types_containing_any ... ok
[INFO] [stdout] test errors::annotations::contradicting_dyn_constraint_via_field_access ... ok
[INFO] [stdout] test errors::comparisons_when_switched_off ... ok
[INFO] [stdout] test errors::function_passed_as_arg_invalid_arg_type ... ok
[INFO] [stdout] test errors::constraint_error ... ok
[INFO] [stdout] test errors::destructuring_error_on_assignment ... ok
[INFO] [stdout] test errors::dyn_type_as_function ... ok
[INFO] [stdout] test errors::incorrect_arg_in_slices ... ok
[INFO] [stdout] test errors::immediately_invoked_function_with_invalid_arg ... ok
[INFO] [stdout] test errors::indexing_unsupported_errors ... ok
[INFO] [stdout] test errors::indirect_type_recursion ... ok
[INFO] [stdout] test errors::invalid_field_name ... ok
[INFO] [stdout] test basics::type_params_in_fn_with_multiple_fn_args ... ok
[INFO] [stdout] test errors::indexing_hard_errors ... ok
[INFO] [stdout] test errors::annotations::bogus_annotation_in_fn_definition ... ok
[INFO] [stdout] test errors::locating_tuple_middle_with_failed_constraint ... ok
[INFO] [stdout] test errors::locating_type_with_failed_constraint ... ok
[INFO] [stdout] test errors::multiple::recovery_after_error ... ok
[INFO] [stdout] test errors::multiple::recovery_in_fn_with_insufficient_args ... ok
[INFO] [stdout] test errors::multiple::multiple_independent_errors ... ok
[INFO] [stdout] test errors::multiple_var_assignments_in_fn_def ... ok
[INFO] [stdout] test errors::multiple_var_assignments ... ok
[INFO] [stdout] test errors::multiple_var_assignments_in_fn_def_complex ... ok
[INFO] [stdout] test errors::multiple::recovery_in_mangled_fn_definition ... ok
[INFO] [stdout] test errors::function_passed_as_arg_invalid_input ... ok
[INFO] [stdout] test errors::annotations::contradicting_field_types_via_annotations ... ok
[INFO] [stdout] test basics::variable_scoping ... ok
[INFO] [stdout] test errors::incorrect_tuple_length_returned_from_fn ... ok
[INFO] [stdout] test errors::annotations::missing_field_after_object_annotation ... ok
[INFO] [stdout] test errors::function_passed_as_arg_invalid_arity ... ok
[INFO] [stdout] test errors::dyn_type_with_bogus_function_call ... ok
[INFO] [stdout] test errors::object::creating_and_consuming_object_in_closure ... ok
[INFO] [stdout] test errors::object::incompatible_fields_via_constraints_for_object_constraint_rev ... ok
[INFO] [stdout] test errors::object::object_and_tuple_constraints_via_fields ... ok
[INFO] [stdout] test errors::object::incompatible_fields_via_constraints_for_object_constraint ... ok
[INFO] [stdout] test errors::object::recursive_object_constraint ... ok
[INFO] [stdout] test errors::object::incompatible_field_types_via_accesses ... ok
[INFO] [stdout] test errors::multiple_var_assignments_complex ... ok
[INFO] [stdout] test errors::object::recursive_object_type ... ok
[INFO] [stdout] test errors::object::incompatible_fields_via_constraints_for_concrete_object ... ok
[INFO] [stdout] test errors::multiple::recovery_in_fn_definition ... 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::folding_to_object_errors ... ok
[INFO] [stdout] test errors::object::repeated_field_in_object_destructure ... ok
[INFO] [stdout] test errors::recursion_via_fn ... ok
[INFO] [stdout] test errors::recovery::vars_are_not_assigned_beyond_first_error ... ok
[INFO] [stdout] test errors::overly_large_indexed_field ... ok
[INFO] [stdout] test errors::object::repeated_field_in_object_initialization ... ok
[INFO] [stdout] test errors::recovery::errors_in_inner_scopes_are_handled_adequately ... ok
[INFO] [stdout] test errors::object::object_and_tuple_constraints ... ok
[INFO] [stdout] test errors::parametric_fn_passed_as_arg_with_recursive_requirements ... ok
[INFO] [stdout] test errors::recovery::first_failing_statement_is_not_overwritten ... ok
[INFO] [stdout] test errors::type_recursion ... ok
[INFO] [stdout] test errors::recovery::first_failing_statement_on_error_in_return_value ... ok
[INFO] [stdout] test errors::recovery::recovery_after_bogus_annotations ... ok
[INFO] [stdout] test errors::object::tuple_as_object ... 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::unifying_length_vars_error ... ok
[INFO] [stdout] test errors::recovery::errors_in_functions_are_handled_adequately ... ok
[INFO] [stdout] test errors::object::incompatible_fields_in_embedded_obj ... ok
[INFO] [stdout] test examples::schnorr_signatures_error ... ok
[INFO] [stdout] test errors::unknown_method ... ok
[INFO] [stdout] test length_eqs::push_fn_basics ... ok
[INFO] [stdout] test length_eqs::push_fn_in_other_fn_definition ... ok
[INFO] [stdout] test length_eqs::errors_when_adding_dynamic_slices ... ok
[INFO] [stdout] test hash_fn_type_display ... ok
[INFO] [stdout] test length_eqs::requirements_on_len_via_destructuring ... ok
[INFO] [stdout] test length_eqs::comparing_lengths_after_push ... ok
[INFO] [stdout] test length_eqs::reversing_a_slice ... ok
[INFO] [stdout] test errors::recovery::vars_are_not_redefined_beyond_first_error ... ok
[INFO] [stdout] test length_eqs::column_row_equality_fn ... ok
[INFO] [stdout] test examples::el_gamal_encryption ... ok
[INFO] [stdout] test examples::rfold ... ok
[INFO] [stdout] test examples::quick_sort ... ok
[INFO] [stdout] test examples::schnorr_signatures ... ok
[INFO] [stdout] test length_eqs::several_push_applications ... ok
[INFO] [stdout] test length_eqs::square_function ... ok
[INFO] [stdout] test examples::dsa_signatures_imprecise ... ok
[INFO] [stdout] test object::applying_object_constraints ... ok
[INFO] [stdout] test object::creating_and_consuming_object_in_closure ... ok
[INFO] [stdout] test object::additional_object_constraints_through_multiple_fns ... ok
[INFO] [stdout] test object::additional_object_constraint ... ok
[INFO] [stdout] test examples::el_gamal_encryption_imprecise ... ok
[INFO] [stdout] test object::extra_fields_are_retained_with_constraints ... ok
[INFO] [stdout] test object::embedded_objects ... ok
[INFO] [stdout] test object::embedded_object_constraints ... ok
[INFO] [stdout] test examples::dsa_signatures ... ok
[INFO] [stdout] test object::object_destructure_in_fold_pipeline ... ok
[INFO] [stdout] test object::object_destructure_in_map_pipeline ... ok
[INFO] [stdout] test object::functional_fields_in_objects ... ok
[INFO] [stdout] test object::functional_fields_in_object_constraints ... ok
[INFO] [stdout] test object::object_destructure_in_fn_args ... ok
[INFO] [stdout] test object::object_expr_basics ... ok
[INFO] [stdout] test object::object_destructure_basics ... ok
[INFO] [stdout] test object::object_destructure_with_complex_bindings ... ok
[INFO] [stdout] test examples::schnorr_signatures_mutations ... ok
[INFO] [stdout] test object::object_and_ordinary_constraints ... ok
[INFO] [stdout] test examples::schnorr_signatures_imprecise ... ok
[INFO] [stdout] test object::shared_type_vars_in_objects ... ok
[INFO] [stdout] test object::shared_type_vars_in_objects_curried ... ok
[INFO] [stdout] test object::interleaving_object_constraints ... ok
[INFO] [stdout] test object::object_field_access ... ok
[INFO] [stdout] test length_eqs::total_sum ... ok
[INFO] [stdout] test zip_fn_type_display ... ok
[INFO] [stdout] test object::tuples_with_dyn_length_as_object_fields ... ok
[INFO] [stdout] test object::tuples_as_object_fields ... ok
[INFO] [stdout] test examples::dsa_signatures_mutations ... ok
[INFO] [stdout] test object::folding_to_object ... ok
[INFO] [stdout] test object::creating_object_in_closure ... ok
[INFO] [stdout] test object::interleaving_object_constraints_complex_case ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 227 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.95s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/version_match.rs (/opt/rustwide/target/debug/deps/version_match-61769efe37cee67b)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test readme_is_in_sync ... ok
[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.03s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests arithmetic-typing
[INFO] [stdout] 
[INFO] [stdout] running 29 tests
[INFO] [stdout] test src/arith/constraints.rs - arith::constraints::StructConstraint (line 100) ... ok
[INFO] [stdout] test src/lib.rs - PrimitiveType (line 189) ... ok
[INFO] [stdout] test src/ast/mod.rs - ast::FunctionAst (line 128) ... ok
[INFO] [stdout] test src/ast/mod.rs - ast::TypeAst (line 36) ... ok
[INFO] [stdout] test src/types/fn_type.rs - types::fn_type::FunctionBuilder (line 385) ... ok
[INFO] [stdout] test src/types/fn_type.rs - types::fn_type::FunctionBuilder (line 355) ... ok
[INFO] [stdout] test src/types/fn_type.rs - types::fn_type::FunctionBuilder (line 365) ... 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 151) ... ok
[INFO] [stdout] test src/lib.rs - Annotated (line 247) ... ok
[INFO] [stdout] test src/types/tuple.rs - types::tuple::Tuple (line 258) ... ok
[INFO] [stdout] test src/types/tuple.rs - types::tuple::Tuple<Prim>::element_types (line 523) ... ok
[INFO] [stdout] test src/types/mod.rs - types::Type (line 120) ... ok
[INFO] [stdout] test src/ast/conversion.rs - ast::conversion::AstConversionError (line 33) ... ok
[INFO] [stdout] test src/types/tuple.rs - types::tuple::Tuple<Prim>::len (line 412) ... ok
[INFO] [stdout] test src/defs.rs - defs::Prelude (line 24) ... ok
[INFO] [stdout] test src/lib.rs - (line 70) ... ok
[INFO] [stdout] test src/error/mod.rs - error::Errors (line 182) ... ok
[INFO] [stdout] test src/lib.rs - (line 91) ... ok
[INFO] [stdout] test src/types/mod.rs - types::DynConstraints (line 401) ... ok
[INFO] [stdout] test src/env/mod.rs - env::TypeEnvironment (line 34) ... ok
[INFO] [stdout] test src/types/mod.rs - types::DynConstraints (line 373) ... ok
[INFO] [stdout] test src/types/mod.rs - types::Type (line 141) ... ok
[INFO] [stdout] test src/defs.rs - defs::Prelude (line 41) ... 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/object.rs - types::object::Object (line 29) ... ok
[INFO] [stdout] test src/types/object.rs - types::object::Object (line 54) ... ok
[INFO] [stdout] test src/types/tuple.rs - types::tuple::Slice (line 596) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 29 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 29.17s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "5988725a8185822df6ade34b907a465afaa04abd6f816981659cd8789fca2a6d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5988725a8185822df6ade34b907a465afaa04abd6f816981659cd8789fca2a6d", kill_on_drop: false }`
[INFO] [stdout] 5988725a8185822df6ade34b907a465afaa04abd6f816981659cd8789fca2a6d