Fix failing test

willerf · May 27, 2021 · fd45c69 · fd45c69
1 parent 10fe537
commit fd45c69
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 2 deletions.
diff --git a/tests/neg/gadt-contradictory-pattern.scala b/tests/neg/gadt-contradictory-pattern.scala
@@ -0,0 +1,13 @@
+object Test {
+  sealed abstract class Foo[T]
+  case object Bar1 extends Foo[Int]
+  case object Bar2 extends Foo[String]
+  case object Bar3 extends Foo[AnyRef]
+
+  def fail4[T <: AnyRef](xx: (Foo[T], Foo[T])) = xx match {
+    case (Bar1, Bar1) => () // error // error
+    case (Bar2, Bar3) => ()
+    case (Bar3, _) => ()
+  }
+
+}
diff --git a/tests/patmat/exhausting.check b/tests/patmat/exhausting.check
@@ -3,4 +3,4 @@
 32: Pattern Match Exhaustivity: List(_, _*)
 39: Pattern Match Exhaustivity: Bar3
 44: Pattern Match Exhaustivity: (Bar2, Bar2)
-50: Pattern Match Exhaustivity: (Bar2, Bar2)
+49: Pattern Match Exhaustivity: (Bar2, Bar2)
diff --git a/tests/patmat/exhausting.scala b/tests/patmat/exhausting.scala
@@ -42,7 +42,6 @@ object Test {
   }
   // fails for: (Bar2, Bar2)
   def fail4[T <: AnyRef](xx: (Foo[T], Foo[T])) = xx match {
-    case (Bar1, Bar1) => ()
     case (Bar2, Bar3) => ()
     case (Bar3, _) => ()
   }