Rename flag to better follow other flags

Author: Don-Burns

docs/source/command_line.rst

@@ -799,7 +799,7 @@ of the above sections.
         x = 'a string'
         x.trim()  # error: "str" has no attribute "trim"  [attr-defined]
 
-.. option:: --only-allow-exhaustive-match-statements
+.. option:: --disallow-inexhaustive-match-statements
 
    This flag will cause mypy to report an error whenever it encounters a match statement
    that does not cover all possible cases.
@@ -815,21 +815,25 @@ of the above sections.
 
         val: Color = Color.RED
 
-        match val: # error: Cases within match statement do not exhaustively handle all values: "Literal[Color.BLUE]". If not intended to handle all cases, use `case _: pass`
+        # without --disallow-inexhaustive-match-statements
+        match val:
             case Color.RED:
                 print("red")
-        # without --only-allow-exhaustive-match-statements
+
+        # Also no issues without --disallow-inexhaustive-match-statements, but this is exhaustive
         match val:
             case Color.RED:
                 print("red")
-        # with --only-allow-exhaustive-match-statements
+            case _:
+                print("other")
+
+        # with --disallow-inexhaustive-match-statements
         match val: # error: Cases within match statement do not exhaustively handle all values: "Literal[Color.BLUE]". If not intended to handle all cases, use `case _: pass`
             case Color.RED:
                 print("red")
 
-
-        # no error with --only-allow-exhaustive-match-statements since all cases are handled
-        match val: # error: Cases within match statement do not exhaustively handle all values: "Literal[Color.BLUE]". If not intended to handle all cases, use `case _: pass`
+        # no error with --disallow-inexhaustive-match-statements since all cases are handled
+        match val:
             case Color.RED:
                 print("red")
             case _:

mypy/checker.py

@@ -5512,7 +5512,7 @@ def visit_match_stmt(self, s: MatchStmt) -> None:
                 unmatched_types = else_map
 
             if (
-                self.options.only_allow_exhaustive_match_statements is True
+                self.options.disallow_inexhaustive_match_statements is True
                 and unmatched_types is not None
             ):
                 for typ in set(unmatched_types.values()):

mypy/main.py

@@ -932,7 +932,7 @@ def add_invertible_flag(
         group=strictness_group,
     )
     add_invertible_flag(
-        "--only-allow-exhaustive-match-statements",
+        "--disallow-inexhaustive-match-statements",
         default=False,
         strict_flag=False,
         help="Raise type error for match statements that do not match exhaustively",

mypy/options.py

@@ -350,7 +350,7 @@ def __init__(self) -> None:
         self.test_env = False
 
         # Only allow exhaustive match statements
-        self.only_allow_exhaustive_match_statements = False
+        self.disallow_inexhaustive_match_statements = False
 
         # -- experimental options --
         self.shadow_file: list[list[str]] | None = None

test-data/unit/check-python310.test

@@ -2669,7 +2669,7 @@ match b:
 
 
 [case testExhaustiveMatchWithFlag]
-# flags: --only-allow-exhaustive-match-statements
+# flags: --disallow-inexhaustive-match-statements
 
 a: int = 5
 match a:
@@ -2686,7 +2686,7 @@ match b:
         pass
 
 [case testNonExhaustiveMatchWithFlag]
-# flags: --only-allow-exhaustive-match-statements
+# flags: --disallow-inexhaustive-match-statements
 
 a: int = 5
 match a: # E: Cases within match statement do not exhaustively handle all values: "int". If not intended to handle all cases, use `case _: pass`
@@ -2699,7 +2699,7 @@ match b: # E: Cases within match statement do not exhaustively handle all values
         pass
 
 [case testNonExhaustiveMatchEnumWithFlag]
-# flags: --only-allow-exhaustive-match-statements
+# flags: --disallow-inexhaustive-match-statements
 
 import enum
 
@@ -2720,7 +2720,7 @@ match val: # E: Cases within match statement do not exhaustively handle all valu
 
 
 [case testExhaustiveMatchEnumWithFlag]
-# flags: --only-allow-exhaustive-match-statements
+# flags: --disallow-inexhaustive-match-statements
 
 import enum
 
@@ -2739,7 +2739,7 @@ match val:
 [builtins fixtures/enum.pyi]
 
 [case testNonExhaustiveMatchEnumMultipleMissingMatchesWithFlag]
-# flags: --only-allow-exhaustive-match-statements
+# flags: --disallow-inexhaustive-match-statements
 
 import enum
 
@@ -2758,7 +2758,7 @@ match val: # E: Cases within match statement do not exhaustively handle all valu
 [builtins fixtures/enum.pyi]
 
 [case testExhaustiveMatchEnumFallbackWithFlag]
-# flags: --only-allow-exhaustive-match-statements
+# flags: --disallow-inexhaustive-match-statements
 
 import enum