CanBuildFrom如何知道某个类型是否可以从另一个类型构建？

我阅读了官方文档,但我还是不明白它是如何工作的.例如:

class A {
  type Self
}
def seqToSet[T <: A](seq: Seq[T])
                    (implicit cbf: CanBuildFrom[Seq[T], T#Self, Set[T]]) {}

上面的代码可以编译......但是怎么样？Scala如何知道Set可以从一个Seq？它怎么能确保T#Self(几乎任何类型)可以投入Set[T]？