From 75c0f0286f14ca810effccd10c4fbe35408698aa Mon Sep 17 00:00:00 2001
From: Alex Vandiver <alexmv@zulip.com>
Date: Fri, 17 Oct 2025 18:25:34 +0000
Subject: [PATCH] semgrep: Lint unnecessary type=str in argparse.

---
 tools/semgrep-py.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/tools/semgrep-py.yml b/tools/semgrep-py.yml
index 4bd0d135c1..65ed91791b 100644
--- a/tools/semgrep-py.yml
+++ b/tools/semgrep-py.yml
@@ -379,3 +379,15 @@ rules:
       - pattern: urllib.parse.ParseResult
     severity: ERROR
     message: "Use urlsplit rather than urlparse"
+
+  - id: argparse-redundant-str
+    patterns:
+      - pattern: |
+          ....add_argument(..., type=str, ...)
+    message: |
+      The `type=str` argument is redundant in `argparse` because `str` is the default type.
+    fix-regex:
+      regex: ',\s*type=str'
+      replacement: ""
+    languages: [python]
+    severity: ERROR