Repository navigation
Multiple inheritance with Generic leads to [misc] error #18268
Description
Bug Report
If we creates multiple generic parents with the same generic attribute, mypy raises an error about incompatible definition
To Reproduce
from typing import Generic, TypeVar
T = TypeVar("T")
class A(Generic[T]):
x: T
class B(Generic[T]):
x: T
class C(A[str], B[str]):
passRaises error: Definition of "x" in base class "A" is incompatible with definition in base class "B" [misc]
Expected Behavior
The example should has no error, like in the final types case
class A:
x: str
class B:
x: str
class C(A, B):
passActual Behavior
Raises an error
Your Environment
mypy==1.14.0
Activity
Lancetnik commentedon Dec 8, 2024
I would like to solve the problem if smbd can lead me to the right direction
Lancetnik commentedon Dec 8, 2024
Well, the problem is in is_equivalent function result
It validates two
TypeVarTypes, that containsTypeVarIddiffers bynamespace. They hasAandBclasses values, but seems like the correct one isCorstrLancetnik commentedon Dec 9, 2024
Seems like it is related to #18189 and #14774 as well
Fix attribute type resolution with multiple inheritance (python#18415)