not able to show the code documentation of asInstanceOf and other synthetic methods

[robstoll]

Describe the bug

I would like to be able to see the documentation of asInstanceOf.
Most likely it is not shown since Any.class is a synthetic class and not present in the scala-library.jar neither in scala-library-sources.jar.
See also https://youtrack.jetbrains.com/issue/SCL-22167/documentation-missing-for-methods-defined-in-Any

Expected behavior

I can see the documentation as for any other method

Operating system

Linux

Editor/Extension

VS Code

Version of Metals

v1.29.0

Extra context or search terms

No response

[tgodzik]

Thanks for reporting! Looks like the sources might not contain them. We could try getting documentation from https://github.com/scala/scala/blob/fcc67cd56c67851bf31019ec25ccb09d08b9561b/src/library-aux/scala/Any.scala#L150 somehow

[robstoll]

Yes, the sources.jar does not contain it. Jetbrains suggested to add it to the sources.jar. Would that be enough for metals to pick it up?

[tgodzik]

I think so. We do index everything there. We could possibly download it additionally ourselves if needed and is published

[bishabosha]

in Scala 3 at least they should be available in the ctx.docCtx in the compiler

[robstoll]

will be in sources.jar with scala/bug#12958