summaryrefslogtreecommitdiff
path: root/test/pending/pos/treecheckers/c4.scala
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 }
}