Incosistent in showing inferred type parameters for type parameters

[kpodsiad]

Given following snippet (scala version will change later)

//> using scala "2.13.8"

object Main extends App {
  class Wrapper[A](val value: A)
  def wrap[A](value: A): Wrapper[A] = new Wrapper(value)

  val x = new Wrapper(5)
  val x2 = wrap(5)
}

for Scala 2.13.8 Metals don't show inferred type of type parameter A which is Int

whereas for 3.2.0 inferred type is showed.

Expectation: Metals show inferred type in both scala versions.

[kpodsiad]

I'd like to fix this one, could you guide me a bit what do I need to do? I'm guessing this needs fix in https://github.com/scalameta/scalameta/tree/main/semanticdb? cc: @tanishiking

[tanishiking]

@kpodsiad Great! yes, that's true, it should be stored in synthetics, I guess we should look into around here https://github.com/scalameta/scalameta/blob/ab3bf7de916f87538171a851791c1b9f950208c8/semanticdb/scalac/library/src/main/scala/scala/meta/internal/semanticdb/scalac/TextDocumentOps.scala#L602-L608

[kpodsiad]

@tanishiking could you give a few tips how to test/debug semanticDB scalac plugin? Anything better than save-expect?

[tgodzik]

@tanishiking could you give a few tips how to test/debug semanticDB scalac plugin? Anything better than save-expect?

There is the TargetedSuite that is useful for debugging since it can work on arbitrary block of code.