"Any" inferred for complex type

[kubukoz]

Describe the bug

For some complex types, particularly those you see when using client/server builders in smithy4s, Metals may struggle to infer a useful type.

To reproduce:

1. Clone https://github.com/kubukoz/demos/tree/metals-issue-smithy4s-type-inference
2. Import into metals
3. Update Demo.scala:

package hello

import smithy4s.http4s.SimpleRestJsonBuilder
import org.http4s.client.Client
import cats.effect.IO
import hello.WeatherService

object Demo {
  val b =
    SimpleRestJsonBuilder(WeatherService).client(??? : Client[IO])

  b@@
}

4. Put the cursor on @@
5. Trigger completions
6. b shows up as Any

(on this screenshot, ignore the grey suggestion, it's from github copilot)

Expected behavior

The inferred type should be smithy4s.http4s.SimpleRestJsonBuilder.ClientBuilder[hello.WeatherServiceGen, cats.effect.IO]

Operating system

macOS

Editor/Extension

VS Code

Version of Metals

v1.0.1

Extra context or search terms

You can also see the inferred type show up as Any if you try to insert the inferred type of val b.

[tgodzik]

Closed by #5763