We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 48518e1 commit 860a9eeCopy full SHA for 860a9ee
tests/neg/gadt-alternatives.scala
@@ -6,4 +6,4 @@ import Expr.*
6
def eval[T](e: Expr[T]): T = e match
7
case StringVal(_) | IntVal(_) => "42" // error
8
def eval1[T](e: Expr[T]): T = e match
9
- case IntValAlt(_) | IntVal(_) => 42 // error // limitation
+ case IntValAlt(_) | IntVal(_) => 42 // previously error, now ok
0 commit comments