Commit 888788f

committed

Narrow down types based on len

1 parent 66c2ac5 commit 888788fCopy full SHA for 888788f

4 files changed

+387

-89

lines changed

mypy
- checker.py
test-data/unit
- check-narrowing.test
- fixtures
  - len.pyi
- lib-stub
  - typing.pyi

4 files changed

+387

-89

lines changed

Comments

(0)