New semantic analyzer: Enable four previously skipped tests (python#6518)

ilevkivskyi · web-flow · commit e32ef6cbd126 · 2019-03-06T17:42:27.000Z
diff --git a/test-data/unit/check-final.test b/test-data/unit/check-final.test
@@ -338,7 +338,7 @@ class C:
 -- Reassignments
 
 [case testFinalReassignModuleVar]
-# flags: --allow-redefinition --no-new-semantic-analyzer
+# flags: --allow-redefinition --new-semantic-analyzer
 from typing import Final
 
 x: Final = 1
@@ -361,12 +361,11 @@ y: Final = 2  # E: Cannot redefine an existing name as final
 y = 3  # E: Cannot assign to final name "y"
 
 z: Final = 1
-z: Final = 2  # E: Name 'z' already defined on line 23 \
-              # E: Cannot redefine an existing name as final
+z: Final = 2  # E: Cannot redefine an existing name as final
 z = 3  # E: Cannot assign to final name "z"
 
 [case testFinalReassignModuleVar2]
-# flags: --allow-redefinition --no-new-semantic-analyzer
+# flags: --allow-redefinition
 from typing import Final
 
 x: Final = 1
diff --git a/test-data/unit/check-inference.test b/test-data/unit/check-inference.test
@@ -1047,7 +1047,7 @@ class B: pass
 [builtins fixtures/for.pyi]
 
 [case testReusingInferredForIndex2]
-# flags: --allow-redefinition --no-new-semantic-analyzer
+# flags: --allow-redefinition
 
 def f() -> None:
     for a in [A()]: pass
@@ -2457,7 +2457,7 @@ _ = 0
 _ = '' # E: Incompatible types in assignment (expression has type "str", variable has type "int")
 
 [case testUnusedTargetNotClass]
-# flags: --allow-redefinition --no-new-semantic-analyzer
+# flags: --allow-redefinition
 class C:
     _, _ = 0, 0
     _ = ''
