blob: 21bd71ffef632ad21c073d9d2aaf6fe007e884fb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
class Bob[K[_]] {
def foo(other: Any) = other match {
case x: (Bob[X] forSome { type X[_] }) => true
case _ => false
}
}
object Test {
def main(args: Array[String]): Unit = {
val x = new Bob[List]
val results = List(x, new Bob[Set], 55) map (x foo _)
assert(results == List(true, true, false))
}
}
|