`overflow depth reached` when opening file

[kamulos]

rust-analyzer version: ac4ce42 2022-05-16 nightly

rustc version: 1.60.0 (7737e0b5c 2022-04-04)

how to reproduce:

1. Checkout https://github.com/RustCrypto/AEADs @ d961cf448c826f23fb27a6ae42aada21a13f9416
2. Open chacha20poly1305/src/lib.rs

Panic Output

thread '<unnamed>' panicked at 'overflow depth reached', /home/runner/.cargo/registry/src/github.com-1ecc6299db9ec823/chalk-recursive-0.82.0/src/fixed_point/stack.rs:51:13
stack backtrace:
   0: std::panicking::begin_panic
   1: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
   2: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
   3: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
   4: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
   5: chalk_recursive::solve::SolveIteration::solve_iteration
   6: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
   7: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
   8: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
   9: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  10: chalk_recursive::solve::SolveIteration::solve_iteration
  11: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  12: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  13: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  14: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  15: chalk_recursive::solve::SolveIteration::solve_iteration
  16: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  17: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  18: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  19: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  20: chalk_recursive::solve::SolveIteration::solve_iteration
  21: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  22: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  23: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  24: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  25: chalk_recursive::solve::SolveIteration::solve_iteration
  26: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  27: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  28: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  29: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  30: chalk_recursive::solve::SolveIteration::solve_iteration
  31: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  32: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  33: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  34: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  35: chalk_recursive::solve::SolveIteration::solve_iteration
  36: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  37: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  38: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  39: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  40: chalk_recursive::solve::SolveIteration::solve_iteration
  41: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  42: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  43: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  44: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  45: chalk_recursive::solve::SolveIteration::solve_iteration
  46: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  47: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  48: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  49: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  50: chalk_recursive::solve::SolveIteration::solve_iteration
  51: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  52: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  53: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  54: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  55: chalk_recursive::solve::SolveIteration::solve_iteration
  56: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  57: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  58: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  59: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  60: chalk_recursive::solve::SolveIteration::solve_iteration
  61: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  62: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  63: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  64: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  65: chalk_recursive::solve::SolveIteration::solve_iteration
  66: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  67: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  68: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  69: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  70: chalk_recursive::solve::SolveIteration::solve_iteration
  71: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  72: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  73: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  74: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  75: chalk_recursive::solve::SolveIteration::solve_iteration
  76: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  77: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  78: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  79: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  80: chalk_recursive::solve::SolveIteration::solve_iteration
  81: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  82: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  83: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  84: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  85: chalk_recursive::solve::SolveIteration::solve_iteration
  86: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
  87: chalk_recursive::fulfill::Fulfill<I,Solver>::prove
  88: chalk_recursive::fulfill::Fulfill<I,Solver>::solve
  89: chalk_recursive::solve::SolveIterationHelpers::solve_from_clauses
  90: chalk_recursive::solve::SolveIteration::solve_iteration
  91: chalk_recursive::fixed_point::RecursiveContext<K,V>::solve_goal
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
Panic context:
> 
version: ac4ce4259 2022-05-16 nightly
request: textDocument/documentHighlight DocumentHighlightParams {
    text_document_position_params: TextDocumentPositionParams {
        text_document: TextDocumentIdentifier {
            uri: Url {
                scheme: "file",
                cannot_be_a_base: false,
                username: "",
                password: None,
                host: None,
                port: None,
                path: "/home/.../AEADs/chacha20poly1305/src/lib.rs",
                query: None,
                fragment: None,
            },
        },
        position: Position {
            line: 264,
            character: 38,
        },
    },
    work_done_progress_params: WorkDoneProgressParams {
        work_done_token: None,
    },
    partial_result_params: PartialResultParams {
        partial_result_token: None,
    },
}

[Perksey]

Can reproduce, hitting this my end!