search

DetachHead / basedpyright

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

option to disable narrow on initial assignment #439

Open DetachHead opened 1 week ago

KotlinIsland commented 1 week ago

my opinion: I think this feature is not good because fundamentally, I don't think the following constructs should behave differently at type time because they behave the same at runtime:

a: object = 1
b: object
b = 1

I think the argument for it, is that an assignment has an explicit type annotation, so that 'should' be used for the type.