Skip to content

server panicked: mismatched kinds in substitution #11717

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
umanwizard opened this issue Mar 15, 2022 · 6 comments
Closed

server panicked: mismatched kinds in substitution #11717

umanwizard opened this issue Mar 15, 2022 · 6 comments
Labels
Broken Window Bugs / technical debt to be addressed immediately

Comments

@umanwizard
Copy link
Contributor

rust-analyzer version: rust-analyzer 88ade42 2022-03-15 dev

rustc version: rustc 1.59.0 (9d1b2106e 2022-02-23)

relevant settings: using emacs and lsp-mode.

To reproduce:

  1. Check out https://github.com/MaterializeInc/materialize at commit 10db3265f2628cfae1fcc534c8fa40cf841e2eda
  2. Navigate to src/dataflow-types/src/types.rs, line 146 (pub id: GlobalId) and put the cursor on id.
  3. Find all references.

LSP will output server panicked: mismatched kinds in substitution.

@Veykril Veykril added the Broken Window Bugs / technical debt to be addressed immediately label Mar 15, 2022
@Veykril
Copy link
Member

Veykril commented Mar 15, 2022

cc #11688 (comment)

@umanwizard
Copy link
Contributor Author

Confirmed that if I build from the commit right before that PR landed, I can't observe this.

@HKalbasi
Copy link
Member

Can you try #11718 ?

@umanwizard
Copy link
Contributor Author

The repro instructions here should be specific enough that anyone can try it.

I'm not able to do so now, but will try to remember to do so later tonight if nobody else gets around to it before I do.

@lnicola
Copy link
Member

lnicola commented Mar 16, 2022

This seems to work now, please reopen if not:

image

@lnicola lnicola closed this as completed Mar 16, 2022
@umanwizard
Copy link
Contributor Author

Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Broken Window Bugs / technical debt to be addressed immediately
Projects
None yet
Development

No branches or pull requests

4 participants