Skip to content

panicked at crates/hir-ty/src/diagnostics/match_check/pat_analysis.rs:486:9 #20259

@Dushistov

Description

@Dushistov
thread 'Worker4' panicked at crates/hir-ty/src/diagnostics/match_check/pat_analysis.rs:486:9:
internal error: entered unreachable code: uncaught type error: pattern <write_variant_name unsupported>(_ : AdtId(EnumId(EnumId(b01e)))<[?0 := AdtId(StructId(StructId(1471f)))<[?0 := AdtId(StructId(StructId(1a759)))<[?0 := AdtId(EnumId(EnumId(b198)))<[?0 := AdtId(StructId(StructId(147d1)))<[]>]>]>, ?1 := AdtId(EnumId(EnumId(b193)))<[]>]>]>, _ : AdtId(StructId(StructId(1a44b)))<[?0 := AdtId(StructId(StructId(9662)))<[?0 := Uint(U8), ?1 := AdtId(StructId(StructId(9663)))<[]>]>]>) has inconsistent arity (expected arity <= 1)
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: <hir_ty::diagnostics::match_check::pat_analysis::MatchCheckCtx as ra_ap_rustc_pattern_analysis::PatCx>::bug
   3: ra_ap_rustc_pattern_analysis::usefulness::Matrix<Cx>::specialize_constructor
   4: ra_ap_rustc_pattern_analysis::usefulness::compute_exhaustiveness_and_usefulness
   5: ra_ap_rustc_pattern_analysis::usefulness::compute_exhaustiveness_and_usefulness
   6: ra_ap_rustc_pattern_analysis::usefulness::compute_match_usefulness
   7: hir_ty::diagnostics::expr::BodyValidationDiagnostic::collect
   8: hir::DefWithBody::diagnostics
   9: hir::ModuleDef::diagnostics
  10: hir::Module::diagnostics
  11: ide_diagnostics::semantic_diagnostics
  12: ide_diagnostics::full_diagnostics
  13: salsa::cancelled::Cancelled::catch
  14: ide::Analysis::assists_with_fixes
  15: rust_analyzer::handlers::request::handle_code_action
  16: core::ops::function::FnOnce::call_once{{vtable.shim}}
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
additional context:
   0: 
version: 0.0.0 (ed193af369 2025-07-19)
request: textDocument/codeAction CodeActionParams {
    text_document: TextDocumentIdentifier {
        uri: Url {
            scheme: "file",
            cannot_be_a_base: false,
            username: "",
            password: None,
            host: None,
            port: None,
            path: "/Users/evgeniy/projects/rust-infra/couchbase-lite-rust/couchbase-lite/src/replicator/tokio_socket.rs",
            query: None,
            fragment: None,
        },
    },
    range: Range {
        start: Position {
            line: 318,
            character: 20,
        },
        end: Position {
            line: 318,
            character: 20,
        },
    },
    context: CodeActionContext {
        diagnostics: [],
        only: None,
        trigger_kind: None,
    },
    work_done_progress_params: WorkDoneProgressParams {
        work_done_token: None,
    },
    partial_result_params: PartialResultParams {
        partial_result_token: None,
    },
}

rust-analyzer version: (eg. output of "rust-analyzer: Show RA Version" command, accessible in VSCode via Ctrl/⌘+Shift+P)

rust-analyzer 0.0.0 (ed193af 2025-07-19)

rustc version: (eg. output of rustc -V)

rustc 1.89.0-beta.5 (c24557234 2025-07-12)

editor or extension: (eg. VSCode, Vim, Emacs, etc. For VSCode users, specify your extension version; for users of other editors, provide the distribution if applicable)

GNU Emacs 30.1 (build 1, aarch64-apple-darwin21.6.0, NS appkit-2113.65 Version 12.7.6 (Build 21H1320)) of 2025-02-24

repository link (if public, optional): (eg. rust-analyzer)

To reproduce problem open https://github.com/Dushistov/couchbase-lite-rust commit 5c07926c8f52e0a16878d1d427fe377ab6a3e776 file couchbase-lite/src/replicator/tokio_socket.rs

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions