Make disallow-any-unimported flag invertible

python · Oct 24, 2024 · e7d709b · e7d709b
1 parent 3420ef1
commit e7d709b
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 6 deletions.
diff --git a/mypy/main.py b/mypy/main.py
@@ -645,12 +645,6 @@ def add_invertible_flag(
         title="Disallow dynamic typing",
         description="Disallow the use of the dynamic 'Any' type under certain conditions.",
     )
-    disallow_any_group.add_argument(
-        "--disallow-any-unimported",
-        default=False,
-        action="store_true",
-        help="Disallow Any types resulting from unfollowed imports",
-    )
     disallow_any_group.add_argument(
         "--disallow-any-expr",
         default=False,
@@ -677,6 +671,12 @@ def add_invertible_flag(
         help="Disallow usage of generic types that do not specify explicit type parameters",
         group=disallow_any_group,
     )
+    add_invertible_flag(
+        "--disallow-any-unimported",
+        default=False,
+        help="Disallow Any types resulting from unfollowed imports",
+        group=disallow_any_group,
+    )
     add_invertible_flag(
         "--disallow-subclassing-any",
         default=False,

diff --git a/test-data/unit/check-flags.test b/test-data/unit/check-flags.test
@@ -963,6 +963,12 @@ from missing import Unchecked
 
 t: Unchecked = 12  # E: Type of variable becomes "Any" due to an unfollowed import
 
+[case testAllowImplicitAnyVariableDefinition]
+# flags: --ignore-missing-imports --allow-any-unimported
+from missing import Unchecked
+
+t: Unchecked = 12
+
 [case testDisallowImplicitAnyGeneric]
 # flags: --ignore-missing-imports --disallow-any-unimported
 from missing import Unchecked