TailRec now handles Try with Ident-handler

Author: DarkDimius

src/dotty/tools/dotc/transform/TailRec.scala

@@ -237,6 +237,7 @@ class TailRec extends MiniPhaseTransform with DenotTransformer with FullParamete
             case Block(List((d: DefDef)), cl@Closure(Nil, _, EmptyTree)) =>
               val newDef = cpy.DefDef(d)(rhs = transform(d.rhs))
               Block(List(newDef), cl)
+            case t: Ident => t // handler is an external function
             case _ => assert(false, s"failed to deconstruct try handler ${t.show}"); ???
           }
         }

tests/pos/tryTyping.scala

@@ -0,0 +1,14 @@
+object tryTyping{
+  def foo: Int = {
+    try{???; 1}
+    catch {
+      case e: Exception => 2
+    }
+  }
+
+  def foo2: Int = {
+    val a: (Throwable => Int) = _ match {case _ => 2}
+    try{???; 1}
+    catch a
+  }
+}