e.g. ```python from typing import overload class A: @overload def f(self, x: str) -> str: ... @overload def f(self, y: int) -> int: ... class B(A): @overload def f(self, x: str) -> str: ... @overload def f(self, y: int) -> int: ... @overload def f(self, z: bytes) -> bytes: ... ``` IMO in this case, it should still be compatible, since `B` supports `A`'s full API, just with another extra function.