blob: 2328131770ce02992b13ba19eeb8cedd59ecc5c1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
sealed trait Message[+A]
class Script[A] extends Message[A] {
def iterator: Iterator[Message[A]] = ???
}
trait Test4[A] {
def f(cmd: Message[A]): Iterator[A] = cmd match { case s: Script[t] => s.iterator flatMap f }
def g(cmd: Message[A]) = cmd match { case s: Script[t] => s }
}
|