Feature Enable --pretty by default. --no-pretty can still be used to get more concise error messages (it already works, so no need to implement it). --pretty causes mypy to show the line with the e...

Feature When there is a syntax error, the error message has often a lower-case initial letter: $ mypy -c 'x y' <string>:1: error: invalid syntax [syntax] Found 1 error in 1 file (erro...

Right now TarFile.__init__ is defined as: typeshed/stdlib/tarfile.pyi Lines 128 to 132 in c7e29ec def __init__( self, name: StrOrBytesPath | None = None, mode: Literal["r", "a",...

Link: https://github.com/python/typeshed/actions/runs/15279387776/job/42974250437 testing geopandas (25 files)... failure (exit code 1) stubs/geopandas/geopandas/geoseries.pyi:152: error: Cannot ov...

Refs: #874. Currently, Maybe type doesn't have special methods for being treated as bools, so any Maybe object is True in Python. However, I find that it doesn't fit well in Python idioms. ...