Leaklens

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