Bump mypy to 1.5.1 (#10559)

.github/workflows/daily.yml

@@ -36,28 +36,18 @@ jobs:
       matrix:
         # tkinter doesn't import on macOS-12
         os: ["ubuntu-latest", "windows-latest", "macos-11"]
-        python-version: ["3.7", "3.8", "3.9", "3.10", "3.11", "3.12"]
+        python-version: ["3.8", "3.9", "3.10", "3.11", "3.12"]
       fail-fast: false
 
     steps:
       - uses: actions/checkout@v3
       - name: Set up Python ${{ matrix.python-version }} on ${{ matrix.os }}
-        if: ${{ matrix.os != 'macos-11' || matrix.python-version != '3.7' }}
         uses: actions/setup-python@v4
         with:
           python-version: ${{ matrix.python-version }}
           cache: pip
           cache-dependency-path: requirements-tests.txt
           allow-prereleases: true
-        # Handle the py37 run on macos differently,
-        # to workaround https://github.com/actions/setup-python/issues/682
-      - name: Setup Python 3.7.16 on macos
-        if: ${{ matrix.os == 'macos-11' && matrix.python-version == '3.7' }}
-        uses: actions/setup-python@v4
-        with:
-          python-version: "3.7.16"
-          cache: pip
-          cache-dependency-path: requirements-tests.txt
       - name: Install dependencies
         run: pip install -r requirements-tests.txt
       - name: Run stubtest

.github/workflows/stubtest_stdlib.yml

@@ -32,28 +32,18 @@ jobs:
       matrix:
         # tkinter doesn't import on macOS 12
         os: ["ubuntu-latest", "windows-latest", "macos-11"]
-        python-version: ["3.7", "3.8", "3.9", "3.10", "3.11", "3.12"]
+        python-version: ["3.8", "3.9", "3.10", "3.11", "3.12"]
       fail-fast: false
 
     steps:
       - uses: actions/checkout@v3
       - name: Set up Python ${{ matrix.python-version }} on ${{ matrix.os }}
-        if: ${{ matrix.os != 'macos-11' || matrix.python-version != '3.7' }}
         uses: actions/setup-python@v4
         with:
           python-version: ${{ matrix.python-version }}
           cache: pip
           cache-dependency-path: requirements-tests.txt
           allow-prereleases: true
-        # Handle the py37 run on macos differently,
-        # to workaround https://github.com/actions/setup-python/issues/682
-      - name: Setup Python 3.7.16 on macos
-        if: ${{ matrix.os == 'macos-11' && matrix.python-version == '3.7' }}
-        uses: actions/setup-python@v4
-        with:
-          python-version: "3.7.16"
-          cache: pip
-          cache-dependency-path: requirements-tests.txt
       - name: Install dependencies
         run: pip install -r requirements-tests.txt
       - name: Run stubtest

.github/workflows/tests.yml

@@ -85,7 +85,7 @@ jobs:
     strategy:
       matrix:
         platform: ["linux", "win32", "darwin"]
-        python-version: ["3.7", "3.8", "3.9", "3.10", "3.11"]
+        python-version: ["3.8", "3.9", "3.10", "3.11"]
       fail-fast: false
     steps:
       - uses: actions/checkout@v3
@@ -98,8 +98,7 @@ jobs:
       - run: python ./tests/mypy_test.py --platform=${{ matrix.platform }} --python-version=${{ matrix.python-version }}
 
   # Run mypy slightly differently on the py312 stubs,
-  # as mypyc doesn't work on Python 3.12 yet
-  # (and various non-types dependencies can't be installed on Python 3.12 yet)
+  # as at least one non-types dependency (greenlet) can't be installed on Python 3.12 yet
   mypy-312:
     name: Run mypy against the stubs (3.12)
     runs-on: ubuntu-latest

.vscode/settings.default.json

@@ -97,11 +97,11 @@
     "mypy-type-checker.importStrategy": "fromEnvironment",
     "mypy-type-checker.args": [
         "--custom-typeshed-dir=${workspaceFolder}",
-        "--python-version=3.7",
-        "--strict"
-        // Needed because a library stubbed in typeshed won't necessarily be installed inthe dev's environment
-        // Currentyl broken in dmypy: https://github.com/python/mypy/issues/10709
-        // "--ignore-missing-imports"
+        // We only guarantee all of our tests can be run if you're on Python 3.9 or higher
+        "--python-version=3.9",
+        "--strict",
+        // Needed because a library stubbed in typeshed won't necessarily be installed in the dev's environment
+        "--ignore-missing-imports"
     ],
     // Ensure typeshed's configs are used, and not user's VSCode settings
     "flake8.args": [

requirements-tests.txt

@@ -7,7 +7,7 @@ flake8-bugbear==23.7.10; python_version >= "3.8"  # must match .pre-commit-confi
 flake8-noqa==1.3.2; python_version >= "3.8"       # must match .pre-commit-config.yaml
 flake8-pyi==23.6.0; python_version >= "3.8"       # must match .pre-commit-config.yaml
 isort==5.12.0; python_version >= "3.8"            # must match .pre-commit-config.yaml
-mypy==1.4.1
+mypy==1.5.1
 pre-commit-hooks==4.4.0                           # must match .pre-commit-config.yaml
 pytype==2023.8.14; platform_system != "Windows" and python_version >= "3.8" and python_version < "3.11"
 ruff==0.0.280                                     # must match .pre-commit-config.yaml

test_cases/stdlib/check_dataclasses.py

@@ -87,4 +87,9 @@ def check_other_isdataclass_overloads(x: type, y: object) -> None:
         assert_type(dc.fields(y), Tuple[dc.Field[Any], ...])
         assert_type(dc.asdict(y), Dict[str, Any])
         assert_type(dc.astuple(y), Tuple[Any, ...])
-        dc.replace(y)
+
+        # No longer passes with mypy 1.5.0
+        # now that mypy gives a tailored signature for dataclasses.replace()
+        # (https://github.com/python/mypy/issues/15843):
+        #
+        # dc.replace(y)

tests/mypy_test.py

@@ -12,7 +12,6 @@
 import tempfile
 import time
 from collections import defaultdict
-from collections.abc import Sequence
 from dataclasses import dataclass
 from itertools import product
 from pathlib import Path
@@ -47,7 +46,7 @@
     print_error("Cannot import mypy. Did you install it?")
     sys.exit(1)
 
-SUPPORTED_VERSIONS = ["3.12", "3.11", "3.10", "3.9", "3.8", "3.7"]
+SUPPORTED_VERSIONS = ["3.12", "3.11", "3.10", "3.9", "3.8"]
 SUPPORTED_PLATFORMS = ("linux", "win32", "darwin")
 DIRECTORIES_TO_TEST = [Path("stdlib"), Path("stubs")]
 
@@ -86,21 +85,6 @@ def remove_dev_suffix(version: str) -> str:
 parser = argparse.ArgumentParser(
     description="Typecheck typeshed's stubs with mypy. Patterns are unanchored regexps on the full path."
 )
-if sys.version_info < (3, 8):
-
-    class ExtendAction(argparse.Action):
-        def __call__(
-            self,
-            parser: argparse.ArgumentParser,
-            namespace: argparse.Namespace,
-            values: Sequence[str],
-            option_string: object = None,
-        ) -> None:
-            items = getattr(namespace, self.dest) or []
-            items.extend(values)
-            setattr(namespace, self.dest, items)
-
-    parser.register("action", "extend", ExtendAction)
 parser.add_argument(
     "filter",
     type=valid_path,

tests/utils.py

@@ -23,7 +23,7 @@ def colored(text: str, color: str | None = None, **kwargs: Any) -> str:  # type:
 
 
 # A backport of functools.cache for Python <3.9
-# This module is imported by mypy_test.py, which needs to run on 3.7 in CI
+# This module is imported by mypy_test.py, which needs to run on 3.8 in CI
 cache = lru_cache(None)