Mypy now reveals correct type

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]"),
         (