Add fixed GADT exhaustivity test cases (#16169)

scala · Oct 18, 2022 · bbeb20d · bbeb20d
2 parents 3636ee6 + c406ace
commit bbeb20d
Show file tree

Hide file tree

Showing 3 changed files with 32 additions and 0 deletions.
diff --git a/tests/pos/i7424.scala b/tests/pos/i7424.scala
@@ -0,0 +1,12 @@
+// scalac: -Werror
+object GADT {
+  import =:=._
+
+  enum =:=[A, B] {
+    case Refl[C]() extends (C =:= C)
+  }
+
+  def unwrap[A,B](opt: Option[A])(using ev: A =:= Option[B]): Option[B] = ev match {
+    case Refl() => opt.flatMap(identity[Option[B]])
+  }
+}
diff --git a/tests/pos/i7424b.scala b/tests/pos/i7424b.scala
@@ -0,0 +1,12 @@
+// scalac: -Werror
+object GADT {
+  import =:=._
+
+  enum =:=[A, B] {
+    case Refl[C]() extends (C =:= C)
+  }
+
+  def unwrap[A,B](opt: Option[A])(using ev: A =:= Option[B]): Option[B] = ev match {
+    case _: Refl[?] => opt.flatMap(identity[Option[B]])
+  }
+}
diff --git a/tests/pos/i7424c.scala b/tests/pos/i7424c.scala
@@ -0,0 +1,8 @@
+// scalac: -Werror
+object Main extends App:
+   enum Extends[A, B]:
+     case Ev[B, A <: B]() extends (A Extends B)
+
+     def cast(a: A): B = this match {
+       case Extends.Ev() => a
+     }