Scala类型别名破坏了类型兼容性

我一直认为，如果需要，类型别名总是会扩展到其原始类型。但是，这是一个麻烦制造者

def a[P](a: Option[P]) = {
    type Res = List[P] // result type alias
    Nil: Res // Replace this line with Nil: List[P] to clear the error
}
def b[V](v: V) = a(Some(v)): List[V] 

它失败（scastie）

error: type mismatch;
found   : Res (which expands to)  List[P]
required: List[V]

您会看到进行a转换，Option[P] => List[P]并且由于b提供了Some[V]，因此在调用它时也会进行a转换。但是，编译器说结果与不兼容。这怎么可能？如果您将替换为，错误就会消失（scastie）。您需要消除类型别名以消除该错误。这意味着类型别名是罪魁祸首。Option[V] => List[V]bList[V]Nil: ResNil: List[P]a