Insights: python/mypy

16 Pull requests merged by 5 people

• stubtest: if a default is present in the stub, check that it is correct

  #14085 merged Nov 25, 2022

• Implement miscellaneous fixes for partially-defined check

  #14175 merged Nov 25, 2022

• Switch error code used to report vars defined in different branch

  #14176 merged Nov 25, 2022

• Fix crash on overriding with frozen attrs

  #14186 merged Nov 25, 2022

• Fix type aliases with fixed-length tuples

  #14184 merged Nov 25, 2022

• Fix issues with type aliases and new style unions

  #14181 merged Nov 25, 2022

• Proposal: don't simplify unions in expand_type()

  #14178 merged Nov 24, 2022

• Support ParamSpec variables in type aliases

  #14159 merged Nov 24, 2022

• Add intenal flag for per-line type checking peformance

  #14173 merged Nov 23, 2022

• Simplify callable overlap logic

  #14174 merged Nov 23, 2022

• Don't install lxml on Windows on Python 3.11

  #14170 merged Nov 23, 2022

• Detect variables that are used before they're defined

  #14163 merged Nov 22, 2022

• [partially defined] handle unreachable blocks

  #14161 merged Nov 22, 2022

• Try empty context when assigning to union typed variables

  #14151 merged Nov 22, 2022

• Allow function arguments as base classes

  #14135 merged Nov 21, 2022

• Doc: Add Optional in Decorator factories

  #14156 merged Nov 21, 2022

7 Pull requests opened by 4 people

• Add `--debug-serialize` option

  #14155 opened Nov 20, 2022

• Enable use-before-def error code by default

  #14166 opened Nov 23, 2022

• Remove unnecessary build-system entries

  #14172 opened Nov 23, 2022

• [partially defined] rework handling of else in loops

  #14191 opened Nov 25, 2022

• [partially defined] use correct error code in nested if statements

  #14193 opened Nov 25, 2022

• [partially defined] fix gating by error code

  #14194 opened Nov 25, 2022

• [mypyc] Fix tabs not being emitted in all scenarios

  #14198 opened Nov 27, 2022

27 Issues closed by 9 people

• mypy ignores isinstance

  #14197 closed Nov 26, 2022

• Mypy crash when @staticmethod has the same name as an attr

  #6715 closed Nov 25, 2022

• cannot inherit from a parameters

  #14185 closed Nov 25, 2022

• (🐞) False positive "error: Type application has too many types (1 expected)" on tuple when annotated as a type or in a `TypeAlias` with new union syntax (PEP 604)

  #11098 closed Nov 25, 2022

• False-positive errors when using `type[T]` (or `Type[T]`) in a PEP 604 type alias

  #12392 closed Nov 25, 2022

• False-positive error when using `Callable` in a PEP 604 type alias in a stub file with `--python-version=3.9`

  #14158 closed Nov 25, 2022

• segfault on recursive type

  #6730 closed Nov 24, 2022

• Stubgen infers wrong from doctest blocks

  #13702 closed Nov 24, 2022

• Assume unannotated return values to be None instead of Any (behind flag)

  #14180 closed Nov 24, 2022

• Do not leak UnboundTypes to type checking

  #4987 closed Nov 24, 2022

• Ban bogus "existential types"

  #7084 closed Nov 24, 2022

• TypeVar bound is ignored in generic alias

  #10445 closed Nov 24, 2022

• Type Aliases that are generic over ParamSpec don't work

  #11855 closed Nov 24, 2022

• Explicit self type ignored for inherited constructor

  #14055 closed Nov 24, 2022

• PEP673 Self type not working

  #14167 closed Nov 23, 2022

• [partially defined] Doesn't catch usage within an if statement

  #14124 closed Nov 22, 2022

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

  #8814 closed Nov 22, 2022

• Narrowing str | dict[str, str] with isinstance and .get()

  #13351 closed Nov 22, 2022

• Type is not infered from default value of dict.get()

  #10890 closed Nov 22, 2022

• Support unreachable blocks in partially defined check

  #13929 closed Nov 22, 2022

• "Incompatible types in assignment" when assigning with a type alias

  #14165 closed Nov 22, 2022

• Type narrowing failure inside `AsyncExitStack` blocks

  #13936 closed Nov 22, 2022

• mypy not inferring that variable cannot be None after assignment from dict.get

  #4805 closed Nov 22, 2022

• Add an extra which specifies the lxml dependency

  #9105 closed Nov 22, 2022

• Function argument rejected as a base class

  #5865 closed Nov 21, 2022

• MyPy reports false error when using Concatenate with ParamSpec

  #14069 closed Nov 21, 2022

• False-positive error when using `Callable` in a PEP 604 type alias

  #12393 closed Nov 21, 2022

21 Issues opened by 20 people

• AssertionError: assert file not in self.flushed_files

  #14202 opened Nov 27, 2022

• Several crashes on pyright test suite

  #14201 opened Nov 27, 2022

• Crash with recursive namedtuple when generating a report

  #14200 opened Nov 27, 2022

• Crash with Self + Generic + dataclass

  #14199 opened Nov 27, 2022

• SIGSEGV running stubtest against PyQt5-stubs with 0.940+

  #14196 opened Nov 26, 2022

• No error about `__future__` import placed after some statements

  #14195 opened Nov 25, 2022

• mypy loses track of data descriptor type

  #14192 opened Nov 25, 2022

• Type error in lambda depending on position of a global var

  #14190 opened Nov 25, 2022

• Cannot deduce correct type for varargs and overloads involving unions

  #14189 opened Nov 25, 2022

• mypyc: cannot query ClassVar members in __init_subclass__ methods of compiled classes

  #14188 opened Nov 25, 2022

• Track mypy performance changes automatically

  #14187 opened Nov 25, 2022

• Resolution of disallowed `Type[Type[T]]` and casting to a blank `Type`

  #14183 opened Nov 25, 2022

• Metaclass conflict error when base class uses an imported metaclass with no annotation

  #14182 opened Nov 24, 2022

• Inconsistency for `[func-returns-value]`: Error not reported for `staticmethod`s

  #14179 opened Nov 24, 2022

• mypy on Python 3.7 thinks that a variable can still be a different type after and isinstance check.

  #14177 opened Nov 24, 2022

• 0.981 Introduces unnecessary build requirements

  #14171 opened Nov 23, 2022

• `Concatenate` false negative (caught by `pyright`, but not `mypy`)

  #14169 opened Nov 23, 2022

• `Concatenate` false positive (no problem with `pyright`)

  #14168 opened Nov 23, 2022

• Improper handling of Optional values in dict with variable as key

  #14164 opened Nov 22, 2022

• (🐞) some dunder members (`__lt__`) on `dataclass`es show signatures inconsistently in error messages

  #14162 opened Nov 22, 2022

• Optional should be narrowed on mixed boolean expressions

  #14160 opened Nov 21, 2022

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

• Release 1.0 planning

  #13685 commented on Nov 25, 2022 • 6 new comments

• Bytes formatting error gets produced during failed overload match

  #12665 commented on Nov 22, 2022 • 3 new comments

• (🎁) Support `for`/`else` statement in partially defined check

  #14097 commented on Nov 25, 2022 • 3 new comments

• [partially defined] implement support for try statements

  #14114 commented on Nov 23, 2022 • 3 new comments

• Detect exhaustiveness in partially-defined variable checks

  #13926 commented on Nov 22, 2022 • 2 new comments

• Flag to make default return type `None` instead of `Any`

  #9413 commented on Nov 24, 2022 • 2 new comments

• Don't type check most function bodies if ignoring errors

  #14150 commented on Nov 21, 2022 • 2 new comments

• Fix ParamSpec constraint for types as callable

  #14153 commented on Nov 20, 2022 • 2 new comments

• When using Class as a Decorator, on decorated Instance Methods or Class Methods, MyPy reports 'Missing positional argument "self" [or "cls"] in call to "__call__" of "Decorator"'. Type Checks Okay for Static Methods and Normal Functions.

  #13222 commented on Nov 20, 2022 • 1 new comment

• 0.800: Unable to configure subdirectories

  #10045 commented on Nov 20, 2022 • 1 new comment

• Error when only assigning one of two typevars to concrete types (but no error when assigning two or zero)

  #14078 commented on Nov 21, 2022 • 1 new comment

• Incremental parsing issue with namespace packages

  #12664 commented on Nov 21, 2022 • 1 new comment

• Optional type leads to "Too many arguments" error when unpacking tuple

  #14126 commented on Nov 21, 2022 • 1 new comment

• PEP 604 unions don't work with generic type aliases

  #12211 commented on Nov 21, 2022 • 1 new comment

• Allow/disallow pep561 packages

  #8545 commented on Nov 21, 2022 • 1 new comment

• `NoReturn` on `__new__` and `__init__` disables accessing `@classmethod`s and `ClassVar`s directly from the class

  #14044 commented on Nov 23, 2022 • 1 new comment

• False positive following `case None` in `match` statement (missed narrowing?)

  #13046 commented on Nov 23, 2022 • 1 new comment

• mypy 0.982 run 15 minutes (previous version needs only one minute)

  #13821 commented on Nov 23, 2022 • 1 new comment

• Tuple-like Sequence

  #8441 commented on Nov 23, 2022 • 1 new comment

• error: Right operand of "or" is never evaluated - although it is evaluated at some point

  #14120 commented on Nov 24, 2022 • 1 new comment

• Automatically use `Self` type even if it doesn't appear in method annotation

  #14075 commented on Nov 24, 2022 • 1 new comment

• Type Narrowing failure in 0.981

  #13800 commented on Nov 24, 2022 • 1 new comment

• CHANGELOG file

  #13279 commented on Nov 24, 2022 • 1 new comment

• False positive error "incompatible type"

  #13566 commented on Nov 25, 2022 • 1 new comment

• Run without module detection logic

  #10428 commented on Nov 26, 2022 • 1 new comment

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

  #686 commented on Nov 26, 2022 • 1 new comment

• Add new flag for warning about instantiating classes with declared but uninitialized attributes

  #13797 commented on Nov 26, 2022 • 1 new comment

• stubgen: use `X | Y` / `X | None` instead of `Union[X, Y]` / `Union[X, None]`

  #12920 commented on Nov 21, 2022 • 0 new comments

• Stubgen doesn't look at C type's docstring when inferring __init__'s type

  #14141 commented on Nov 23, 2022 • 0 new comments

• Stubgen support for positional only parameters as per PEP 570

  #14138 commented on Nov 23, 2022 • 0 new comments

• Stubgen user documentation of modules

  #14094 commented on Nov 23, 2022 • 0 new comments

• provide more verbosity for mismatched type types

  #13878 commented on Nov 23, 2022 • 0 new comments