Repository navigation
spurius "Incompatible types in assignment" with TypedDict and Type #10024
Description
With this little snippet of code:
from typing import *
class D(TypedDict): ...
class P(Protocol): ...
T = TypeVar('T', bound=P)
def foo(cls: Type[T]) -> T: ...
d:D = foo(D)I have this error:
>mypy td.py
td.py:11: error: Incompatible types in assignment (expression has type "D", variable has type "D")
Found 1 error in 1 file (checked 1 source file)It seems a wrong error - or at least the message is not meaningful
Activity
AlexWaygood commentedon Apr 22, 2022
I'm closing this in favour of #12385, which is a newer issue but has more discussion attached to it.