basedmypy
basedmypy copied to clipboard
KotlinIsland
Based Python static type checker with baseline, sane default settings and based typing features
```diff setuptools (https://github.com/pypa/setuptools) - version: 2.8.0+dev.0935784ab77e91c869bae67be01ba0f420678620 + version: 2.8.0+dev.bbc0c3ec4ab4f8c2e740b3fa081ddf24d02adc23 - File "/checker.py", line 3119, in visit_block + File "/checker.py", line 3121, in visit_block - File "/checker.py", line 3119, in visit_block...
`misc` already has way too many errors _Originally posted by @DetachHead in https://github.com/KotlinIsland/basedmypy/pull/817#discussion_r1855160316_
`int`, `str`, `bool`, `tuple` tuple will be easy, but the `True` overloads on the rest are impossible
also include a message in the crash to use basedpyright instead
```py def f[T: str](t: T) -> f"asdf{T}": return f"asdf{t}" reveal_type(f("fdsa")) # "asdffdsa" ```
- #807 - 2.7.1 - #796 - #258 - #286 - #167 - #642 - v3 - #811 - #245 ### adhoc: - #779 - #764 - #788 - #717
stuff like `attrgetter` aren't actually generic in real life
Metadata
Owner
Metadata
Based Python static type checker with baseline, sane default settings and based typing features