Scala 的 Nothing 与部分统一

Scala's Nothing vs partial unification

我希望以下代码能够正常编译:

trait Widen[M[_]] { def widen[A, B >: A](ma: M[A]): M[B] }

object Widen {
  implicit class Ops[M[_], A](ma: M[A]) {
    def widen[B >: A](implicit ev: Widen[M]): M[B] = ev.widen[A, B](ma)
  }
  // implicit class OpsNothing[M[_]](ma: M[Nothing]) {
  //   def widen[B](implicit ev: Widen[M]): M[B] = ev.widen(ma)
  // }
  implicit val WidenList = new Widen[List] { def widen[A, B >: A](l: List[A]): List[B] = l }
}

import Widen._

List.empty[Some[Int]].widen[Option[Int]]

List.empty[Nothing].widen[Int] // does not compile until uncommenting OpsNothing

但是最后一行编译不通过。它似乎与部分统一有关,因为 new Widen.Ops[List, Nothing](List.empty[Nothing]).widen[Int] 编译。

现在真正奇怪的是,如果我取消注释 Nothing 的特殊情况,那么一切都会编译。

我不知道发生了什么...

(这是使用 Scala 2.13.3)

编译器不喜欢在解析隐式时推断Nothing

Failed implicit resolution for Nothing with <:<

除了 OpsNothing 之外的另一个解决方法是类型 Bottom

type Bottom <: Nothing
List.empty[Bottom].widen[Int] // compiles