python__mypy-16061

Introduce error category [unsafe-overload].

Verdict: no gold-patch lines found in the issue text (rule check only, no model read).

No gold-patch lines found in the issue text (rule check only, no model read). Upstream fix commit 175c5a59f1 dated 2023-09-07.

All SWE-Gym (training set sample) tasks · more python/mypy tasks · How the check works · Report a correction