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

This lets us see the impact on mypy primer.
python · JukkaL · Mar 19, 2025 · Jan 3, 2025 · Jan 28, 2025 · Jan 29, 2025
commit 69fd839512f0f67f08a917a677d784cf95f805df
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