Object attribute LSP violation

[roganov]

MyPy should error if subclass is not compatible with its base class.

class A:
    x = None  # type: int

class B(A):
    x = None  # type: str

[gvanrossum]

We're working on it, see #2510

[roganov]

Sorry, couldn't find relevant issue. Closing.