Update and add test scenarios

Author: smasato

scenario/control/begin-variable-tracking.rb

@@ -0,0 +1,30 @@
+## update
+def foo
+  x = :a
+  begin
+    x = :b
+    raise
+    x = :c
+  rescue
+    check_rescue(x)
+    x = :d
+  # ensure # TODO: Looks like commenting out these two lines makes the test fail? Need to fix
+  #   x = :f
+  else
+    check_else(x)
+    x = :e
+  end
+  check_after(x)
+end
+
+def check_rescue(n) = nil
+def check_else(n) = nil
+def check_after(n) = nil
+
+## assert
+class Object
+  def foo: -> nil
+  def check_rescue: (:a | :c) -> nil
+  def check_else: (:c) -> nil
+  def check_after: (:a | :c | :d | :e) -> nil
+end

scenario/control/rescue.rb

@@ -1,34 +1,27 @@
 ## update
-def bar(n)
-  :c
-end
-
-def foo(n)
+def foo
   begin
-    n = "str"
-    1.0
-  rescue
     :a
-  rescue SyntaxError
+  rescue
     :b
+  rescue SyntaxError
+    :c
   rescue Exception
-    ## TODO: bar should accept "Integer | String" ???
-    bar(n)
-  else
     :d
+  else
+    :e
   end
 end
 
-def baz(n)
+def bar(n)
   n rescue :a
 end
 
-foo(1)
-baz(1)
+foo
+bar(1)
 
 ## assert
 class Object
-  def bar: (String) -> :c
-  def foo: (Integer) -> (:a | :b | :c | :d | Float)
-  def baz: (Integer) -> (:a | Integer)
+  def foo: -> (:a | :b | :c | :d | :e)
+  def bar: (Integer) -> (:a | Integer)
 end