Add tests

tests/init-global/pos/shared-local-var-between-recursion.scala

@@ -0,0 +1,15 @@
+trait Foo:
+    def f(): Int
+
+object O1 extends Foo:
+    var a1: Int = bar(this).f()
+
+    def bar(param: Foo): Foo =
+        var local = param
+        bar(O2)
+        local
+    override def f(): Int = 0
+
+object O2 extends Foo:
+    var a2 = 0
+    override def f(): Int = a2

tests/init-global/warn/local-var-leak.scala

@@ -0,0 +1,8 @@
+object O1:
+    val a = O2.b()
+
+object O2:
+    val b = f()
+    def f(): () => Int =
+        var local = 0
+        () => local // warn