Jelle Zijlstra
Jelle Zijlstra
This issue is supposed to track when we can start to use the `TypeIs` special form ([PEP 742](https://peps.python.org/pep-0742/) in typeshed. Support is needed in released versions of: * [ ]...
Cross-ref python/peps#3649.
We should improve links within [the spec](https://typing.readthedocs.io/en/latest/spec/type-system.html). Concretely: - Replace links to PEPs with links to the relevant part of the spec (https://github.com/python/typing/pull/1517#pullrequestreview-1763857938) - Where we mention a feature, link...
See https://discuss.python.org/t/compatibility-between-typeguard-and-bool/46364
PEP 484 (and therefore the current typing spec) implies that type checkers must support the old "type comment" syntax. However, this syntax is unnecessary since Python 3.6 and PEP 526,...
The typing spec should provide guidance on how type checkers should handle `__exit__` annotations. This method is special because `__exit__` methods can suppress exceptions, and whether or not they do...
We should work towards a more formalized specification, likely based on [Kevin Millikin's "Python Static Types"](https://docs.google.com/document/d/1mVCU-nVPT_zVfqivVdMY1aOOZqJ9lsgOLweO1U3uwUM/edit). In particular, a good start would be to add terms like "consistent subtyping" to...
It would be useful to have more guidance on how `__eq__` methods should be annotated. A few considerations: - Enable type checkers to warn on non-overlapping equality comparisons. The type...
The typing spec should mandate that type checkers support the `typing_extensions` module by treating any name imported from it as equivalent to the same name in `typing`. This is noncontroversial...
Building the docs locally yields a number of warnings: ``` % make html mkdir -p build PATH=./venv/bin:$PATH sphinx-build -b html -d build/doctrees . build/html Running Sphinx v4.2.0 making output directory......