From 8ad351b89da189993d3471b26f0a9b0054b91895 Mon Sep 17 00:00:00 2001
From: Zac Hatfield-Dodds <zac.hatfield.dodds@gmail.com>
Date: Sun, 15 Oct 2023 22:00:58 +0100
Subject: [PATCH] Mypy now reveals correct type
---
whole-repo-tests/test_mypy.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/whole-repo-tests/test_mypy.py b/whole-repo-tests/test_mypy.py
index f75f04eb67..0bf11e7399 100644
--- 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]"),
(