test/pending/pos/t8128b.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

class Optiony[X] { def isEmpty = true; def get: X = ??? }
class Seqy[X] { def head: X = ???; def length = 0; def apply(i: Int): X = ??? }

object G {
  def unapply(m: Any): Optiony[_] = ???
}

object H {
  def unapplySeq(m: Any): Optiony[Seqy[_]] = ???
}

object Test {
  (0: Any) match {
    case G(v) => v
    case H(v) => v
    case _ =>
  }
}