Jelle Zijlstra
Jelle Zijlstra
For these functions: ``` def f() -> int: while True: return 1 def g() -> int: for x in it: if x: return x else: return 1 ``` pyanalyze will...
Ideas: * `NoAny`: disallow `Any` in the passed in type. Could be either "shallow" (disallow only Any itself, and VariableNameValue) or "deep" (recurse into the Value with `.walk_values()` and error...
I promised in python/typing#213 that I'd add support for Intersection, so I'd better do it. I'd like to get Protocol support (#163) in first, though, because most realistic use cases...
Variables annotated with Final should not allow reassignment
`"x" in Union[None, str]` doesn't show an error even with #85 enabled.
Consider these two signatures: * (1) `(*args: tuple[int]) -> Any` * (2) `(*args: tuple[int, int]) -> Any` Where *args is the type of the whole tuple, not the type of...
To allow users to use the runtime tools pyanalyze provides without installing the whole checker at runtime, we should provide a separate `pyanalyze_extensions` package that contains only the few functions...
If pyanalyze sees an access to an attribute that it doesn't know about on a typed value, it saves it to the end of its run, then compares the set...
I wrote much of pyanalyze with a focus on avoiding false positives at all costs. That's nice, but it means that often pyanalyze is a bit too eager to just...
The unused object finder frequently flags module objects as unused. It looks like this affects modules that are only imported through `from a.b import c`—this marks `a.b.c` as used, but...