Go to type declaration from hover

[susliko]

Use case: detecting the type of an expression and jumping to its declaration.

Ideally, I'd like to hover over the expression (by typing K), then move my cursor into the hover window (by typing K again), and use gd to navigate to any type listed in the hover.

I'm curious if there's anything sensible we could do to address this use case or if there have been any attempts to make it work.

One idea I have is to invoke the lsp_workspace_symbols command when using gd inside the hover. It would be better than nothing, but still not perfect as it would open a choice window. It would be great if it could use semanticdb info somehow.

[ckipp01]

So maybe this won't be what you want all the time, but in your example if the intent is to jump to A instead of jumping into the hover and then attempting to navigate to a instead you can just execute a vim.lsp.buf.type_definition on aaa and it will bring you to A. Is that what you're attempting to do?

[susliko]

I have completely forgotten about vim.lsp.buf.type_definition, thanks! It certainly covers simple cases, but it seems that I have oversimplified an example.

Oftentimes while working with expressions which type itself is a type constructor (e.g. IO/Either/Option), it would be useful to jump to definitions of its type parameters

in this example type_definition would jump to cats.effect.IO

[ckipp01]

I wonder if in cases like this where there is a compound or wrapped type (not sure what to call it) if Metals could give you the option of which to jump to. In this case if you hit type_defintion on here it would show you an option to navitate to IO or to A. That would be need and useful. I'd recommend creating a feature request for this in Metals. I'm not 100% sure how to achieve this without ugly hacks, but having Metals just natively support this would be great.