Merge pull request #2095 from davidhalter/typing

Use Zuban instead of Mypy for subsecond type checking and editor integration

docs/docs/api.rst

@@ -107,7 +107,7 @@ Completions
    >>> code = '''import json; json.l'''
    >>> script = jedi.Script(code, path='example.py')
    >>> script
-   <Script: 'example.py' <SameEnvironment: 3.9.0 in /usr>>
+   <Script: 'example.py' <SameEnvironment: 3.14.0 in /usr>>
    >>> completions = script.complete(1, 19)
    >>> completions
    [<Completion: load>, <Completion: loads>]

docs/docs/features.rst

@@ -16,7 +16,7 @@ Jedi's main API calls and features are:
 Basic Features
 --------------
 
-- Python 3.8+ support
+- Python 3.10+ support
 - Ignores syntax errors and wrong indentation
 - Can deal with complex module / function / class structures
 - Great ``virtualenv``/``venv`` support

docs/docs/testing.rst

@@ -7,10 +7,10 @@ The test suite depends on ``pytest``::
 
     pip install pytest
 
-If you want to test only a specific Python version (e.g. Python 3.8), it is as
+If you want to test only a specific Python version (e.g. Python 3.14), it is as
 easy as::
 
-    python3.8 -m pytest
+    python3.14 -m pytest
 
 Tests are also run automatically on `GitHub Actions
 <https://github.com/davidhalter/jedi/actions>`_.

docs/docs/usage.rst

@@ -13,7 +13,7 @@ Below you can also find a list of :ref:`recipes for type hinting <recipes>`.
 .. _language-servers:
 
 Language Servers
---------------
+----------------
 
 - `jedi-language-server <https://github.com/pappasam/jedi-language-server>`_
 - `python-language-server <https://github.com/palantir/python-language-server>`_ (currently unmaintained)