Fix type annotation

hypothesis-python/RELEASE.rst

@@ -1,5 +1,6 @@
 RELEASE_TYPE: minor
 
-Deprecate use of :func:`~hypothesis.assume` and ``reject()``
+This release deprecates use of :func:`~hypothesis.assume` and ``reject()``
 outside of property-based tests, because these functions work by raising a
-special exception (:issue:`3743`).
+special exception (:issue:`3743`).  It also fixes some type annotations
+(:issue:`3753`).

hypothesis-python/src/hypothesis/strategies/_internal/core.py

@@ -122,6 +122,7 @@
 from hypothesis.strategies._internal.shared import SharedStrategy
 from hypothesis.strategies._internal.strategies import (
     Ex,
+    Ex_Inv,
     SampledFromStrategy,
     T,
     one_of,
@@ -1136,7 +1137,7 @@ def builds(
 
 @cacheable
 @defines_strategy(never_lazy=True)
-def from_type(thing: Type[Ex]) -> SearchStrategy[Ex]:
+def from_type(thing: Type[Ex_Inv]) -> SearchStrategy[Ex_Inv]:
     """Looks up the appropriate search strategy for the given type.
 
     ``from_type`` is used internally to fill in missing arguments to

whole-repo-tests/test_mypy.py

@@ -126,6 +126,10 @@ def convert_lines():
             "tuples(text(), text(), text(), text(), text(), text())",
             "tuple[Any, ...]",
         ),
+        (
+            "from_type(type).flatmap(from_type).filter(lambda x: not isinstance(x, int))",
+            "Ex_Inv`-1",
+        ),
     ],
 )
 def test_revealed_types(tmpdir, val, expect):