search

DetachHead / basedpyright

pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
https://docs.basedpyright.com
Other
968 stars 18 forks source link

'uncommitted' level lints #293

Open KotlinIsland opened 5 months ago

KotlinIsland commented 5 months ago

Errors that only appear on uncommitted code. Errors won't show for lines that are committed.

I suppose any rule could be configured to this level, but one rule that would be default is "type could be wider/narrower"

def f(a: str):  # error: type could be wider: "object"
    print(a) 
def f(l: list[object]):  # error: type could be narrower: "Sequence[object]"
    print(l[0])
DetachHead commented 3 months ago

related (but different use case): #2