blob: af64f5c042299d03fdc23d84efaf4822cbf7abfb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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
}
}
|