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]

你看到转换选项[P] =>列出[P],并且由于b提供了一些[V],因此转换选项[V] => b调用它时列出[V].但是,编译器说结果与List [V]不兼容.这怎么可能？如果用Nil替换Nil：Res,则错误消失(scastie)：在a中列出[P].您需要消除类型别名以消除错误.这意味着类型别名是罪魁祸首.