Uninitialized local: Add examples of false positives

Reviewed By: dkgi

Differential Revision: D28967091

fbshipit-source-id: 8f71f34b6a580de4d91417d64bd15c14614c5b3f

Author: kbansal

source/analysis/test/uninitializedLocalCheckTest.ml

@@ -92,6 +92,28 @@ let test_simple context =
     |}
     [];
 
+  (* shouild be: no errors *)
+  assert_uninitialized_errors
+    {|
+        def f():
+          def g():
+            pass
+          g()
+    |}
+    ["Unbound name [10]: Name `g` is used but not defined in the current scope."];
+
+  (* should be: no errors *)
+  assert_uninitialized_errors
+    {|
+        def f():
+          x, y = 0, 0
+          return x, y
+    |}
+    [
+      "Unbound name [10]: Name `x` is used but not defined in the current scope.";
+      "Unbound name [10]: Name `y` is used but not defined in the current scope.";
+    ];
+
   (* Extracted from a real-world example. should be: In foo(harness_config), harness_config might
      not be defined. *)
   assert_uninitialized_errors