Type Parameters in completions from implicit conversions not reducing properly

[rochala]

Compiler version

3.1.1

Minimized code

Completion SingleDenotation for snippet below is not reduced properly. It happens when we try to fire completion on implicitly converted type to other, higher kinded type.
Unluckily I don't know if you can check signatures in repl, so we must create snippet.

import scala.language.implicitConversions
implicit def intToOption(f: Int): Option[Int] = Some(f)

1.ma

and now hit completion on 1.ma.

Output

Map method has signature of [A](f: A => B): Option[B]

Expectation

It should be properly reduced to [B](f: Int => B): Option[B]

[prolativ]

When #14689 gets fixed we should make sure the intersection of these two issues also gets handled properly

[odersky]

To whom should we assign ide-related issues like these?

[prolativ]

I guess currently I'm the one with most experience in this area

[odersky]

OK, you got them. Thanks!