Mypy now reveals correct type

Zac-HD · Zac-HD · commit 8ad351b89da1 · 2023-10-15T14:39:22.000+01:00
diff --git a/whole-repo-tests/test_mypy.py b/whole-repo-tests/test_mypy.py
@@ -115,7 +115,7 @@ def convert_lines():
             "one_of(integers(), text(), none(), binary(), builds(list), builds(dict))",
             "Any",
         ),
-        ("tuples()", "tuple[]"),  # Should be `tuple[()]`, but this is what mypy prints
+        ("tuples()", "tuple[()]"),
         ("tuples(integers())", "tuple[int]"),
         ("tuples(integers(), text())", "tuple[int, str]"),
         (

Original file line number	Diff line number	Diff line change
`@@ -115,7 +115,7 @@ def convert_lines():`
`115`	`115`	`"one_of(integers(), text(), none(), binary(), builds(list), builds(dict))",`
`116`	`116`	`"Any",`
`117`	`117`	`),`
`118`		- ("tuples()", "tuple[]"), # Should be `tuple[()]`, but this is what mypy prints
	`118`	`+ ("tuples()", "tuple[()]"),`
`119`	`119`	`("tuples(integers())", "tuple[int]"),`
`120`	`120`	`("tuples(integers(), text())", "tuple[int, str]"),`
`121`	`121`	`(`