scala - 在类型别名中使用上下文绑定(bind)

Question

是否可以在 Scala 中的类型别名中使用上下文边界？

例如

type U = A : B

Answer 1

不，因为上下文绑定(bind)实际上是额外隐式参数的简写。

例如:

def sort[A : Ordering](xs: Seq[A])

是

的简写形式

def sort[A](xs: Seq[A])(implicit ordering: Ordering[A])

这不能用类型定义来表示。