Leaklens

python__mypy-15366

False-negative `type-abstract` in dictionary initialization

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 edb41e0490 dated 2023-07-12.

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