Skip to content

Commit 3d52d1e

Browse files
committed
add test case for #14776
See #14776 (comment).
1 parent 95193e7 commit 3d52d1e

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed

tests/pos/gadt-cast-if.scala

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
trait Expr[T]
2+
case class IntExpr() extends Expr[Int]
3+
4+
def flag: Boolean = ???
5+
6+
def foo[T](ev: Expr[T]): Int | T = ev match
7+
case IntExpr() =>
8+
if flag then
9+
val i: T = ???
10+
i
11+
else
12+
(??? : Int)

0 commit comments

Comments
 (0)