blob: 13b9045da45d96b8ad4aff5b4fee2f2ffa27c0b5 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
object Test {
def wrap[K](body: => K): K = body
def f(): Option[Int] = {
wrap({ return Some(1) ; None })
}
def main(args: Array[String]): Unit = {
println(f())
}
}
// java.lang.ClassCastException: scala.Some cannot be cast to scala.None$
// at Test$$anonfun$f$1.apply(nonlocalreturn.scala:5)
// at Test$$anonfun$f$1.apply(nonlocalreturn.scala:5)
// at Test$.wrap(nonlocalreturn.scala:2)
|