summaryrefslogblamecommitdiff
path: root/test/files/neg/exhausting.check
blob: 6383a6eaca706843a6250a5f58dd3ee7e7092f73 (plain) (tree)























                                                    
exhausting.scala:20: error: match is not exhaustive!
missing combination              *           Nil

  def fail1[T](xs: List[T]) = xs match {
      ^
exhausting.scala:24: error: match is not exhaustive!
missing combination            Nil

  def fail2[T](xs: List[T]) = xs match {
                              ^
exhausting.scala:27: error: match is not exhaustive!
missing combination           Bar3

  def fail3[T](x: Foo[T]) = x match {
                            ^
exhausting.scala:31: error: match is not exhaustive!
missing combination           Bar1          Bar2
missing combination           Bar1          Bar3
missing combination           Bar2          Bar1
missing combination           Bar2          Bar2

  def fail4[T](xx: (Foo[T], Foo[T])) = xx match {
      ^
four errors found