Alex Waygood

Help typeshed add support for Python 3.13!

2

The Python 3.13 beta 1 has just been released, and there's a lot of functions and classes that are either new or changed in Python 3.13! This is a great...

Performance regression in `regr_test.py`

4

I looks like running `regr_test.py` on Python 3.12 in CI, rather than Python 3.11, makes the job take 20-30s longer. It used to take between 3m and 3m10s; now it...

New enum features in Python 3.11

4

There's a ton of new `enum` features in Python 3.11 that mypy doesn't yet support: - [x] `enum.property` - [ ] `enum.verify` - [x] `enum.(non)member` - [x] `ReprEnum` - [...

pytype conformance tests crash if no `python3.11` executable is in `PATH`

5

I attempted to run the conformance tests locally using Python 3.12, following the instructions given in https://github.com/python/typing/blob/main/conformance/README.md#running-the-conformance-test-tool. The mypy, pyright and pyre tests all ran, but the pytype tests crashed...

[red-knot] Use vendored typeshed stubs for stdlib module resolution

1

## Summary If the user does not pass a `--custom-typeshed-dir` flag via the CLI or via a configuration flag, fall back to using the `VendoredFileSystem` to resolve standard-library modules in...

[red-knot] Allow module-resolution options to be specified via the CLI

3

## Summary This allows us to pass arguments such as `--custom-typeshed-dir` and `--target-version` directly to the red-knot CLI, for easier experimentation and validation locally. (The PR is stacked on top...

PEP-696 specialisation tests from CPython fail

3

We've fixed a number of issues with our PEP-696 backport in recent days, and we're now a lot closer to CPython's implementation on Python 3.13. We're still missing 5 specialisation-related...

Mypy hangs indefinitely trying to analyse a file with huge nested dicts

1

**Bug Report** Mypy hangs indefinitely when trying to analyse a file with huge nested dicts. **To Reproduce** 1. Copy and paste the contents of this file into a `.py` file:...

Typeshed import cycle causes mypy to start claiming a fixed-length tuple type alias declared with `TypeAlias` is "not valid as a type"

7

**Bug Report** We're having a bit of trouble over in https://github.com/python/typeshed/pull/11074. It seems like it's impossible to import `importlib.readers` inside `stdlib/importlib/machinery.pyi` and also use `typing_extensions.TypeAlias` to explicitly demarcate type aliases...

If you run `cargo test -p red_knot_python_semantic` locally and an mdtest fails, you get nice pretty colours that make the test output much more readable, eg.:  But if you...