blob: 4784fad8ba52f745d1166b8e038af3a9f5aebc7d (
plain) (
tree)
|
|
import scala.language.{ higherKinds }
class Bob[K[_]] {
def foo(other: Any) = other match {
case x: (Bob[_[_] <: Any]) => 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))
}
}
|