[INFO] fetching crate logicaffeine-lsp 0.9.10...
[INFO] testing logicaffeine-lsp-0.9.10 against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-1
[INFO] extracting crate logicaffeine-lsp 0.9.10 into /workspace/builds/worker-4-tc1/source
[INFO] started tweaking crates.io crate logicaffeine-lsp 0.9.10
[INFO] finished tweaking crates.io crate logicaffeine-lsp 0.9.10
[INFO] tweaked toml for crates.io crate logicaffeine-lsp 0.9.10 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate logicaffeine-lsp 0.9.10 on toolchain 562dee4820c458d823175268e41601d4c060588a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate logicaffeine-lsp 0.9.10 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" "+562dee4820c458d823175268e41601d4c060588a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded tower-lsp v0.20.0
[INFO] [stderr]   Downloaded logicaffeine-base v0.9.10
[INFO] [stderr]   Downloaded tower-lsp-macros v0.9.0
[INFO] [stderr]   Downloaded logicaffeine-data v0.9.10
[INFO] [stderr]   Downloaded logicaffeine-lexicon v0.9.10
[INFO] [stderr]   Downloaded lsp-types v0.94.1
[INFO] [stderr]   Downloaded jiff-static v0.2.23
[INFO] [stderr]   Downloaded logicaffeine-proof v0.9.10
[INFO] [stderr]   Downloaded logicaffeine-kernel v0.9.10
[INFO] [stderr]   Downloaded logicaffeine-system v0.9.10
[INFO] [stderr]   Downloaded logicaffeine-language v0.9.10
[INFO] [stderr]   Downloaded logicaffeine-compile v0.9.10
[INFO] [stderr]   Downloaded jiff v0.2.23
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 96435edd07e316c18e805f45fc7bac5a1cc2dd69532d279df10b4ae70d366a41
[INFO] running `Command { std: "docker" "start" "-a" "96435edd07e316c18e805f45fc7bac5a1cc2dd69532d279df10b4ae70d366a41", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "96435edd07e316c18e805f45fc7bac5a1cc2dd69532d279df10b4ae70d366a41", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "96435edd07e316c18e805f45fc7bac5a1cc2dd69532d279df10b4ae70d366a41", kill_on_drop: false }`
[INFO] [stdout] 96435edd07e316c18e805f45fc7bac5a1cc2dd69532d279df10b4ae70d366a41
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c2892dd2f8ea2ac12b9ad6ad7db88d441ee00e3821848ee138c071ad9bd097e8
[INFO] running `Command { std: "docker" "start" "-a" "c2892dd2f8ea2ac12b9ad6ad7db88d441ee00e3821848ee138c071ad9bd097e8", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling libc v0.2.183
[INFO] [stderr]    Compiling bumpalo v3.20.2
[INFO] [stderr]    Compiling futures-channel v0.3.32
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling event-listener v5.4.1
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling rustc-hash v2.1.2
[INFO] [stderr]    Compiling anstyle-parse v1.0.0
[INFO] [stderr]    Compiling include_dir_macros v0.7.4
[INFO] [stderr]    Compiling anstyle v1.0.14
[INFO] [stderr]    Compiling colorchoice v1.0.5
[INFO] [stderr]    Compiling jiff v0.2.23
[INFO] [stderr]    Compiling anstream v1.0.0
[INFO] [stderr]    Compiling event-listener-strategy v0.5.4
[INFO] [stderr]    Compiling logicaffeine-base v0.9.10
[INFO] [stderr]    Compiling logicaffeine-kernel v0.9.10
[INFO] [stderr]    Compiling logicaffeine-lexicon v0.9.10
[INFO] [stderr]    Compiling async-lock v3.4.2
[INFO] [stderr]    Compiling include_dir v0.7.4
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling getrandom v0.2.17
[INFO] [stderr]    Compiling errno v0.3.14
[INFO] [stderr]    Compiling mio v1.2.0
[INFO] [stderr]    Compiling socket2 v0.6.3
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling memmap2 v0.9.10
[INFO] [stderr]    Compiling signal-hook-registry v1.4.8
[INFO] [stderr]    Compiling uuid v1.23.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling dashmap v5.5.3
[INFO] [stderr]    Compiling dashmap v6.1.0
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling logicaffeine-proof v0.9.10
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling env_filter v1.0.1
[INFO] [stderr]    Compiling env_logger v0.11.10
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling zerofrom-derive v0.1.6
[INFO] [stderr]    Compiling yoke-derive v0.8.1
[INFO] [stderr]    Compiling zerovec-derive v0.11.2
[INFO] [stderr]    Compiling displaydoc v0.2.5
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling futures-macro v0.3.32
[INFO] [stderr]    Compiling tokio-macros v2.6.1
[INFO] [stderr]    Compiling pin-project-internal v1.1.11
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling serde_repr v0.1.20
[INFO] [stderr]    Compiling async-recursion v1.1.1
[INFO] [stderr]    Compiling auto_impl v1.3.0
[INFO] [stderr]    Compiling tower-lsp-macros v0.9.0
[INFO] [stderr]    Compiling tokio v1.50.0
[INFO] [stderr]    Compiling futures-util v0.3.32
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling pin-project v1.1.11
[INFO] [stderr]    Compiling zerofrom v0.1.6
[INFO] [stderr]    Compiling yoke v0.8.1
[INFO] [stderr]    Compiling zerovec v0.11.5
[INFO] [stderr]    Compiling zerotrie v0.2.3
[INFO] [stderr]    Compiling tinystr v0.8.2
[INFO] [stderr]    Compiling potential_utf v0.1.4
[INFO] [stderr]    Compiling icu_collections v2.1.1
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling icu_locale_core v2.1.1
[INFO] [stderr]    Compiling bincode v1.3.3
[INFO] [stderr]    Compiling logicaffeine-data v0.9.10
[INFO] [stderr]    Compiling logicaffeine-language v0.9.10
[INFO] [stderr]    Compiling icu_provider v2.1.1
[INFO] [stderr]    Compiling icu_normalizer v2.1.1
[INFO] [stderr]    Compiling icu_properties v2.1.2
[INFO] [stderr]    Compiling futures-executor v0.3.32
[INFO] [stderr]    Compiling tower v0.4.13
[INFO] [stderr]    Compiling futures v0.3.32
[INFO] [stderr]    Compiling idna_adapter v1.2.1
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling tokio-util v0.7.18
[INFO] [stderr]    Compiling logicaffeine-system v0.9.10
[INFO] [stderr]    Compiling lsp-types v0.94.1
[INFO] [stderr]    Compiling logicaffeine-compile v0.9.10
[INFO] [stderr]    Compiling tower-lsp v0.20.0
[INFO] [stderr]    Compiling logicaffeine-lsp v0.9.10 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 12s
[INFO] running `Command { std: "docker" "inspect" "c2892dd2f8ea2ac12b9ad6ad7db88d441ee00e3821848ee138c071ad9bd097e8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c2892dd2f8ea2ac12b9ad6ad7db88d441ee00e3821848ee138c071ad9bd097e8", kill_on_drop: false }`
[INFO] [stdout] c2892dd2f8ea2ac12b9ad6ad7db88d441ee00e3821848ee138c071ad9bd097e8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] fb8d92032d55b0101dc27224c013912508753fa04e765f57d5c3b8af63085b75
[INFO] running `Command { std: "docker" "start" "-a" "fb8d92032d55b0101dc27224c013912508753fa04e765f57d5c3b8af63085b75", kill_on_drop: false }`
[INFO] [stderr]    Compiling logicaffeine-lsp v0.9.10 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 3.86s
[INFO] running `Command { std: "docker" "inspect" "fb8d92032d55b0101dc27224c013912508753fa04e765f57d5c3b8af63085b75", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fb8d92032d55b0101dc27224c013912508753fa04e765f57d5c3b8af63085b75", kill_on_drop: false }`
[INFO] [stdout] fb8d92032d55b0101dc27224c013912508753fa04e765f57d5c3b8af63085b75
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 471af33a134c0da8f34fea5f9138f3262fcf5e9a05b8c2a23d435ca3a1bf208b
[INFO] running `Command { std: "docker" "start" "-a" "471af33a134c0da8f34fea5f9138f3262fcf5e9a05b8c2a23d435ca3a1bf208b", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.18s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/logicaffeine_lsp-a1b203189215850d)
[INFO] [stdout] 
[INFO] [stdout] running 199 tests
[INFO] [stdout] test code_actions::tests::code_actions_empty_for_empty_doc ... ok
[INFO] [stdout] test code_actions::tests::code_action_escape_assignment_suggests_copy ... ok
[INFO] [stdout] test code_actions::tests::code_action_for_double_move_suggests_copy ... ok
[INFO] [stdout] test code_lens::tests::code_lens_empty_for_no_blocks ... ok
[INFO] [stdout] test code_actions::tests::code_actions_returns_empty_for_valid_code ... ok
[INFO] [stdout] test code_actions::tests::code_action_for_zero_index_suggests_one ... ok
[INFO] [stdout] test code_actions::tests::no_code_action_for_valid_code ... ok
[INFO] [stdout] test code_actions::tests::code_action_for_escape_return_suggests_copy ... ok
[INFO] [stdout] test code_lens::tests::code_lens_for_main_block ... ok
[INFO] [stdout] test code_lens::tests::code_lens_note_block_no_lenses ... ok
[INFO] [stdout] test code_actions::tests::code_actions_no_crash_on_syntax_error ... ok
[INFO] [stdout] test code_lens::tests::code_lens_positioned_at_block_start ... ok
[INFO] [stdout] test completion::tests::completion_no_crash_empty_doc ... ok
[INFO] [stdout] test completion::tests::completion_includes_keywords_after_period ... ok
[INFO] [stdout] test code_lens::tests::run_lens_has_arguments ... ok
[INFO] [stdout] test completion::tests::completion_returns_items ... ok
[INFO] [stdout] test code_lens::tests::code_lens_proof_block_has_check ... ok
[INFO] [stdout] test code_lens::tests::code_lens_theorem_has_verify_and_prove ... ok
[INFO] [stdout] test completion::tests::completion_moved_variable_has_deprecated_tag ... ok
[INFO] [stdout] test completion::tests::completion_snippets_have_snippet_format ... ok
[INFO] [stdout] test completion::tests::completion_items_have_correct_kind ... ok
[INFO] [stdout] test definition::tests::goto_def_returns_none_for_keyword ... ok
[INFO] [stdout] test completion::tests::completion_owned_variable_no_tag ... ok
[INFO] [stdout] test definition::tests::goto_definition_whitespace_returns_none ... ok
[INFO] [stdout] test definition::tests::goto_definition_of_variable ... ok
[INFO] [stdout] test definition::tests::goto_definition_returns_correct_uri ... ok
[INFO] [stdout] test completion::tests::variant_completion_no_crash_with_inspect ... ok
[INFO] [stdout] test completion::tests::completion_includes_variables_in_default_context ... ok
[INFO] [stdout] test completion::tests::completion_after_colon_type_completions ... ok
[INFO] [stdout] test diagnostics::tests::diagnostic_has_source ... ok
[INFO] [stdout] test diagnostics::tests::empty_errors_produce_empty_diagnostics ... ok
[INFO] [stdout] test diagnostics::tests::escape_diagnostic_has_related_info_pointing_to_zone ... ok
[INFO] [stdout] test diagnostics::tests::grammar_error_is_warning ... ok
[INFO] [stdout] test definition::tests::goto_def_correct_span_range ... ok
[INFO] [stdout] test diagnostics::tests::is_value_equality_has_diagnostic_code ... ok
[INFO] [stdout] test diagnostics::tests::escape_error_produces_diagnostic_with_code ... ok
[INFO] [stdout] test diagnostics::tests::is_value_equality_is_warning ... ok
[INFO] [stdout] test diagnostics::tests::ownership_error_has_error_severity ... ok
[INFO] [stdout] test diagnostics::tests::multiple_errors_produce_multiple_diagnostics ... ok
[INFO] [stdout] test diagnostics::tests::parse_error_produces_diagnostic ... ok
[INFO] [stdout] test diagnostics::tests::regular_error_has_no_diagnostic_code ... ok
[INFO] [stdout] test diagnostics::tests::related_info_points_to_give_statement ... ok
[INFO] [stdout] test diagnostics::tests::use_after_move_diagnostic_has_related_information ... ok
[INFO] [stdout] test diagnostics::tests::no_related_info_without_uri ... ok
[INFO] [stdout] test diagnostics::tests::use_after_move_is_error_severity ... ok
[INFO] [stdout] test diagnostics::tests::type_mismatch_has_diagnostic_code ... ok
[INFO] [stdout] test diagnostics::tests::zero_index_is_information ... ok
[INFO] [stdout] test document::tests::document_ownership_states_available ... ok
[INFO] [stdout] test document::tests::document_source_stored ... ok
[INFO] [stdout] test diagnostics::tests::undefined_variable_has_diagnostic_code ... ok
[INFO] [stdout] test document::tests::empty_document ... ok
[INFO] [stdout] test document::tests::document_with_move_error_has_diagnostics ... ok
[INFO] [stdout] test document::tests::new_document_parses_source ... ok
[INFO] [stdout] test document::tests::update_changes_diagnostics_on_error ... ok
[INFO] [stdout] test diagnostics::tests::use_after_move_has_diagnostic_code ... ok
[INFO] [stdout] test document::tests::line_index_syncs_after_update ... ok
[INFO] [stdout] test diagnostics::tests::diagnostic_range_spans_correct_positions ... ok
[INFO] [stdout] test diagnostics::tests::ownership_error_message_is_socratic ... ok
[INFO] [stdout] test document_symbols::tests::symbols_empty_for_empty_doc ... ok
[INFO] [stdout] test document_symbols::tests::symbols_block_has_correct_kind ... ok
[INFO] [stdout] test document_symbols::tests::symbols_have_valid_ranges ... ok
[INFO] [stdout] test document_symbols::tests::function_params_nested ... ok
[INFO] [stdout] test document_symbols::tests::symbols_include_block_headers ... ok
[INFO] [stdout] test document_symbols::tests::variable_symbols_have_no_children ... ok
[INFO] [stdout] test folding::tests::folding_ranges_are_region_kind ... ok
[INFO] [stdout] test folding::tests::folding_ranges_have_valid_lines ... ok
[INFO] [stdout] test folding::tests::folding_ranges_empty_for_empty_doc ... ok
[INFO] [stdout] test document_symbols::tests::symbol_detail_populated ... ok
[INFO] [stdout] test document_symbols::tests::block_kind_skipped_in_definitions ... ok
[INFO] [stdout] test document::tests::update_replaces_analysis ... ok
[INFO] [stdout] test document_symbols::tests::variables_nested_under_block ... ok
[INFO] [stdout] test folding::tests::folding_ranges_for_block ... ok
[INFO] [stdout] test folding::tests::folding_ranges_indent_dedent_folding ... ok
[INFO] [stdout] test document_symbols::tests::symbols_include_variables ... ok
[INFO] [stdout] test folding::tests::folding_ranges_nested_blocks_multiple_ranges ... ok
[INFO] [stdout] test formatting::tests::formatting_empty_doc ... ok
[INFO] [stdout] test folding::tests::folding_ranges_unmatched_indent_no_panic ... ok
[INFO] [stdout] test formatting::tests::formatting_handles_mixed_tabs_spaces ... ok
[INFO] [stdout] test formatting::tests::formatting_no_edits_for_spaces ... ok
[INFO] [stdout] test formatting::tests::formatting_removes_trailing_whitespace ... ok
[INFO] [stdout] test formatting::tests::formatting_replaces_tabs ... ok
[INFO] [stdout] test formatting::tests::formatting_tab_replacement_produces_correct_ranges ... ok
[INFO] [stdout] test formatting::tests::edit_ranges_start_at_correct_line ... ok
[INFO] [stdout] test hover::tests::hover_moved_variable_shows_ownership_state ... ok
[INFO] [stdout] test formatting::tests::no_panic_multi_line_tabs ... ok
[INFO] [stdout] test hover::tests::hover_on_keyword_shows_docs ... ok
[INFO] [stdout] test formatting::tests::formatting_multiple_tabs ... ok
[INFO] [stdout] test hover::tests::hover_owned_variable_shows_owned ... ok
[INFO] [stdout] test hover::tests::hover_on_variable_shows_definition ... ok
[INFO] [stdout] test hover::tests::hover_borrowed_variable_shows_borrowed ... ok
[INFO] [stdout] test hover::tests::hover_returns_correct_range ... ok
[INFO] [stdout] test index::tests::definition_at_finds_variable ... ok
[INFO] [stdout] test index::tests::block_spans_populated ... ok
[INFO] [stdout] test index::tests::let_binding_span_points_to_source ... ok
[INFO] [stdout] test hover::tests::hover_set_keyword_docs ... ok
[INFO] [stdout] test hover::tests::hover_theorem_implication_shows_strategy ... ok
[INFO] [stdout] test hover::tests::hover_on_block_header ... ok
[INFO] [stdout] test index::tests::let_binding_has_nondefault_span ... ok
[INFO] [stdout] test index::tests::definition_at_whitespace_returns_none ... ok
[INFO] [stdout] test index::tests::let_binding_has_detail ... ok
[INFO] [stdout] test index::tests::definitions_of_returns_correct_kind ... ok
[INFO] [stdout] test index::tests::reference_linked_to_definition ... ok
[INFO] [stdout] test formatting::tests::formatting_large_file_with_tabs ... ok
[INFO] [stdout] test hover::tests::hover_theorem_shows_proof_hint ... ok
[INFO] [stdout] test index::tests::references_to_exact_count ... ok
[INFO] [stdout] test hover::tests::hover_whitespace_returns_none ... ok
[INFO] [stdout] test index::tests::references_to_finds_usages ... ok
[INFO] [stdout] test index::tests::parameter_has_own_span ... ok
[INFO] [stdout] test index::tests::second_occurrence_found ... ok
[INFO] [stdout] test index::tests::definitions_of_unknown_returns_empty ... ok
[INFO] [stdout] test inlay_hints::tests::extract_inferred_type_from_detail ... ok
[INFO] [stdout] test index::tests::definitions_of_function ... ok
[INFO] [stdout] test index::tests::multiple_variables_indexed ... ok
[INFO] [stdout] test hover::tests::hover_verb_shows_lowercase_class ... ok
[INFO] [stdout] test line_index::tests::empty_source ... ok
[INFO] [stdout] test line_index::tests::line_start_offset_out_of_bounds ... ok
[INFO] [stdout] test line_index::tests::multibyte_utf8_roundtrip ... ok
[INFO] [stdout] test line_index::tests::line_start_offset_returns_correct_values ... ok
[INFO] [stdout] test line_index::tests::offset_from_position ... ok
[INFO] [stdout] test line_index::tests::out_of_bounds_offset ... ok
[INFO] [stdout] test line_index::tests::multi_line ... ok
[INFO] [stdout] test inlay_hints::tests::inlay_hints_skip_default_spans ... ok
[INFO] [stdout] test inlay_hints::tests::inlay_hint_borrowed_after_show ... ok
[INFO] [stdout] test line_index::tests::out_of_bounds_position ... ok
[INFO] [stdout] test inlay_hints::tests::inlay_hints_hint_position_correct ... ok
[INFO] [stdout] test inlay_hints::tests::inlay_hints_for_inferred_integer ... ok
[INFO] [stdout] test inlay_hints::tests::inlay_hints_empty_for_empty_doc ... ok
[INFO] [stdout] test inlay_hints::tests::inlay_hints_respects_range_parameter ... ok
[INFO] [stdout] test line_index::tests::roundtrip ... ok
[INFO] [stdout] test pipeline::tests::analyze_empty_source ... ok
[INFO] [stdout] test inlay_hints::tests::inlay_hint_no_marker_for_owned ... ok
[INFO] [stdout] test line_index::tests::single_line ... ok
[INFO] [stdout] test line_index::tests::windows_line_endings ... ok
[INFO] [stdout] test inlay_hints::tests::inlay_hints_for_inferred_text ... ok
[INFO] [stdout] test inlay_hints::tests::inlay_hints_for_inferred_bool ... ok
[INFO] [stdout] test pipeline::tests::analyze_indexes_references ... ok
[INFO] [stdout] test pipeline::tests::analyze_function_def_summarized ... ok
[INFO] [stdout] test pipeline::tests::analyze_generic_type_in_detail ... ok
[INFO] [stdout] test pipeline::tests::analyze_block_recovery_preserves_good_block ... ok
[INFO] [stdout] test pipeline::tests::analyze_function_def ... ok
[INFO] [stdout] test pipeline::tests::analyze_block_headers_indexed ... ok
[INFO] [stdout] test pipeline::tests::analyze_multiple_lets ... ok
[INFO] [stdout] test pipeline::tests::analyze_simple_let ... ok
[INFO] [stdout] test pipeline::tests::analyze_ownership_states_populated ... ok
[INFO] [stdout] test pipeline::tests::analyze_syntax_error_produces_diagnostics ... ok
[INFO] [stdout] test pipeline::tests::analyze_statement_spans_indexed ... ok
[INFO] [stdout] test references::tests::find_references_correct_uri ... ok
[INFO] [stdout] test pipeline::tests::analyze_use_after_move_produces_ownership_error ... ok
[INFO] [stdout] test pipeline::tests::analyze_produces_tokens ... ok
[INFO] [stdout] test references::tests::find_references_exact_count ... ok
[INFO] [stdout] test pipeline::tests::analyze_single_block_error_does_not_swallow ... ok
[INFO] [stdout] test references::tests::find_references_include_declaration_adds_one ... ok
[INFO] [stdout] test pipeline::tests::analyze_clean_code_no_analysis_errors ... ok
[INFO] [stdout] test pipeline::tests::analyze_single_block_with_error_still_reports ... ok
[INFO] [stdout] test references::tests::find_references_unknown_returns_empty ... ok
[INFO] [stdout] test references::tests::find_references_includes_usages ... ok
[INFO] [stdout] test pipeline::tests::analyze_moved_variable_has_moved_state ... ok
[INFO] [stdout] test references::tests::find_references_with_declaration ... ok
[INFO] [stdout] test rename::tests::rename_accepts_valid_name ... ok
[INFO] [stdout] test semantic_tokens::tests::block_header_classified_as_namespace ... ok
[INFO] [stdout] test rename::tests::rename_unknown_returns_none ... ok
[INFO] [stdout] test rename::tests::rename_edits_at_correct_positions ... ok
[INFO] [stdout] test rename::tests::rename_rejects_whitespace_name ... ok
[INFO] [stdout] test rename::tests::prepare_rename_rejects_keywords ... ok
[INFO] [stdout] test rename::tests::prepare_rename_rejects_more_tokens ... ok
[INFO] [stdout] test semantic_tokens::tests::classify_ambiguous_nested_has_depth_guard ... ok
[INFO] [stdout] test rename::tests::rename_variable_produces_edits ... ok
[INFO] [stdout] test rename::tests::rename_includes_definition_and_references ... ok
[INFO] [stdout] test rename::tests::rename_rejects_reserved_keyword ... ok
[INFO] [stdout] test references::tests::find_references_positions_are_correct ... ok
[INFO] [stdout] test semantic_tokens::tests::classify_ambiguous_too_deep_returns_none ... ok
[INFO] [stdout] test semantic_tokens::tests::delta_encoding ... ok
[INFO] [stdout] test rename::tests::rename_rejects_numeric_start ... ok
[INFO] [stdout] test semantic_tokens::tests::all_token_types_classified ... ok
[INFO] [stdout] test semantic_tokens::tests::ambiguous_uses_primary ... ok
[INFO] [stdout] test rename::tests::prepare_rename_for_variable ... ok
[INFO] [stdout] test rename::tests::rename_rejects_empty_name ... ok
[INFO] [stdout] test semantic_tokens::tests::encode_tokens_utf16_length ... ok
[INFO] [stdout] test semantic_tokens::tests::keywords_classified_as_keyword ... ok
[INFO] [stdout] test semantic_tokens::tests::noun_classified_as_type ... ok
[INFO] [stdout] test semantic_tokens::tests::number_literal_classified ... ok
[INFO] [stdout] test semantic_tokens::tests::proper_name_has_declaration_modifier ... ok
[INFO] [stdout] test semantic_tokens::tests::string_literal_classified ... ok
[INFO] [stdout] test semantic_tokens::tests::operators_classified_correctly ... ok
[INFO] [stdout] test semantic_tokens::tests::structural_tokens_skipped ... ok
[INFO] [stdout] test signature_help::tests::signature_help_no_crash_empty_doc ... ok
[INFO] [stdout] test signature_help::tests::signature_help_finds_function_via_span_not_pointer ... ok
[INFO] [stdout] test signature_help::tests::active_parameter_tracking ... ok
[INFO] [stdout] test signature_help::tests::extract_params_empty ... ok
[INFO] [stdout] test signature_help::tests::extract_params_basic ... ok
[INFO] [stdout] test semantic_tokens::tests::zero_length_tokens_skipped_in_encoding ... ok
[INFO] [stdout] test signature_help::tests::extract_params_no_parens ... ok
[INFO] [stdout] test signature_help::tests::extract_params_multiple ... ok
[INFO] [stdout] test signature_help::tests::call_not_found_returns_none ... ok
[INFO] [stdout] test semantic_tokens::tests::multi_line_delta_encoding ... ok
[INFO] [stdout] test signature_help::tests::signature_help_no_crash_on_out_of_bounds ... ok
[INFO] [stdout] test signature_help::tests::signature_help_returns_none_without_call ... ok
[INFO] [stdout] test signature_help::tests::signature_help_returns_signature_for_defined_function ... ok
[INFO] [stdout] test signature_help::tests::with_not_counted_as_separator ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 199 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.21s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/logicaffeine_lsp-7aba845adf55ccdd)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests logicaffeine_lsp
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "471af33a134c0da8f34fea5f9138f3262fcf5e9a05b8c2a23d435ca3a1bf208b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "471af33a134c0da8f34fea5f9138f3262fcf5e9a05b8c2a23d435ca3a1bf208b", kill_on_drop: false }`
[INFO] [stdout] 471af33a134c0da8f34fea5f9138f3262fcf5e9a05b8c2a23d435ca3a1bf208b