Contravariance

class B:def method(self, x: number) -> int|long: ...def other(self): decl i: int|long i = self.method(3.14)

class D(B):

def method(self, x: int) -> int|long: ... # ERROR

class D’(B):def method(self, x: any) -> int: ... # ok

class D’’(B):def method(self, x: number) -> any: ... # ERROR

Previous slide

Back to first slide

View graphic version