[INFO] cloning repository https://github.com/PKD667/beam
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/PKD667/beam" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FPKD667%2Fbeam", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FPKD667%2Fbeam'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 7df0a02e0d0d9e1cf716bb5be70c427ea17e6828
[INFO] testing PKD667/beam against 1.94.0 for beta-1.95-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FPKD667%2Fbeam" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/PKD667/beam
[INFO] finished tweaking git repo https://github.com/PKD667/beam
[INFO] tweaked toml for git repo https://github.com/PKD667/beam written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/PKD667/beam on toolchain 1.94.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.94.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/PKD667/beam 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.94.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded gzip-header v1.0.0
[INFO] [stderr]   Downloaded multipart v0.18.0
[INFO] [stderr]   Downloaded buf_redux v0.8.4
[INFO] [stderr]   Downloaded twoway v0.1.8
[INFO] [stderr]   Downloaded bimap v0.6.3
[INFO] [stderr]   Downloaded clap_derive v4.5.47
[INFO] [stderr]   Downloaded clap v4.5.47
[INFO] [stderr]   Downloaded moka v0.12.11
[INFO] [stderr]   Downloaded rouille v3.6.2
[INFO] [stderr]   Downloaded clap_builder v4.5.47
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.94.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] a2c17586ddcef6ae62de3c0fe3b593a1ef05e5de121ae506ac5780bf52d6e519
[INFO] running `Command { std: "docker" "start" "-a" "a2c17586ddcef6ae62de3c0fe3b593a1ef05e5de121ae506ac5780bf52d6e519", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a2c17586ddcef6ae62de3c0fe3b593a1ef05e5de121ae506ac5780bf52d6e519", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a2c17586ddcef6ae62de3c0fe3b593a1ef05e5de121ae506ac5780bf52d6e519", kill_on_drop: false }`
[INFO] [stdout] a2c17586ddcef6ae62de3c0fe3b593a1ef05e5de121ae506ac5780bf52d6e519
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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" "RUSTDOCFLAGS=--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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.94.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c47e8512dfbb373119f8afdce7bee558f73fc7feb78b97abbe55a6049e2f5846
[INFO] running `Command { std: "docker" "start" "-a" "c47e8512dfbb373119f8afdce7bee558f73fc7feb78b97abbe55a6049e2f5846", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.175
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling memchr v2.7.5
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling serde_core v1.0.226
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling mime_guess v2.0.5
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling serde v1.0.226
[INFO] [stderr]    Compiling portable-atomic v1.11.1
[INFO] [stderr]    Compiling crc32fast v1.5.0
[INFO] [stderr]    Compiling safemem v0.3.3
[INFO] [stderr]    Compiling anstream v0.6.20
[INFO] [stderr]    Compiling form_urlencoded v1.2.2
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling gzip-header v1.0.0
[INFO] [stderr]    Compiling deranged v0.5.4
[INFO] [stderr]    Compiling unicode-width v0.2.2
[INFO] [stderr]    Compiling chunked_transfer v1.5.0
[INFO] [stderr]    Compiling ascii v1.1.0
[INFO] [stderr]    Compiling moka v0.12.11
[INFO] [stderr]    Compiling crossbeam-deque v0.8.6
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling regex-syntax v0.8.6
[INFO] [stderr]    Compiling clap_builder v4.5.47
[INFO] [stderr]    Compiling chrono v0.4.42
[INFO] [stderr]    Compiling deflate v1.0.0
[INFO] [stderr]    Compiling brotli v3.5.0
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling tiny_http v0.12.0
[INFO] [stderr]    Compiling crossbeam-channel v0.5.15
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling num_cpus v1.17.0
[INFO] [stderr]    Compiling buf_redux v0.8.4
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling twoway v0.1.8
[INFO] [stderr]    Compiling uuid v1.19.0
[INFO] [stderr]    Compiling threadpool v1.8.1
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling console v0.15.11
[INFO] [stderr]    Compiling time v0.3.44
[INFO] [stderr]    Compiling filetime v0.2.26
[INFO] [stderr]    Compiling sha1_smol v1.0.1
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling tagptr v0.2.0
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling base64 v0.13.1
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling indicatif v0.17.11
[INFO] [stderr]    Compiling bimap v0.6.3
[INFO] [stderr]    Compiling regex-automata v0.4.11
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling multipart v0.18.0
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.0
[INFO] [stderr]    Compiling zerovec-derive v0.11.1
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling serde_derive v1.0.226
[INFO] [stderr]    Compiling clap_derive v4.5.47
[INFO] [stderr]    Compiling regex v1.11.1
[INFO] [stderr]    Compiling zerofrom v0.1.6
[INFO] [stderr]    Compiling yoke v0.8.0
[INFO] [stderr]    Compiling clap v4.5.47
[INFO] [stderr]    Compiling zerovec v0.11.4
[INFO] [stderr]    Compiling zerotrie v0.2.2
[INFO] [stderr]    Compiling tinystr v0.8.1
[INFO] [stderr]    Compiling potential_utf v0.1.3
[INFO] [stderr]    Compiling icu_collections v2.0.0
[INFO] [stderr]    Compiling icu_locale_core v2.0.0
[INFO] [stderr]    Compiling icu_provider v2.0.0
[INFO] [stderr]    Compiling icu_properties v2.0.1
[INFO] [stderr]    Compiling icu_normalizer v2.0.0
[INFO] [stderr]    Compiling idna_adapter v1.2.1
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling url v2.5.7
[INFO] [stderr]    Compiling rouille v3.6.2
[INFO] [stderr]    Compiling aufbau v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 49.36s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: buf_redux v0.8.4, multipart v0.18.0
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] running `Command { std: "docker" "inspect" "c47e8512dfbb373119f8afdce7bee558f73fc7feb78b97abbe55a6049e2f5846", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c47e8512dfbb373119f8afdce7bee558f73fc7feb78b97abbe55a6049e2f5846", kill_on_drop: false }`
[INFO] [stdout] c47e8512dfbb373119f8afdce7bee558f73fc7feb78b97abbe55a6049e2f5846
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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" "RUSTDOCFLAGS=--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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.94.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 849c0c3fb89523d6e7de188f41c96cf2f59d3e8db8fa5b71cfb8f6d791d3d2e7
[INFO] running `Command { std: "docker" "start" "-a" "849c0c3fb89523d6e7de188f41c96cf2f59d3e8db8fa5b71cfb8f6d791d3d2e7", kill_on_drop: false }`
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling uuid v1.19.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling multipart v0.18.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling moka v0.12.11
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling chrono v0.4.42
[INFO] [stderr]    Compiling proptest v1.9.0
[INFO] [stderr]    Compiling rouille v3.6.2
[INFO] [stderr]    Compiling aufbau v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 24.25s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: buf_redux v0.8.4, multipart v0.18.0
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] running `Command { std: "docker" "inspect" "849c0c3fb89523d6e7de188f41c96cf2f59d3e8db8fa5b71cfb8f6d791d3d2e7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "849c0c3fb89523d6e7de188f41c96cf2f59d3e8db8fa5b71cfb8f6d791d3d2e7", kill_on_drop: false }`
[INFO] [stdout] 849c0c3fb89523d6e7de188f41c96cf2f59d3e8db8fa5b71cfb8f6d791d3d2e7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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" "RUSTDOCFLAGS=--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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.94.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 1b2c1b10c0525d29b9a3d689925815d26145af4ef2ebdd5860bc1e029851d984
[INFO] running `Command { std: "docker" "start" "-a" "1b2c1b10c0525d29b9a3d689925815d26145af4ef2ebdd5860bc1e029851d984", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.20s
[INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: buf_redux v0.8.4, multipart v0.18.0
[INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`
[INFO] [stderr]      Running unittests src/mod.rs (/opt/rustwide/target/debug/deps/aufbau-99e15d5b8a03e48c)
[INFO] [stdout] 
[INFO] [stdout] running 422 tests
[INFO] [stdout] test logic::grammar::tests::expression_bindings_are_preserved ... ok
[INFO] [stdout] test logic::grammar::tests::grammar_tracks_special_tokens_for_literals ... ok
[INFO] [stdout] test logic::grammar::tests::regex_literals_round_trip ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_full_if_expression ... ok
[INFO] [stdout] test logic::grammar::tests::literal_tokens_become_regex_symbols ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_full_lambda_expression ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_identifier_containing_keyword ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_keywords_match_exactly ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_identifier_ending_in_keyword_prefix ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_identifier_is_keyword_prefix ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_nested_lambda_with_arrow_types ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_partial_arrow_after_identifier ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_partial_arrow_after_typename ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_typename_bool_standalone ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_typename_ending_in_e ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_typename_ending_in_t ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_typename_int_before_space ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_typename_int_before_arrow ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_typename_int_in_lambda ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::test_complete_special_token_not_partial ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::test_partial_special_token_at_end ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::test_partial_special_token_in_lambda_type ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_typename_int_standalone ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::test_tokenize_with_spans_positions ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_keyword_followed_by_space_and_identifier ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::test_tokenize_with_special_tokens ... ok
[INFO] [stdout] test logic::partial::compact::tests::test_string_encoding ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_partial_keyword_at_end ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_typename_ending_in_i ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_partial_lambda_prefix_int ... ok
[INFO] [stdout] test logic::partial::display::tests::test_display_simple_complete ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_typename_ending_in_f ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_all_terminal_fields_preserved ... ok
[INFO] [stdout] test logic::partial::compact::tests::test_compact_roundtrip_simple ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_full_let_expression ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_number_token_not_split ... ok
[INFO] [stdout] test logic::grammar::tokenizer::tests::fun_typename_int_before_dot ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_load_complete_terminal ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_consumed_segments_preserved ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_complete_roundtrip_no_information_loss ... ok
[INFO] [stdout] test logic::grammar::tests::stlc_abs_binding_paths_match_spec ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_load_nested_tree ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_load_nonterminal ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_load_partial_ast_single_root ... ok
[INFO] [stdout] test logic::partial::compact::tests::test_varint_encoding ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_load_partial_nonterminal ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_load_partial_ast_multiple_roots ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_load_terminal_with_binding ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_node_serialize_method ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_load_with_alternative_index ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_partial_ast_serialization ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_nonterminal_serialize_method ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_load_partial_terminal ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_nt_serialization ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_partial_ast_serialize_method ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_new_symbol_format ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_roundtrip_complex_tree ... ok
[INFO] [stdout] test logic::partial::compact::tests::test_compact_stlc_variable ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_roundtrip_simple ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_serialize_with_comments ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_deeply_nested_nonterminals ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_first_sets_with_alternatives ... ok
[INFO] [stdout] test logic::partial::test_debug ... ok
[INFO] [stdout] test logic::partial::test_complete_len_partial ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_alternatives_with_common_prefix ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_group_with_multiple_symbols ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_group_with_optional_prefix ... ok
[INFO] [stdout] test logic::partial::test_complete_len ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_multiple_alternatives_all_contribute ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_multiple_completed_repetitions ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_next_symbol_prediction ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_group_repetition_tail ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_nested_nullable_groups ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_mixed_literals_and_regex ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_nullable_group_lookahead ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_partial_literal_midway ... ok
[INFO] [stdout] test logic::partial::serialize::tests::test_terminal_serialize_method ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_optional_single_symbol ... ok
[INFO] [stdout] test logic::partial::test_complete_len_nested ... ok
[INFO] [stdout] test logic::partial::compact::tests::test_compact_stlc_lambda ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_binary_op_requires_operand ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_plus_repetition_after_one_match ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_regex_identifier ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_single_literal ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_single_wrapped_regex ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_deduplicates_identical_tokens ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_tail_repetition_plus ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_star_repetition_can_skip ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_regex_alternatives ... ok
[INFO] [stdout] test logic::partial::tests::completions::test_completions ... ok
[INFO] [stdout] test logic::partial::tests::completions::typed_completion_basic ... ok
[INFO] [stdout] test logic::partial::tests::completions::test_paren_expr_is_complete ... ok
[INFO] [stdout] test logic::partial::tests::expectations::custom_partial_arrow ... ok
[INFO] [stdout] test logic::partial::tests::completions::typed_completion_complex_expression ... ok
[INFO] [stdout] test logic::partial::tests::completions::typed_completion_preserves_all_valid ... ok
[INFO] [stdout] test logic::partial::tests::completions::typed_completion_with_context ... ok
[INFO] [stdout] test logic::partial::tests::expectations::custom_left_rec ... ok
[INFO] [stdout] test logic::partial::tests::meta::test_metaparser_does_not_carry_depth_between_inputs ... ok
[INFO] [stdout] test logic::partial::tests::parser::test_alternatives ... ok
[INFO] [stdout] test logic::partial::tests::parser::test_binding_preservation ... ok
[INFO] [stdout] test logic::partial::tests::parser::test_complex_grammar ... ok
[INFO] [stdout] test logic::partial::tests::completions::typed_completions_keep_identifier_prefix_with_context ... ok
[INFO] [stdout] test logic::partial::tests::expectations::stlc_app ... ok
[INFO] [stdout] test logic::partial::tests::expectations::stlc_var ... ok
[INFO] [stdout] test logic::partial::tests::parser::test_mismatch_rejection ... ok
[INFO] [stdout] test logic::partial::tests::parser::test_keywords_are_not_matched_by_identifier_regex ... ok
[INFO] [stdout] test logic::partial::tests::parser::test_partial_alternatives ... ok
[INFO] [stdout] test logic::partial::tests::parser::test_partial_at_end ... ok
[INFO] [stdout] test logic::partial::tests::parser::test_partial_literal ... ok
[INFO] [stdout] test logic::partial::tests::parser::test_partial_special_token_arrow ... ok
[INFO] [stdout] test logic::partial::tests::parser::test_simple_literal ... ok
[INFO] [stdout] test logic::partial::tests::meta::test_metaparser_multiplicative_growth ... ok
[INFO] [stdout] test logic::partial::tests::parser::test_partial_lambda_arrow ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_indirect_left_rec_three_nonterminals ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_indirect_left_rec_two_nonterminals ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_indirect_left_rec_expression_grammar ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_left_rec_list_construction ... ok
[INFO] [stdout] test logic::partial::tests::completions::typed_completions_filters_malformed_roots ... ok
[INFO] [stdout] test logic::partial::compact::tests::test_compact_stlc_application ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_no_ambiguity_in_sequence ... ok
[INFO] [stdout] test logic::partial::tests::parser::test_fun_let_prefix_contains_let_branch ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_left_rec_deep_chain ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_left_rec_single_operator ... ok
[INFO] [stdout] test logic::partial::tests::parser::test_fun_float_operator_prefix_parseability ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_mixed_left_right_recursion ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_mutual_rec_expression_statement ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_mutual_rec_simple ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_partial_in_mixed_recursion ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_mutual_rec_nested_structures ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_partial_in_left_recursive ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_partial_in_nested_structure ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_partial_in_right_recursive ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_right_rec_nested_structures ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_right_rec_cons_list ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_right_rec_exponentiation ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_right_rec_single_operator ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_all_terminal_fields_preserved ... ok
[INFO] [stdout] test logic::partial::tests::parser::test_toy_concat_prefix_parseability ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_complete_roundtrip_no_information_loss ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_load_nested_tree ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_load_partial_ast_multiple_roots ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_load_partial_ast_single_root ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_consumed_segments_preserved ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_load_complete_terminal ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_load_partial_nonterminal ... ok
[INFO] [stdout] test logic::partial::tests::completions::completion_fun_let_prefix_does_not_offer_binary_ops ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_load_partial_terminal ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_load_nonterminal ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_load_terminal_with_binding ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_load_with_alternative_index ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_node_serialize_method ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_nonterminal_serialize_method ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_new_symbol_format ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_roundtrip_simple ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_nt_serialization ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_partial_ast_serialize_method ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_serialize_with_comments ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_terminal_serialize_method ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_roundtrip_complex_tree ... ok
[INFO] [stdout] test logic::partial::serialize_complex_stlc ... ok
[INFO] [stdout] test logic::partial::tests::expectations::imp_block ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_partial_typing ... ok
[INFO] [stdout] test logic::partial::tests::serialization::test_partial_ast_serialization ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_application ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_application_long_chain ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_left_rec_with_parentheses ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_app_vs_lambda_ambiguity ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_chained_application ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_application_with_parentheses ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_apply_lambda ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_application_of_parenthesized_expr ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_apply ... ok
[INFO] [stdout] test logic::partial::tests::expectations::fun_int ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_apply_lambda_to_lambda ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_const ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_consecutive_lambdas_applied ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_deeply_nested_application_in_lambda ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_identity ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_deep_nested_types ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_function_type_with_parens ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_function_type_right_associative ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_lambda_in_application_chain ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_complex_nested_types ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_lambda_returning_lambda ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_lambda_with_function_type ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_lambda_with_application_body ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_long_application_chain ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_complex_mixed_expression ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_multiple_parens_in_type ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_partial_application ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_partial_lambda ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_nested_lambdas ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_parenthesized_variable ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_partial_type ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_simple_application ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_lambda_with_parenthesized_type ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_nested_parenthesized_applications ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_simple_application_with_serialization ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_partial_nested_parens ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_simple_variable_with_serialization ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_simple_function_type ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_simple_variable ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_simple_lambda ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_mixed_complex_grammar ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_single_char_identifiers ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_type_arrow_vs_expr ... ok
[INFO] [stdout] test logic::partial::tests::synth::extend_commits_input_and_tree ... ok
[INFO] [stdout] test logic::search::tests::search_fun_let_name_prefix_depth6 ... ignored, search broken after max_states cap, needs fixing
[INFO] [stdout] test logic::search::tests::search_fun_let_prefix_depth7 ... ignored, search broken after max_states cap, needs fixing
[INFO] [stdout] test logic::partial::tests::synth::typed_completions_for_def_after_equals ... ok
[INFO] [stdout] test logic::typing::ops::tests::subtype_member_into_union ... ok
[INFO] [stdout] test logic::typing::ops::tests::subtype_union_not_into_single_member ... ok
[INFO] [stdout] test logic::typing::ops::tests::unify_union_with_meta_member ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_underscore_identifiers ... ok
[INFO] [stdout] test logic::typing::symbols::tests::test_gather_terminal_nodes ... ok
[INFO] [stdout] test logic::partial::tests::synth::try_extend_def_after_equals_with_number ... ok
[INFO] [stdout] test logic::typing::symbols::tests::test_gather_terminals_nested ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_deep_nested_lambdas ... ok
[INFO] [stdout] test logic::typing::symbols::tests::test_gather_terminals_simple ... ok
[INFO] [stdout] test logic::typing::syntax::tests::curried_function_application_types ... ok
[INFO] [stdout] test logic::typing::syntax::tests::arrow_associativity ... ok
[INFO] [stdout] test logic::typing::symbols::tests::test_gather_type_symbols ... ok
[INFO] [stdout] test logic::typing::syntax::tests::union_arrow_precedence ... ok
[INFO] [stdout] test logic::typing::syntax::tests::union_type_parses ... ok
[INFO] [stdout] test logic::typing::tests::context_lookup_type_parsing_and_display ... ok
[INFO] [stdout] test logic::partial::tests::synth::extend_with_regex_commits_input_and_tree ... ok
[INFO] [stdout] test logic::typing::symbols::tests::test_gather_raw_types ... ok
[INFO] [stdout] test logic::typing::tests::evaluate_typing_frontier_aware ... ok
[INFO] [stdout] test logic::typing::tests::evaluate_typing_rejects_malformed ... ok
[INFO] [stdout] test logic::typing::tests::contradiction::test_simple_lambda ... ok
[INFO] [stdout] test logic::typing::tests::contradiction::test_unbound_variable ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_compose ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_nested_lambda_application ... ok
[INFO] [stdout] test logic::typing::tests::contradiction::test_valid_app ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_boolean_false ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_flip ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_debug_lambda_prefixes ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_boolean_true ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_bare_unbound_variable ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_float_addition_operator ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_float_division_operator ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_lambda_bool_body ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_integer_literal ... ok
[INFO] [stdout] test logic::partial::tests::stlc::test_stlc_s_combinator ... ok
[INFO] [stdout] test logic::partial::tests::rec::test_left_rec_multiple_operators ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_let_bool ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_let_int ... ok
[INFO] [stdout] test exp::synth::tests::test_synthesizer_new ... ok
[INFO] [stdout] test logic::typing::tests::imp::imp_completion_debug_smoke ... ok
[INFO] [stdout] test logic::typing::tests::imp::imp_if_branches_do_not_share_context ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_lambda_constant ... ok
[INFO] [stdout] test logic::typing::tests::imp::imp_typing_accepts_sequential_var_assign ... ok
[INFO] [stdout] test logic::typing::tests::fx::test_f_x ... ok
[INFO] [stdout] test logic::typing::tests::imp::imp_typing_accepts_sequential_var_in_expr ... ok
[INFO] [stdout] test logic::typing::tests::imp::imp_typing_accepts_union_assignment ... ok
[INFO] [stdout] test logic::typing::tests::imp::imp_typing_accepts_sequential_var_reuse ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_float_operator_prefix_behavior ... FAILED
[INFO] [stdout] test logic::typing::tests::imp::imp_typing_fails_on_unbound_var_in_operation_rhs ... ok
[INFO] [stdout] test logic::typing::tests::imp::imp_typing_fails_on_unbound_var_in_assignment_rhs ... ok
[INFO] [stdout] test logic::typing::tests::imp::imp_typing_rejects_union_in_int_operation ... ok
[INFO] [stdout] test logic::typing::tests::parse::test_parse_raw ... ok
[INFO] [stdout] test logic::typing::tests::imp::imp_while_body_does_not_leak_bindings ... ok
[INFO] [stdout] test logic::typing::tests::redeclaration::test_context_extend_allows_different_variables ... ok
[INFO] [stdout] test logic::typing::tests::redeclaration::test_context_extend_rejects_duplicate ... ok
[INFO] [stdout] test logic::typing::tests::redeclaration::test_context_multiple_duplicates ... ok
[INFO] [stdout] test logic::typing::tests::imp::imp_typing_rejects_non_bool_if_condition ... ok
[INFO] [stdout] test logic::typing::tests::lc::test_identity ... ok
[INFO] [stdout] test logic::typing::tests::redeclaration::test_sequential_scopes_same_variable_rejected ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_identity_lambda ... ok
[INFO] [stdout] test logic::typing::tests::redeclaration::test_nested_lambda_same_variable_rejected ... ok
[INFO] [stdout] test logic::typing::tests::stlc_app_rule_parse_and_inspect ... ok
[INFO] [stdout] test logic::typing::tests::stlc_lambda_rule_parse_and_inspect ... ok
[INFO] [stdout] test logic::typing::tests::stlc_type_parsing_and_display ... ok
[INFO] [stdout] test logic::typing::tests::test_debug_quoted_type_parsing ... ok
[INFO] [stdout] test logic::typing::tests::tree::test_complete_filter ... ok
[INFO] [stdout] test logic::typing::tests::tree::test_has_well_typed ... ok
[INFO] [stdout] test logic::typing::tests::tree::test_lambda_binds_variable ... ok
[INFO] [stdout] test logic::typing::tests::tree::test_partial_with_complete_filter ... ok
[INFO] [stdout] test logic::typing::tests::tree::test_typed_ast_display ... ok
[INFO] [stdout] test logic::typing::tests::redeclaration::test_nested_lambda_different_variables_accepted ... ok
[INFO] [stdout] test logic::typing::tests::tree::test_typed_complete_composition ... ok
[INFO] [stdout] test logic::typing::tests::tree::test_typed_node_is_complete ... ok
[INFO] [stdout] test logic::typing::tests::tree::test_typed_basic ... ok
[INFO] [stdout] test logic::typing::tests::tree::test_typed_node_type_access ... ok
[INFO] [stdout] test logic::typing::tests::tree::test_variable_requires_context ... ok
[INFO] [stdout] test regex::dfa::tests::test_dfa_clean_basic ... ok
[INFO] [stdout] test regex::dfa::tests::test_dfa_clean_idempotent ... ok
[INFO] [stdout] test regex::dfa::tests::test_dfa_clean_preserves_acceptance ... ok
[INFO] [stdout] test logic::typing::tests::tree::test_variable_with_context_succeeds ... ok
[INFO] [stdout] test regex::dfa::tests::test_dfa_derive ... ok
[INFO] [stdout] test regex::dfa::tests::test_dfa_from_nfa ... ok
[INFO] [stdout] test regex::dfa::tests::test_dfa_is_accepting ... ok
[INFO] [stdout] test regex::dfa::tests::test_dfa_clean_with_unreachable_states ... ok
[INFO] [stdout] test regex::dfa::tests::test_dfa_operations_complex ... ok
[INFO] [stdout] test regex::dfa::tests::test_dfa_operations_complement ... ok
[INFO] [stdout] test regex::dfa::tests::test_dfa_operations_difference ... ok
[INFO] [stdout] test regex::dfa::tests::test_dfa_operations_symmetric_difference ... ok
[INFO] [stdout] test regex::dfa::tests::test_dfa_operations_union ... ok
[INFO] [stdout] test regex::dfa::tests::test_dfa_operations_intersection ... ok
[INFO] [stdout] test regex::nfa::tests::test_build_from_regex ... ok
[INFO] [stdout] test regex::test::any_of_creates_char_class ... ok
[INFO] [stdout] test regex::test::cat_concatenates ... ok
[INFO] [stdout] test regex::test::common_patterns ... ok
[INFO] [stdout] test regex::test::concat_many_chains ... ok
[INFO] [stdout] test regex::test::deriv_char_match ... ok
[INFO] [stdout] test regex::test::deriv_concat ... ok
[INFO] [stdout] test regex::test::complex_pattern ... ok
[INFO] [stdout] test regex::test::deriv_star ... ok
[INFO] [stdout] test regex::test::deriv_union ... ok
[INFO] [stdout] test regex::test::derivative_full_string ... ok
[INFO] [stdout] test regex::test::empty_never_matches ... ok
[INFO] [stdout] test logic::partial::tests::expectations::fun_lambda ... ok
[INFO] [stdout] test regex::test::equiv_compares_simplified ... ok
[INFO] [stdout] test regex::test::epsilon_only_empty ... ok
[INFO] [stdout] test regex::test::example_returns_valid_string ... ok
[INFO] [stdout] test regex::test::examples_returns_multiple ... ok
[INFO] [stdout] test regex::test::is_empty_checks_empty ... ok
[INFO] [stdout] test regex::test::is_nullable_checks_matches_epsilon ... ok
[INFO] [stdout] test regex::test::literal_creates_char_sequence ... ok
[INFO] [stdout] test regex::test::literal_empty_is_epsilon ... ok
[INFO] [stdout] test regex::test::matches_basic ... ok
[INFO] [stdout] test regex::test::nested_star ... ok
[INFO] [stdout] test regex::test::opt_makes_optional ... ok
[INFO] [stdout] test regex::test::new_parses_patterns ... ok
[INFO] [stdout] test regex::test::plus_requires_at_least_one ... ok
[INFO] [stdout] test regex::test::prefix_match_complete ... ok
[INFO] [stdout] test regex::test::prefix_match_extensible ... ok
[INFO] [stdout] test regex::test::or_creates_union ... ok
[INFO] [stdout] test regex::test::prefix_match_valid_prefix ... ok
[INFO] [stdout] test regex::test::product_basic ... ok
[INFO] [stdout] test regex::test::product_empty_is_epsilon ... ok
[INFO] [stdout] test regex::test::deriv_range ... ok
[INFO] [stdout] test regex::test::product_traced_tracks_indices ... ok
[INFO] [stdout] test regex::test::simplify_propagates_empty ... ok
[INFO] [stdout] test regex::test::simplify_removes_epsilon ... ok
[INFO] [stdout] test regex::test::star_creates_kleene_star ... ok
[INFO] [stdout] test regex::test::simplify_dedupes_union ... ok
[INFO] [stdout] test regex::test::to_pattern_roundtrips ... ok
[INFO] [stdout] test regex::test::union_many_unions ... ok
[INFO] [stdout] test regex::test::valids_generates_matching_strings ... ok
[INFO] [stdout] test regex::test::valids_respects_max_length ... ok
[INFO] [stdout] test regex::test::test_match_len ... ok
[INFO] [stdout] test logic::typing::tests::redeclaration::test_triple_nested_lambda_duplicate_rejected ... ok
[INFO] [stdout] test regex::test::prefix_match_no_match ... ok
[INFO] [stdout] test validation::completability::tests::complete_accepts_keyword_and_name_prefix ... ok
[INFO] [stdout] test validation::completability::tests::complete_accepts_keyword_prefix_requiring_separator ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_let_unbound_in_body ... ok
[INFO] [stdout] test validation::completability::tests::prefix_ok_accepts_typed_partial_complete_identifier ... ok
[INFO] [stdout] test logic::typing::tests::redeclaration::test_triple_nested_lambda_all_different_accepted ... ok
[INFO] [stdout] test validation::completability::tests::typed_completions_keep_separator_when_later_premise_term_missing ... ok
[INFO] [stdout] test validation::completable::arithmetic::debug_arith_cache_poisoning ... ignored, debug probe 2 - cache poisoning
[INFO] [stdout] test validation::completable::arithmetic::debug_arith_completions ... ignored, debug probe
[INFO] [stdout] test validation::completability::tests::prefix_ok_accepts_context_extending_prefix_before_body ... ok
[INFO] [stdout] test validation::completability::tests::prefix_ok_accepts_nested_let_prefix_before_inner_body ... ok
[INFO] [stdout] test validation::completable::arithmetic::check_completable ... ok
[INFO] [stdout] test logic::typing::tests::redeclaration::test_lambda_with_application_duplicate_rejected ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_lambda_unbound_body ... ok
[INFO] [stdout] test validation::completable::fun::check_completable_empty_prefix ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_let_type_mismatch ... ok
[INFO] [stdout] test validation::completable::fun::check_completable_literals ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_nested_let ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_fun_applied_to_arg ... ok
[INFO] [stdout] test validation::completable::imp::bare_identifier_has_assignment_completion_path ... ok
[INFO] [stdout] test validation::completable::fun::check_completable_variables ... ok
[INFO] [stdout] test validation::completable::imp::identifier_in_block_has_assignment_completion_only ... ok
[INFO] [stdout] test validation::completable::imp::union_decl_partial_true_is_well_typed ... ok
[INFO] [stdout] test validation::completable::fun::check_completable_float_arithmetic ... ok
[INFO] [stdout] test logic::typing::tests::fun::test_nested_lambda ... ok
[INFO] [stdout] test validation::completable::weird::check_ambiguous_completable ... ok
[INFO] [stdout] test validation::completable::weird::check_chain_typed_completable ... ok
[INFO] [stdout] test validation::completable::weird::check_context_extending_completable ... ok
[INFO] [stdout] test validation::completable::weird::check_cyclic_completable ... ok
[INFO] [stdout] test validation::completable::weird::check_deep_nesting_completable ... ok
[INFO] [stdout] test validation::completable::weird::check_diamond_typed_completable ... ok
[INFO] [stdout] test validation::completable::weird::check_epsilon_completable ... ok
[INFO] [stdout] test validation::completable::weird::check_epsilon_typed_completable ... ok
[INFO] [stdout] test validation::completable::weird::check_long_production_completable ... ok
[INFO] [stdout] test validation::completable::weird::check_mutual_typed_completable ... ok
[INFO] [stdout] test validation::completable::weird::check_regex_typed_completable ... ok
[INFO] [stdout] test validation::completable::weird::check_right_recursive_completable ... ok
[INFO] [stdout] test validation::completable::weird::check_scoped_typed_completable ... ok
[INFO] [stdout] test validation::completable::weird::check_stmt_typed_completable ... ok
[INFO] [stdout] test validation::completable::weird::check_typed_simple_completable ... ok
[INFO] [stdout] test validation::completable::weird::check_union_typed_completable ... ok
[INFO] [stdout] test exp::synth::tests::benchmark_synthesizer has been running for over 60 seconds
[INFO] [stdout] test exp::synth::tests::test_synthesizer has been running for over 60 seconds
[INFO] [stdout] test logic::partial::tests::rec::test_mixed_layered_operators has been running for over 60 seconds
[INFO] [stdout] test logic::search::tests::search_never_returns_syntactically_or_typedly_invalid_completion has been running for over 60 seconds
[INFO] [stdout] test validation::completability::tests::pathological_prefix_never_returns_garbage_completion has been running for over 60 seconds
[INFO] [stdout] test validation::completability::tests::successful_completion_is_syntactic_and_typed has been running for over 60 seconds
[INFO] [stdout] test validation::completable::fun::check_completable_application has been running for over 60 seconds
[INFO] [stdout] test validation::completable::fun::check_completable_integer_arithmetic has been running for over 60 seconds
[INFO] [stdout] test validation::completable::fun::check_completable_lambda has been running for over 60 seconds
[INFO] [stdout] test validation::completable::fun::check_completable_let has been running for over 60 seconds
[INFO] [stdout] test validation::completable::fun::check_completable_parenthesized has been running for over 60 seconds
[INFO] [stdout] test validation::completable::fun::check_completable_prefixes has been running for over 60 seconds
[INFO] [stdout] test validation::completable::imp::check_completable has been running for over 60 seconds
[INFO] [stdout] test logic::partial::tests::rec::test_mixed_layered_operators ... ok
[INFO] [stdout] test validation::completable::stlc::check_completable has been running for over 60 seconds
[INFO] [stdout] test validation::completable::fun::check_completable_integer_arithmetic ... ok
[INFO] [stdout] test validation::completable::toy::check_completable has been running for over 60 seconds
[INFO] [stdout] test validation::complexity::basic::basic_random_string_complexity ... ok
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/deps/aufbau-99e15d5b8a03e48c` (signal: 9, SIGKILL: kill)
[INFO] running `Command { std: "docker" "inspect" "1b2c1b10c0525d29b9a3d689925815d26145af4ef2ebdd5860bc1e029851d984", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1b2c1b10c0525d29b9a3d689925815d26145af4ef2ebdd5860bc1e029851d984", kill_on_drop: false }`
[INFO] [stdout] 1b2c1b10c0525d29b9a3d689925815d26145af4ef2ebdd5860bc1e029851d984
