scala - Intellij IDEA 无法解析隐含符号（scala tagless final）

Question

我有一些使用无标记最终方法的代码，发现 Intellij IDEA 无法识别隐式类中的方法。

我这里有一些类型类（Functor,Apply等Applicative），还有一个implicit class FunctorOps带有一些辅助方法的Functor. 此代码编译但 IDEA 找不到void和implicit Applicative. 查看错误：

无法解析符号 void:44

没有类型的隐式参数：Applicative[F_]:51

代码看起来不太难：

trait Functor[F[_]] {
  def map[A, B](fa: F[A])(ab: A => B): F[B]
}

trait Semigroupal[F[_]] {
  def product[A, B](fa: F[A], fb: F[B]): F[(A, B)]
}

trait Apply[F[_]] extends Semigroupal[F] with Functor[F] {
  def map2[A, B, Result](fa: F[A], fb: F[B])(abr: (A, B) => Result): F[Result] =
    map(product(fa, fb))(abr.tupled)
}

trait Applicative[F[_]] extends Apply[F] {
  def pure[A](a: A): F[A]
}

object Implicits {

  final implicit class FunctorOps[F[_]: Functor, A](private val fa: F[A]) {
    @inline def map[B](ab: A => B): F[B] =
      F.map(fa)(ab)

    @inline def void: F[Unit] =
      F.map(fa)(_ => ())
  }
}

trait Random[F[_]] {
  def nextInt(n: Int): F[Int]

  def void: F[Unit]
}

object Random {
  import Implicits.FunctorOps

  def dsl[F[_]: Applicative]: Random[F] =
    new Random[F] {
      override def nextInt(n: Int): F[Int] = F.pure(scala.util.Random.nextInt(n))

      override def void: F[Unit] = nextInt(4).void
    }
}

object Foo {

  def dsl[F[_]: Applicative]: F[Unit] =
    Random.dsl.void
}

我的问题：有什么方法可以避免在 IDEA 中出现这个错误，或者最好将VS Code与Metals或其他东西一起使用？无标签final是否有更好的效果？

我使用 std lib 并在 sbt 中添加编译器插件以使用F点方法语法：

addCompilerPlugin("org.augustjune" %% "context-applied" % "0.1.4")

scastie 中带有构建参数的代码

截图：

我的环境：

• Intellij IDEA版本2020.2.3（带有最后一个稳定的scala 插件）

• 操作系统：MacOS Catalina 10.15.7

Answer 1

此行为在下一个稳定的Intellij IDEA版本2020.2.4中得到修复，并且可以正常工作。