From 6dd3ba92a0e887fae172bbfc114b664c89a5398b Mon Sep 17 00:00:00 2001
From: Ivan Levkivskyi <levkivskyi@gmail.com>
Date: Thu, 4 Sep 2025 23:07:53 +0100
Subject: [PATCH] Make --allow-redefinition-new argument public

---
 mypy/main.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mypy/main.py b/mypy/main.py
index 706d1daef680..4ca1bde73d40 100644
--- 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,
     )