blob: af64f5c042299d03fdc23d84efaf4822cbf7abfb (
plain) (
tree)
|
|
import language.higherKinds
trait GenSet[A]
trait GenSetTemplate[A, +CC[X] <: GenSet[X]] {
def empty: CC[A] = ???
}
trait SetLike[A, +This <: SetLike[A, This] with Set[A]] {
def empty: This
}
abstract class Set[A] extends GenSet[A] with SetLike[A,Set[A]] with GenSetTemplate[A,Set]
object Test {
def main(args: Array[String]): Unit = {
locally(classOf[Set[_]]) // trigger classloading to verify class
}
}
|