add test case for scala#14776

See scala#14776 (comment).
Linyxus · Jul 11, 2022 · 1e161c7 · 1e161c7
1 parent b7ce563
commit 1e161c7
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/tests/pos/gadt-cast-if.scala b/tests/pos/gadt-cast-if.scala
@@ -0,0 +1,12 @@
+trait Expr[T]
+  case class IntExpr() extends Expr[Int]
+
+  def flag: Boolean = ???
+
+  def foo[T](ev: Expr[T]): Int | T = ev match
+    case IntExpr() =>
+      if flag then
+        val i: T = ???
+        i
+      else
+        (??? : Int)