Describe the bug

object TypedHoleApplyDynamic {
  val obj: reflect.Selectable {
    def method(x: Int, y: String): Unit
  } = new reflect.Selectable {
    def method(x: Int, y: String): Unit = ()
  }

  obj.method(???, ???)
}

The expression type of the first argument is reported as Any, instead of Int:

Expected behavior

Would be great if it would pick up the type declared in the type of obj.

Operating system

None

Editor/Extension

VS Code

Version of Metals

v1.5.3

Extra context or search terms

No response