Merge pull request #11876 from rjolly/try

Add finally method in safe throws strawman 2

Author: odersky

tests/run/safeThrowsStrawman2.check

@@ -1,3 +1,4 @@
 1
 failed
 failed
+2

tests/run/safeThrowsStrawman2.scala

@@ -12,17 +12,22 @@ object scalax:
   private class Result[T]:
     var value: T = scala.compiletime.uninitialized
 
-  def try1[R, E <: Exception](body: => R throws E): (E => Unit) => R = { c =>
+  def try1[R, E <: Exception](body: => R throws E)(c: E => Unit): R =
+    try2(body)(c) {}
+
+  def try2[R, E <: Exception](body: => R throws E)(c: E => Unit)(f: => Unit): R =
     val res = new Result[R]
     try
       given CanThrow[E] = ???
       res.value = body
     catch c.asInstanceOf[Throwable => Unit]
+    finally f
     res.value
-  }
 
   extension [R, E <: Exception](t: (E => Unit) => R) def catch1(c: E => Unit) = t(c)
 
+  extension [R, E <: Exception](c: ( => Unit) => R) def finally1(f: => Unit) = c(f)
+
 import scalax._
 
 def foo(x: Boolean): Int throws Fail =
@@ -39,9 +44,11 @@ def baz: Int throws Exception = foo(false)
     case ex: Fail =>
       println("failed")
   }
-  try1 {
+  try2 {
     println(baz)
   } catch1 {
     case ex: Fail =>
       println("failed")
+  } finally1 {
+    println(2)
   }