Keyword arguments to `__str__` are rejected

class X:
    def __str__(self, arg: int | None = None) -> str:
        return f"{arg}"

def user(x: X) -> str:
    return x.__str__(arg=42)

main.py:2: note: "__str__" of "X" defined here
main.py:6: error: Unexpected keyword argument "arg" for "__str__" of "X"  [call-arg]

https://mypy-play.net/?mypy=latest&python=3.10&gist=b0426a5fffb000335d04492959d69b34

This works fine at runtime. Interestingly, mypy allows passing additional positional arguments to __str__, e.g. x.__str__(42). I assume something is overzealously applying the general rule that dunders usually don't accept keyword arguments.

リンクされている mypy playground の例を再現することから始め、str の呼び出しに対する型チェックの経路を調べます。キーワード引数の処理を、すでに受け入れられている位置引数の場合と比較します。完了の条件は、関連のない dunder-call チェックを弱めることなく、キーワード呼び出しが受け入れられることです。