mypyでクラスを継承した時のargs*を持つ関数の書き方

Question

class Aa(object):
    def f(self, *args: Any) -> int: ...


class Bb(Aa):
    def f(self, x: int, y: int, name: str) -> int: ...

Python3を用いて上記のようなクラスの継承を書きたいと思います。
しかしmypyで型チェックを行ったところSignature of "f" incompatible with supertype "Aa"というエラーが出現しました。継承するクラスはBbに限らずいくつか存在し引数も多様なためargs*で処理しないと難しいです。

https://github.com/python/mypy/issues/5876
https://github.com/python/mypy/issues/9032
mypyの関連のあるissueを調べたものの解決に利用できませんでした。

何かわかる方は回答の方をよろしくお願いいたします。

Answer 1

これがそのものズバリかなと思いました。

https://github.com/python/mypy/issues/5364

型理論的にはエラーにするのが正しく、したがって対処は"エラーを無視する"になるかと。

def f(self, x: int, y: int, name: str) -> int:  # type: ignore

Comments

[namuyan]

https://github.com/python/typing/issues/72
このようにoverloadでうまくごまかせないかなと操作していたもののClassでは使用できず。そうするしかないようですね、ありがとうございます。