Hypothesis 5.8.0 broken on Python 3.5.2

[cole]

Importing gives TypeError: 'ellipsis' object is not iterable:

❯ docker run -it python:3.5.2 /bin/bash -c "pip install hypothesis && python -m hypothesis"
Collecting hypothesis
  Downloading https://files.pythonhosted.org/packages/99/b4/63160b387f39a5d8c98e281f91136483245ae4d15379e72f720543122f3d/hypothesis-5.8.0-py3-none-any.whl (289kB)
    100% |████████████████████████████████| 296kB 3.6MB/s 
Collecting attrs>=19.2.0 (from hypothesis)
  Downloading https://files.pythonhosted.org/packages/a2/db/4313ab3be961f7a763066401fb77f7748373b6094076ae2bda2806988af6/attrs-19.3.0-py2.py3-none-any.whl
Collecting sortedcontainers<3.0.0,>=2.1.0 (from hypothesis)
  Downloading https://files.pythonhosted.org/packages/13/f3/cf85f7c3a2dbd1a515d51e1f1676d971abe41bba6f4ab5443240d9a78e5b/sortedcontainers-2.1.0-py2.py3-none-any.whl
Installing collected packages: attrs, sortedcontainers, hypothesis
Successfully installed attrs-19.3.0 hypothesis-5.8.0 sortedcontainers-2.1.0
You are using pip version 9.0.1, however version 20.0.2 is available.
You should consider upgrading via the 'pip install --upgrade pip' command.
Traceback (most recent call last):
  File "/usr/local/lib/python3.5/runpy.py", line 174, in _run_module_as_main
    mod_name, mod_spec, code = _get_module_details(mod_name, _Error)
  File "/usr/local/lib/python3.5/runpy.py", line 133, in _get_module_details
    return _get_module_details(pkg_main_name, error)
  File "/usr/local/lib/python3.5/runpy.py", line 109, in _get_module_details
    __import__(pkg_name)
  File "/usr/local/lib/python3.5/site-packages/hypothesis/__init__.py", line 26, in <module>
    from hypothesis.core import example, find, given, reproduce_failure, seed
  File "/usr/local/lib/python3.5/site-packages/hypothesis/core.py", line 36, in <module>
    import hypothesis.strategies as st
  File "/usr/local/lib/python3.5/site-packages/hypothesis/strategies/__init__.py", line 17, in <module>
    from hypothesis.strategies._internal.core import (
  File "/usr/local/lib/python3.5/site-packages/hypothesis/strategies/_internal/core.py", line 2248, in <module>
    ) -> SearchStrategy[Callable[..., Any]]:
  File "/usr/local/lib/python3.5/typing.py", line 1025, in __getitem__
    tvars = _type_vars(params)
  File "/usr/local/lib/python3.5/typing.py", line 284, in _type_vars
    _get_type_vars(types, tvars)
  File "/usr/local/lib/python3.5/typing.py", line 279, in _get_type_vars
    t._get_type_vars(tvars)
  File "/usr/local/lib/python3.5/typing.py", line 786, in _get_type_vars
    _get_type_vars(self.__args__, tvars)
  File "/usr/local/lib/python3.5/typing.py", line 277, in _get_type_vars
    for t in types:
TypeError: 'ellipsis' object is not iterable

[cole]

Possible dupe of #2334?

[Zac-HD]

Related but distinct I think... but we're more likely to drop support for 3.5 than fix this I think.

[cole]

I thought that might be the case 😢. Fair enough.

[Zac-HD]

Yeah 😕

I'd be happy to take a patch for this, but per docs "Hypothesis does not officially support anything except the latest patch release of any version of Python it supports".

As context Numpy has already dropped 3.5, the PSF will in September, and it's only around 3% of our downloads - and only a fraction of that will be 3.5.2; while even the whole 3% is well less than the unsupported Python 2.

[Zac-HD]

Unfortunately this looks like a known bug in Python 3.5.2 - python/typing#259 - which we won't be able to fix 😞