Use context bound in type alias

Question

Is it possible to use context bounds in type aliases in Scala?

e.g

type U = A : B

Answer 1

No, because the context bound is actually a shorthand for an extra implicit parameter.

For instance:

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

is a shorthand form for

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

and this cannot be represented in a type definition.