Skip to content
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

Navigation to an inner class doesn't work #7095

Open
adamw opened this issue Jan 9, 2025 · 3 comments
Open

Navigation to an inner class doesn't work #7095

adamw opened this issue Jan 9, 2025 · 3 comments

Comments

@adamw
Copy link

adamw commented Jan 9, 2025

Describe the bug

Trying to navigate to ReadStreamMapping here: https://github.com/softwaremill/tapir/blob/zio-ws-close/server/vertx-server/src/main/scala/sttp/tapir/server/vertx/streams/package.scala#L33 doesn't work (nothing happens). Navigating to other classes works just fine.

Same after "Clean & reset build server"

Expected behavior

No response

Operating system

macOS

Editor/Extension

VS Code

Version of Metals

v1.4.2

Extra context or search terms

No response

@kasiaMarek
Copy link
Contributor

It seems to correctly go to the definition of ReadStreamMapping for me. I also don't see any issues with indexing or symbol detected by pc there 🤔 . Also ReadStreamMapping is not an inner class, did you mean something else?

@kasiaMarek kasiaMarek added the needs more information Use if we need more information for a specific ticket label Jan 9, 2025
@adamw
Copy link
Author

adamw commented Jan 9, 2025

Yes, sorry, I wrote the title incorrectly, it's not an inner class. Still, it doesn't work. Neither F12 (I see a blue bar flowing at the top for some time, that's all), nor cmd+hover (should be underlined and clickable, but this doesn't happen).

@kasiaMarek kasiaMarek added investigation needed and removed needs more information Use if we need more information for a specific ticket labels Jan 10, 2025
@kasiaMarek
Copy link
Contributor

I can't exactly reproduce it, but it takes oddly long time for me to find the definition so something has to be up. I'll dig into it. Thanks for the report ❤️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants