Fix a type-hinting regression from version 6.125.1, where we would no
longer guarantee the type of the argument to ".filter" predicates
(issue #4269).

x was previously Unknown, but is now correctly guaranteed to be int

st.integers().filter(lambda x: x > 0)

The canonical version of these notes (with links) is on readthedocs.