Insights: python/mypy

51 Pull requests merged by 8 people

• Ignore partial type in base when inferring/checking

  #13538 merged Aug 28, 2022

• selfcheck: enable the `ignore-without-code` error code

  #13534 merged Aug 27, 2022

• Allow using modules as subtypes of protocols

  #13513 merged Aug 27, 2022

• Don't skip flake8 for the `misc` directory

  #13533 merged Aug 27, 2022

• Improve error handling for dataclass inheritance

  #13531 merged Aug 27, 2022

• [mypyc] Infer more precise error kinds for some ops

  #13524 merged Aug 27, 2022

• Fix crash on bare Final in dataclass

  #13528 merged Aug 27, 2022

• tox: Remove outdate coverage targets

  #13520 merged Aug 26, 2022

• Warn on module level type ignore with error code

  #13512 merged Aug 26, 2022

• runtests: Remove unused tasks and targets

  #13519 merged Aug 26, 2022

• Fix crashes on special forms in protocol bodies

  #13526 merged Aug 26, 2022

• [mypyc] Mark magic-overlapping error handler branches as rare

  #13525 merged Aug 26, 2022

• Fix error codes option serialization

  #13523 merged Aug 26, 2022

• [mypyc] Basic test-only support for i32 and i64

  #13018 merged Aug 26, 2022

• Use `--strict` for selfcheck

  #13464 merged Aug 26, 2022

• Fix match crash on unions including tuples

  #13514 merged Aug 25, 2022

• Remove show_none_errors and strict_optional_whitelist

  #13507 merged Aug 25, 2022

• Add type inference for class object vs generic protocol

  #13511 merged Aug 25, 2022

• Allow per-module error codes

  #13502 merged Aug 25, 2022

• Mention how to test third party stubs

  #13505 merged Aug 25, 2022

• Assert original type exists during function redefinition

  #13509 merged Aug 25, 2022

• stubtest: analyze `metaclass` of types, refs #13327

  #13331 merged Aug 25, 2022

• Make invalid type ignore comments non-blocking

  #13506 merged Aug 25, 2022

• stubtest: [minor] reuse is_named_instance

  #13504 merged Aug 25, 2022

• Add test cases for method property overrides

  #13503 merged Aug 25, 2022

• Allow classes as protocol implementations

  #13501 merged Aug 24, 2022

• Allow stubs to use newer syntax than 3.7

  #13500 merged Aug 24, 2022

• AssignmentExpr is not a BindableExpression

  #13483 merged Aug 24, 2022

• Use supertype context for variable type inference

  #13494 merged Aug 24, 2022

• Fix crash when nested class appears in a protocol

  #13489 merged Aug 24, 2022

• Mypy can now understand deleted `TypeInfo`

  #13481 merged Aug 24, 2022

• Increase mypy_primer shards

  #13496 merged Aug 24, 2022

• Allow using super() in methods with self-types

  #13488 merged Aug 23, 2022

• Use new tuples

  #13487 merged Aug 23, 2022

• Remove old unused scripts from `misc/`

  #13286 merged Aug 23, 2022

• Use correct type annotation for `.filter_errors`

  #13486 merged Aug 23, 2022

• Unskip `testTrailingCommaParsing` test

  #13484 merged Aug 23, 2022

• Allow __init__ and __new__ to return NoReturn

  #13480 merged Aug 23, 2022

• Fix overloaded static methods on instances

  #13482 merged Aug 23, 2022

• Fix daemon crashes related to ParamSpec and TypeVarTuple

  #13381 merged Aug 23, 2022

• Allow using TypedDict for more precise typing of **kwds

  #13471 merged Aug 22, 2022

• Reenable `testFlagsFile`

  #13479 merged Aug 22, 2022

• Allow overriding attribute with a settable property

  #13475 merged Aug 22, 2022

• [Docs] Add missing type hint

  #13478 merged Aug 22, 2022

• Use correct pos-only arg formatting in `pretty_callable`

  #13474 merged Aug 22, 2022

• `ParamSpec` must not raise errors on valid attr access

  #13472 merged Aug 21, 2022

• Fall back to satisfiable constraints in unions

  #13467 merged Aug 21, 2022

• Make sure `ParamSpec` suffix and arg kind do match

  #13468 merged Aug 21, 2022

• Add `types-psutil` as a build requirement

  #13470 merged Aug 21, 2022

• Remove some unnecessary imports of `typing.Type`

  #13469 merged Aug 21, 2022

• Fix overload overlap check for UninhabitedType

  #13461 merged Aug 21, 2022

9 Pull requests opened by 7 people

• stubgenc: Introduce an object-oriented system for extracting function signatures

  #13473 opened Aug 21, 2022

• Mypy now treats classes with `__getitem__` as iterable

  #13485 opened Aug 23, 2022

• [mypyc] Support __pos__ and __abs__ dunders

  #13490 opened Aug 23, 2022

• Allow binder to understand assignment via def

  #13508 opened Aug 25, 2022

• Flip the default for recursive aliases flag

  #13516 opened Aug 25, 2022

• Attrs/tweak magic attribute

  #13522 opened Aug 26, 2022

• Improve error message for callables with invalid `Concatenate`

  #13529 opened Aug 26, 2022

• [mypyc] Track definedness of native int attributes using a bitmap

  #13532 opened Aug 27, 2022

• checker: disallow specifying both ErrorMessage and code

  #13535 opened Aug 27, 2022

75 Issues closed by 7 people

• Crash with nested partial type

  #13536 closed Aug 28, 2022

• Member is not assignable error when accessing a module member

  #5439 closed Aug 27, 2022

• Final variable is mutable when using structural subtyping

  #10850 closed Aug 27, 2022

• Allow using modules as subtypes of protocols

  #5018 closed Aug 27, 2022

• Crash when overriding field as property/method on frozen derived class

  #8334 closed Aug 27, 2022

• Several dataclass crashes involving Final attributes

  #10090 closed Aug 27, 2022

• documentation for module-level `# type: ignore` is unclear

  #7839 closed Aug 26, 2022

• Module ... has no attribute ... when #type: ignore[misc] is set at the top of a module

  #9318 closed Aug 26, 2022

• `# type: ignore[import]` at top of file causes all error codes to be ignored

  #11999 closed Aug 26, 2022

• Incorrect "Unused 'type: ignore' comment" on top-level ignore[error-code]

  #12076 closed Aug 26, 2022

• globl "type: ignore" ignores too much

  #13435 closed Aug 26, 2022

• Ignore specific error for whole file

  #11027 closed Aug 26, 2022

• Mixing attrs.define and typing.Protocol causes INTERNAL ERROR

  #13390 closed Aug 26, 2022

• Crash using Protocols

  #10639 closed Aug 26, 2022

• INTERNAL ERROR when defining method argument type as class member in @runtime_checkable Protocol

  #10577 closed Aug 26, 2022

• AssertionError when using '=' instead of ':' to define a protocol attribute with specialized type

  #12642 closed Aug 26, 2022

• Generic Protocol breaks mypy when attrs class

  #6801 closed Aug 26, 2022

• Callback protocol with TypeVar defined in class body leads to crash later

  #12337 closed Aug 26, 2022

• Internal Error on runtime checkable protocol containing a class

  #10522 closed Aug 26, 2022

• Crash when passing Protocol with nested class to a function

  #12433 closed Aug 26, 2022

• A generic class that implements a self referencing Protocol fails to match

  #9431 closed Aug 26, 2022

• Regression on `master`: mypy unconditionally crashes when used with `--enable-error-code` for multiple error codes

  #13521 closed Aug 26, 2022

• `match` crashes on Union of Tuple and non-Tuple

  #12533 closed Aug 25, 2022

• Allowing `typing.NoReturn` as a return hint for `__init__` methods

  #10342 closed Aug 25, 2022

• show_none_errors Needs Documentation

  #2396 closed Aug 25, 2022

• show_none_errors causes invalid behavior for descriptors

  #6514 closed Aug 25, 2022

• Allow error-code specific whole-file `# type: ignore`s

  #10304 closed Aug 25, 2022

• Wrong revealed type of float/int multiplied/divided by sum(Iterable[complex]).

  #6040 closed Aug 25, 2022

• Add support for per-module enabling/disabling of error codes

  #9440 closed Aug 25, 2022

• Support loading `stubs/` from typeshed

  #12241 closed Aug 25, 2022

• Mypy not detecting referenced before assignment

  #13510 closed Aug 25, 2022

• stubtest: metaclass is not taken into an account

  #13327 closed Aug 25, 2022

• Getting Invalid "type: ignore" comment reports from 3rd party library code

  #12299 closed Aug 25, 2022

• Expression type contains Any with await

  #8884 closed Aug 25, 2022

• Types as function namespaces

  #5980 closed Aug 25, 2022

• Provide mechanism for hiding imports

  #5736 closed Aug 25, 2022

• If mypy crashes, report traceback in junit.xml

  #4984 closed Aug 25, 2022

• Get rid of backward compatibility in flags parsing

  #4119 closed Aug 25, 2022

• Potential bug in per-file strict-optional

  #3966 closed Aug 25, 2022

• Allow class variable and instance variable be of different type

  #12381 closed Aug 25, 2022

• Overriding method with a property results in a false negative

  #7565 closed Aug 25, 2022

• `sum(List[Decimal]) + sum(List[Decimal])` incompatible type error

  #8814 closed Aug 25, 2022

• Protocols should not care if a type is a class or an instance

  #4536 closed Aug 24, 2022

• pypy3.9 - SyntaxError due to positional only arguments in stubfile

  #13499 closed Aug 24, 2022

• Base class attribute type does not provide type context in subclass

  #4547 closed Aug 24, 2022

• Redefining Literal class variable in subclass has 'Incompatible type'

  #8796 closed Aug 24, 2022

• mypy treats `Union`/`UnionType` as incompatible with `Type[T]`

  #13498 closed Aug 24, 2022

• Internal error when overriding frozen attribute with function

  #8976 closed Aug 24, 2022

• `dmypy --follow-imports=normal` on master crashes

  #8751 closed Aug 24, 2022

• Generic type is not inferred across descriptor class methods

  #8516 closed Aug 24, 2022

• mypy crashes when generating reports for code featuring calls to untyped variadic functions

  #7721 closed Aug 24, 2022

• Nested class in Protocol causes mypy exception

  #6393 closed Aug 24, 2022

• "Trying to read deleted variable" false negative when deleting class

  #13226 closed Aug 24, 2022

• Incompatible override with **kwargs TypedDict and Any

  #13491 closed Aug 23, 2022

• Super in a generic classmethod gives error

  #9282 closed Aug 23, 2022

• Allow passing None to Mapping.get

  #9430 closed Aug 23, 2022

• Overloading staticmethods

  #7781 closed Aug 23, 2022

• Recursive type definition produces unexpected error message

  #7125 closed Aug 23, 2022

• Wrong filenames reported for recursive type not supported error

  #4413 closed Aug 23, 2022

• Crash on recursive namedtuple with Callable attribute

  #12629 closed Aug 23, 2022

• Support recursive NamedTuple

  #9397 closed Aug 23, 2022

• Internal error on processing NamedTuple with method and recursive field

  #8695 closed Aug 23, 2022

• "maximum semantic analysis iteration count reached" with TypeVar bound to recursive type definition

  #8320 closed Aug 23, 2022

• Access to instance attribute with callable type causes error

  #6910 closed Aug 23, 2022

• Abstract Properties & `Overloaded method has both abstract and non-abstract variants`

  #4165 closed Aug 23, 2022

• Allow using TypedDict for more precise typing of **kwds

  #4441 closed Aug 22, 2022

• Inconsistent inference of `sum` return type when coupled with nullability.

  #7287 closed Aug 22, 2022

• Fix testFlagsFile

  #13241 closed Aug 22, 2022

• Mypy disallows overriding an attribute with a property

  #4125 closed Aug 22, 2022

• collections lookup and cross-type

  #13477 closed Aug 22, 2022

• (🐞) Positional only parameter syntax doesn't show in overload error messages

  #13346 closed Aug 22, 2022

• Mypy incorrectly complains about overloads being incorrect

  #13456 closed Aug 21, 2022

• `ParamSpec`: mypy is happy for args to be annotated with `P.kwargs` and kwargs to be annotated with `P.args`

  #13460 closed Aug 21, 2022

• 0.971: Namespace packages -> Source file found twice under different module names

  #13202 closed Aug 21, 2022

• Release 0.970 planning

  #13089 closed Aug 21, 2022

10 Issues opened by 6 people

• False negative with protocols containins classvars

  #13537 opened Aug 27, 2022

• (🎁) Narrow type based on method return type of union

  #13530 opened Aug 27, 2022

• (🐞) Bad error message when using `Concatenate` incorrectly

  #13518 opened Aug 26, 2022

• (🐞) Same error reported multiple times on inner functions when `show-error-context` is enabled

  #13517 opened Aug 26, 2022

• Internal Error due to overloaded generic method?

  #13515 opened Aug 25, 2022

• super(cls, self) seemingly has no attribute it actually has

  #13497 opened Aug 24, 2022

• Better documentation for the HTML report

  #13495 opened Aug 24, 2022

• (🎁) Perform 'union math' on non overloaded calls

  #13493 opened Aug 24, 2022

• isinstance and TypeVar

  #13492 opened Aug 24, 2022

• (🐞) Bad error message when using unbound `ParamSpec` in a `Callable`

  #13476 opened Aug 22, 2022

31 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.

• Unbound type variables in Callable type alias are substituted with Any

  #13449 commented on Aug 22, 2022 • 9 new comments

• Support building mypycified mypy with PEP517 interface

  #13445 commented on Aug 23, 2022 • 7 new comments

• Don't require annotations of kwargs initialized to bool, float, int or string constants

  #12352 commented on Aug 25, 2022 • 5 new comments

• Add type inference for `dict.keys` membership

  #13372 commented on Aug 24, 2022 • 5 new comments

• Use --no-implicit-optional by default

  #13401 commented on Aug 25, 2022 • 5 new comments

• Mypy 0.980 Release Planning

  #13385 commented on Aug 27, 2022 • 4 new comments

• Inconsistent results after 0.960 -> 0.971 migration

  #13422 commented on Aug 22, 2022 • 2 new comments

• (🎁) Adopt pre-commit.ci

  #13281 commented on Aug 26, 2022 • 2 new comments

• Fix crashes with unpacking SyntaxError

  #11499 commented on Aug 24, 2022 • 2 new comments

• Add option to include docstrings with stubgen

  #13284 commented on Aug 24, 2022 • 2 new comments

• Add `__match_args__` to node types

  #13330 commented on Aug 22, 2022 • 2 new comments

• (🎁) Warn about `TypeAlias` to bare `TypeVar`s

  #13376 commented on Aug 21, 2022 • 1 new comment

• Infer attributes from __new__

  #1021 commented on Aug 21, 2022 • 1 new comment

• Union TypeVar Inference Rather Than Most Recent Ancestor

  #13424 commented on Aug 22, 2022 • 1 new comment

• Error with mixing str and pathlib.Path in command line arguments list

  #13004 commented on Aug 22, 2022 • 1 new comment

• (🎁) Warn when overload impl default value is incompatible with overload part default value

  #13363 commented on Aug 22, 2022 • 1 new comment

• Recurrent but not reproducible crash when writing to cache

  #12475 commented on Aug 23, 2022 • 1 new comment

• Debugging a segmentation fault

  #13431 commented on Aug 24, 2022 • 1 new comment

• MyPy Reporting problems in dependencies (site-packages)

  #12162 commented on Aug 25, 2022 • 1 new comment

• TypedDict Nested Dictionaries?

  #5149 commented on Aug 25, 2022 • 1 new comment

• Wrong(?) message "Argument incompatible with supertype" when method receive a instance of the same parametrized class

  #8877 commented on Aug 25, 2022 • 1 new comment

• Migrate core to use ErrorMessage class

  #12004 commented on Aug 27, 2022 • 1 new comment

• Use consistent order for messages from mypy daemon

  #13141 commented on Aug 21, 2022 • 0 new comments

• `--strict` is too strict to be useful

  #7767 commented on Aug 21, 2022 • 0 new comments

• (🎁) Special case `NoReturn`, `Never`, `Self` and `TypeAlias` to not be subscriptable

  #12375 commented on Aug 25, 2022 • 0 new comments

• Overlapping overloads in second-order functions cause returned value to be Any

  #13436 commented on Aug 25, 2022 • 0 new comments

• (🐞) Bad error message when invoking an overload with a bad call

  #13343 commented on Aug 25, 2022 • 0 new comments

• Reject assignments when `__setattr__` has NoReturn return type

  #1052 commented on Aug 25, 2022 • 0 new comments

• References to names before they're bound should generate an error (UnboundLocalError)

  #686 commented on Aug 25, 2022 • 0 new comments

• mypy doesn't take value restrictions into account when solving type variables

  #11880 commented on Aug 25, 2022 • 0 new comments

• Generate a warning/error on assigning values of type NoReturn

  #4179 commented on Aug 25, 2022 • 0 new comments