Merge remote-tracking branch 'upstream/master' into conditional-overloads

Author: cdce8p

.github/workflows/test.yml

@@ -113,24 +113,23 @@ jobs:
     - name: Test
       run: tox -e ${{ matrix.toxenv }} --skip-pkg-install -- ${{ matrix.tox_extra_args }}
 
-# TODO: uncomment this when 3.11-dev is available
-#  python-nightly:
-#    runs-on: ubuntu-latest
-#    name: Test suite with Python nightly
-#    steps:
-#    - uses: actions/checkout@v2
-#    - uses: actions/setup-python@v2
-#      with:
-#        python-version: '3.11-dev'
-#    - name: Install tox
-#      run: |
-#        pip install -U pip==21.2.3 setuptools
-#        pip install --upgrade 'setuptools!=50' virtualenv==20.4.7 tox==3.20.1
-#    - name: Setup tox environment
-#      run: tox -e py --notest
-#    - name: Test
-#      run: tox -e py --skip-pkg-install -- "-n 2"
-#      continue-on-error: true
-#    - name: Mark as a success
-#      run: exit 0
-
+# TODO: re-enable when `typed-ast` will be fixed for `python==3.11`
+#   python-nightly:
+#     runs-on: ubuntu-latest
+#     name: Test suite with Python nightly
+#     steps:
+#     - uses: actions/checkout@v2
+#     - uses: actions/setup-python@v2
+#       with:
+#         python-version: '3.11-dev'
+#     - name: Install tox
+#       run: |
+#         pip install -U pip==21.2.3 setuptools
+#         pip install --upgrade 'setuptools!=50' virtualenv==20.4.7 tox==3.20.1
+#     - name: Setup tox environment
+#       run: tox -e py --notest
+#     - name: Test
+#       run: tox -e py --skip-pkg-install -- "-n 2"
+#       continue-on-error: true
+#     - name: Mark as a success
+#       run: exit 0

docs/source/error_code_list.rst

@@ -657,6 +657,28 @@ consistently when using the call-based syntax. Example:
     # Error: First argument to namedtuple() should be "Point2D", not "Point"
     Point2D = NamedTuple("Point", [("x", int), ("y", int)])
 
+Check that overloaded functions have an implementation [no-overload-impl]
+-------------------------------------------------------------------------
+
+Overloaded functions outside of stub files must be followed by a non overloaded
+implementation.
+
+.. code-block:: python
+
+   from typing import overload
+
+   @overload
+   def func(value: int) -> int:
+       ...
+
+   @overload
+   def func(value: str) -> str:
+       ...
+
+   # presence of required function below is checked
+   def func(value):
+       pass  # actual implementation
+
 Report syntax errors [syntax]
 -----------------------------
 

docs/source/literal_types.rst

@@ -186,13 +186,13 @@ corresponding to some particular index, we can use Literal types like so:
 
     # But what if we want the index to be a variable? Normally mypy won't
     # know exactly what the index is and so will return a less precise type:
-    int_index = 1
+    int_index = 0
     reveal_type(tup[int_index])  # Revealed type is "Union[str, float]"
 
     # But if we use either Literal types or a Final int, we can gain back
     # the precision we originally had:
-    lit_index: Literal[1] = 1
-    fin_index: Final = 1
+    lit_index: Literal[0] = 0
+    fin_index: Final = 0
     reveal_type(tup[lit_index])  # Revealed type is "str"
     reveal_type(tup[fin_index])  # Revealed type is "str"
 

docs/source/running_mypy.rst

@@ -491,7 +491,7 @@ This is computed from the following items:
 
 .. note::
 
-    You cannot point to a :pep:`561` package via the ``MYPYPATH``, it must be
+    You cannot point to a stub-only package (:pep:`561`) via the ``MYPYPATH``, it must be
     installed (see :ref:`PEP 561 support <installed-packages>`)
 
 Second, mypy searches for stub files in addition to regular Python files