Imported From: https://issues.scala-lang.org/browse/SI-6145?orig=1
Reporter: @Atry
Affected Versions: 2.10.0-M3, 2.10.0-M4, 2.10.0-M5, 2.10.0-M6

@VladUreche said (edited on Jul 26, 2012 12:47:03 PM UTC):
What is the error message? Can it be related to SI-4649?

@VladUreche said:
Adriaan, since this is a regression, it should be critical, right?

@adriaanm said:

object Test {
  // the existential causes a cast and the cast makes searchClass not be in tail position
  // can we get rid of the useless cast?
  @annotation.tailrec
  final def searchClass: Class[_] = {
    "packageName" match {
      case _ =>
        searchClass
    }
  }
}

@adriaanm said:
scala/scala#1064

@Atry said (edited on Aug 23, 2012 12:58:39 AM UTC):
The origin test case still cannot be compiled for Scala 2.10.0-M7

@adriaanm said:
there were two problems with the original test: one was fixed (the existential type that made a tail position into a non-tail position), the other is not a regression: the try/catch with the return was never supported by tailcalls. Here's a simpler (yet isomorphic) test case that does not work on 2.9 nor 2.10:

 @annotation.tailrec
 final def searchClass: String = {
   "x" match {
     case null =>
       try {
         ""
       } catch {
         case e: ClassNotFoundException =>
          searchClass
       }
   }
 }

@adriaanm said:
I'm not sure we can support tail calls in try/catches or mixed with return statements. Please open a separate ticket for that if the improvement is important to you. Thank you!

@Atry said:
The try/catch issue is also a regression. I open another ticket here: #6479