mypy

mypy copied to clipboard

Unions of Literals are not accepted as TypedDict Keys

2

**Bug Report** If Literals are given as Unions they aren't accepted as TypedDict Keys **To Reproduce** ```python from typing import TypedDict, reveal_type, Final, Literal, TypeAlias, get_args from datetime import datetime...

CarliJoy

Unable to specify a default value for a generic parameter

35

Simplified Example: ```python from typing import TypeVar _T = TypeVar('_T') def foo(a: _T = 42) -> _T: # E: Incompatible types in assignment (expression has type "int", variable has type...

rowillia

Presence of property in Protocol causes false positive in multiple inheritance scenario

1

**Bug Report** I'm getting a false positive from the following example ```python from typing import Protocol from typing_extensions import Self class P(Protocol): # Removing the property makes the problem disappear...

slanzmich

Calls to `.get` on TypeVars bound to TypedDict narrow to `object`

2

**Bug Report** When using `dict.get` to access specific members of TypeVar entries bound to TypedDict, mypy always narrows the type to `object` where, without the TypeVar, we expect the union...

chadhpaine

I have a function `add(x,y)` that adds two floats, and that that the user can specify. If no custom function `add` is given, `default_add` is used. If it _is_ given,...

nschloe

Mypy complains when `[]` is used for `__slots__` definition

4

**Bug Report** Slot definition in a form of `__slots__ = []` raise an error: ``` ex.py:2: error: Need type annotation for "__slots__" (hint: "__slots__: List[] = ...") ``` **To Reproduce**...

sobolevn

str counts as a Callable[..., str], but not as a Callable[..., TypeVar]

1

**Bug Report** Hey folks! I ran into what I think is a bug while trying to write a config retrieval library for a Flask server. I'd like to pass a...

rish-shadra

Support @no_type_check for classes

6

This are defined in the PEP 484 draft.

JukkaL

Wrong type inference for class with metaclass that acts as descriptor

2

**Bug Report** Descriptor protocol does not work on metaclasses - defining `__get__` method in a metaclass does not make classes using that metaclass work as descriptors. **To Reproduce** 1. Put...

Jackenmen

If plugin has same name as top-level module which has been imported before mypy runs (e.g., you are using api), mypy picks up the wrong file

1

**Bug Report** In some circumstances, a plugin which works fine from command line fails when run from the API with: ``` ('Found 1 error in 1 file (errors prevented further...

ezyang