jump to implicit argument definition

[antosha417]

In intellij idea there is an action called 'show implicit arguments'. If I click on element in implict arguments list I jump to the location where this argument is defined. Is there a way to tell where implict arguments come from in nvim-metals?

[ckipp01]

Hey @antosha417, great question. So there is a way to see which are being used. You can see this if you set showImplicitArguments = true. Then when you do a hover, it will be in the With synthetics added section. Here is a simple example:

While this does show you where your implicit is coming from, it doesn't really allow you to jump to it. The easiest thing to do would probably be the "goto workspace symbol", and then you can just type the symbol in, and you should be able to jump to it that way.

There are actually two settings that might interest you related to implicits:

nvim-metals/doc/metals.txt

Lines 313 to 324 in 152af73

	showImplicitArguments *showImplicitArguments*
	Type: boolean ~
	Default: false ~
	When this option is enabled, each method that has implicit arguments has them
	displayed as extra info in the hover.
	showImplicitConversionsAndClasses *showImplicitConversionsAndClasses*
	Type: boolean ~
	Default: false ~

[antosha417]

Thank you for a fast reply!

In my case in hover I have clientLockService: ClientLockService[F]
and with synthetics added I have clientLockService$implicit$1
I guess it means that this clientLockService is defined in the same for-yeld term.

Another cases are working as you described, thanks again!