Make --allow-redefinition-new argument public (#19796)

ilevkivskyi · Kevin Kannammalil · commit 5a323dd2f892 · 2025-09-04T20:05:25.000-04:00
It is time to announce this (as still experimental obviously). (cherry picked from commit d33c147)
diff --git a/mypy/main.py b/mypy/main.py
@@ -886,7 +886,7 @@ def add_invertible_flag(
         "--allow-redefinition-new",
         default=False,
         strict_flag=False,
-        help=argparse.SUPPRESS,  # This is still very experimental
+        help="Allow more flexible variable redefinition semantics (experimental)",
         group=strictness_group,
     )
 

Original file line number	Diff line number	Diff line change
`@@ -886,7 +886,7 @@ def add_invertible_flag(`
`886`	`886`	`"--allow-redefinition-new",`
`887`	`887`	`default=False,`
`888`	`888`	`strict_flag=False,`
`889`		`- help=argparse.SUPPRESS, # This is still very experimental`
	`889`	`+ help="Allow more flexible variable redefinition semantics (experimental)",`
`890`	`890`	`group=strictness_group,`
`891`	`891`	`)`
`892`	`892`