add mypy test

Author: rsokl

whole-repo-tests/test_mypy.py

@@ -10,6 +10,7 @@
 
 import os
 import subprocess
+import textwrap
 
 import pytest
 
@@ -343,6 +344,23 @@ def test_stateful_consumed_bundle_cannot_be_target(tmpdir):
     assert_mypy_errors(str(f.realpath()), [(3, "call-overload")])
 
 
+def test_raises_for_mixed_pos_kwargs_in_given(tmpdir):
+    f = tmpdir.join("raises_for_mixed_pos_kwargs_in_given")
+    f.write(
+        textwrap.dedent(
+            """
+            from hypothesis import given
+            from hypothesis.strategies import text
+
+            @given(text(), x=text())  # type: ignore
+            def test_bar(x):
+                ...
+            """
+        )
+    )
+    assert_mypy_errors(str(f.realpath()), [(5, "call-overload")])
+
+
 @pytest.mark.parametrize(
     "return_val,errors",
     [