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
1.02k stars 19 forks source link

false negative when class extends subclass with that class as a generic #617

Open DetachHead opened 1 month ago

DetachHead commented 1 month ago

Code sample in basedpyright playground

class Bar: ...

class Foo[T: Bar]: ...

class Qux(Foo["Qux"]):... # no error, even though Qux is not a subtype of Bar

mypy correctly reports an error here