TEMPORARY: Enable --allow-redefinition-new and --local-partial-types

JukkaL · JukkaL · commit 69fd839512f0 · 2025-03-12T17:15:50.000Z
This lets us see the impact on mypy primer.
diff --git a/mypy/options.py b/mypy/options.py
@@ -222,7 +222,7 @@ def __init__(self) -> None:
 
         # Allow flexible variable redefinition with an arbitrary type, in different
         # blocks and and at different nesting levels
-        self.allow_redefinition_new = False
+        self.allow_redefinition_new = True
 
         # Prohibit equality, identity, and container checks for non-overlapping types.
         # This makes 1 == '1', 1 in ['1'], and 1 is '1' errors.
@@ -361,7 +361,7 @@ def __init__(self) -> None:
         self.dump_deps = False
         self.logical_deps = False
         # If True, partial types can't span a module top level and a function
-        self.local_partial_types = False
+        self.local_partial_types = True
         # Some behaviors are changed when using Bazel (https://bazel.build).
         self.bazel = False
         # If True, export inferred types for all expressions as BuildResult.types
