Merge doc literal paragraph

python · Don-Burns · May 23, 2025 · May 23, 2025 · May 23, 2025 · May 23, 2025
commit 525924f0e29939d401b90561d03d1ea10837bf72
diff --git a/docs/source/literal_types.rst b/docs/source/literal_types.rst
@@ -468,7 +468,6 @@ If we forget to handle one of the cases, mypy will generate an error:
      assert_never(direction)  # E: Argument 1 to "assert_never" has incompatible type "Direction"; expected "NoReturn"

 Exhaustiveness checking is also supported for match statements (Python 3.10 and later).
-Exhaustiveness checking is also supported for match statements (Python 3.10 and later).
+Exhaustiveness checking is also supported for match statements (Python 3.10 and later). With
+:option:`--disallow-inexhaustive-match-statements <mypy --disallow-inexhaustive-match-statements>`,
+mypy will even warn if match statements are inexhaustive.
-Exhaustiveness checking is also supported for match statements (Python 3.10 and later).
+Exhaustiveness checking is also supported for match statements (Python 3.10 and later). With
+:option:`--disallow-inexhaustive-match-statements <mypy --disallow-inexhaustive-match-statements>`,
+mypy will even warn if match statements are inexhaustive.
-
 For match statements specifically, inexhaustive matches can be caught
 without needing to use ``assert_never`` by using
 :option:`--enable-error-code exhaustive-match <mypy --enable-error-code>`.