tests/run/virtpatmat_tailcalls_verifyerror.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14

// shouldn't result in a verify error when run...
object Test extends dotty.runtime.LegacyApp {
  @annotation.tailrec
  final def test(meh: Boolean): Boolean = {
    Some("a") match {
      case x =>
        x match {
          case Some(_) => if(meh) test(false) else false
          case _ => test(false)
        }
    }
  }
  println(test(true))
}