Scala 3: completions not shown after dealiasing

[kubukoz]

Describe the bug

Completions don't seem to work on higher-kinded types applied in a type alias. Not sure if this is a Metals issue or something in the compiler, but here it is:

//> using scala "3.1.1"
//> using option "-Ykind-projector"
package example

trait Service[F[_]] {
  def listStreams(): F[Unit]
}

type Client[Alg[_[_]]] = Alg[Option]

val client: Client[Service] = ???
val client2: Service[Option] = ???

def test = client. /* doesn't work */ listStreams()
def test2 = client2. /* works */ listStreams()

Completions on client. don't show anything that actually comes from Service's interface, but completions on client2 work flawlessly.

Expected behavior

Completions work in both cases

Operating system

macOS

Editor/Extension

VS Code

Version of Metals

v0.11.2+125-ed5fb2f2-SNAPSHOT

Extra context or search terms

No response

[tgodzik]

Thanks for reporting! This looks like something that might need to get fixed in the compiler, I will double check next week.

[tgodzik]

Finally managed to double check and it's an issue in the compiler, reported here: scala/scala3#14984

[tgodzik]

Looks like this will be fixed in the next compiler version. Let's take a look at it then.

[tanishiking]

Closing, confirmed this is fixed in Scala 3.2.0-RC1 scala/scala3#15047 🎉

[kubukoz]

working as expected in 3.2.0!