basedpyright
basedpyright copied to clipboard
`isinstance` check that narrows value to `type` narrows it to `type[Any]` instead of `type[object]` even when `strictGenericNarrowing` is enabled
Description
Code sample in basedpyright playground
def foo(value: object)-> type[int]:
assert isinstance(value, type)
return value # no error
related: #123