basedmypy
basedmypy copied to clipboard
KotlinIsland
Based Python static type checker with baseline, sane default settings and based typing features
```py a: Final = 1 A = Literal[a] # okay, because `a` is always 1 b: a = a # okay, because `a` is always 1 class C ... c:...
```py from typing import TypeAlias a: TypeAlias = 1 reveal_type(a) ```
```py from typing import Final, TYPE_CHECKING # mypy: always-true = a, always-true = b a: False = False if a: # error: Condition is always false [redundant-expr] pass b: Final...
`=` means repr ```py class A: pass print(f"{A()}") # error print(f"{A()!r}") # no error print(f"{A()=}") # no error ```
https://pyrefly.org/ https://zubanls.com/
### Describe the problem That is a fairly recent issue, and it is not caused by updating basedmypy, but by some other change in nixpkgs (maybe updating Python?). Bisecting it,...
Metadata
Owner
Metadata
Based Python static type checker with baseline, sane default settings and based typing features