python__mypy-10658
regression: typevar with bound and type check causes narrowing to nothing
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 cae5d3c8b5 dated 2021-06-29.
All SWE-Gym (training set sample) tasks · more python/mypy tasks · How the check works · Report a correction