5 Pull requests merged by 4 people

• Update unreachable.rst: mention match exhaustiveness codes from checkers type …

  #2062 merged Aug 8, 2025

• Small improvements to the conformance tests

  #2061 merged Aug 2, 2025

• Edit error marker comments on some tests

  #2048 merged Jul 22, 2025

• Update conformance results for mypy 1.17.0 and pyre 0.9.25.

  #2055 merged Jul 21, 2025

• Clean up @deprecated spec

  #2044 merged Jul 15, 2025

4 Pull requests opened by 3 people

• Table of Content improvements

  #2045 opened Jul 16, 2025

• Add a tutorial for using external libraries

  #2046 opened Jul 16, 2025

• Typing concepts: add that object | Any and Never | Any can be simplified

  #2052 opened Jul 21, 2025

• Add conformance tests for the 'match_args' parameter to dataclass.

  #2056 opened Jul 21, 2025

1 Issue closed by 0 people

• How to type hints for a genetic input tuple, with list[T] map to T

  #2063 closed Aug 8, 2025

5 Issues opened by 4 people

• When making a dynamic member descriptor that can also behave as a Wrapper Why Does Self Not get deleted from ParamSpec?

  #2060 opened Jul 29, 2025

• Spec: More precision on type parameter order

  #2059 opened Jul 29, 2025

• Discrepancy between spec and tests on indexing TypedDicts with unknown literal keys

  #2054 opened Jul 21, 2025

• Discrepancy between spec and tests on indexing TypedDicts with non-literal variables

  #2053 opened Jul 21, 2025

• Assignability to a Protocol Using `Self` Must Respect Variance

  #2051 opened Jul 20, 2025

9 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Clarify namedtuple member rules

  #1979 commented on Jul 14, 2025 • 2 new comments

• Introduce a Not type

  #801 commented on Jul 18, 2025 • 0 new comments

• Typing for multi-dimensional arrays

  #513 commented on Jul 21, 2025 • 0 new comments

• Cannot anotate type of generic functions.

  #1938 commented on Jul 24, 2025 • 0 new comments

• (🎁) Support `TypeVar`s in the bounds of other `TypeVar`s

  #1226 commented on Jul 24, 2025 • 0 new comments

• Literal of enum values

  #781 commented on Jul 25, 2025 • 0 new comments

• AnyOf - Union for return types

  #566 commented on Aug 1, 2025 • 0 new comments

• Wrapper/Proxy Generic Type

  #802 commented on Aug 1, 2025 • 0 new comments

• Introduce `typing.STRICTER_STUBS`

  #1096 commented on Aug 2, 2025 • 0 new comments