really non-locality that can't be modelled by resume

Author: ahuoguo

benchmarks/wasm/trycatch/try_catch_call_nested.wat

@@ -0,0 +1,35 @@
+(module
+  (type (;0;) (func (param i32)))
+  (type (;1;) (func))
+  (import "console" "log" (func (;0;) (type 0)))
+  (func (;1;) (type 1)
+    (local i32)
+    try
+      i32.const 1
+      call 0
+      call 2
+      i32.const 3
+      call 0
+    catch
+      ;; [42, resume]
+      i32.const 2
+      call 0
+      drop
+      resume0
+      i32.const 4
+      call 0
+    end
+    i32.const 5
+    call 0
+    )
+  (func (;2;) (type 1)
+    call 3
+    i32.const 3
+    call 0
+  )
+  ;; this time you really can't model with a `return`
+  (func (;3;) (type 1)
+    i32.const 42
+    throw
+  )
+  (start 1))

src/test/scala/TestTFP.scala

@@ -165,6 +165,10 @@ class TestTFP extends AnyFunSuite {
     testFileOutput("./benchmarks/wasm/trycatch/try_catch_call.wat", List(1, 2, 3, 3, 4, 5))
   }
 
+  test("try-catch-call-nested") {
+    testFileOutput("./benchmarks/wasm/trycatch/try_catch_call_nested.wat", List(1, 2, 3, 3, 4, 5))
+  }
+
   // SpecTest
   test("spectest_return_call") {
     testWastFile("./benchmarks/wasm/spectest/return_call.bin.wast")