Search results

False negative: None incorrectly satisfies NewType('N', type[None])

typechecking

Status: Open.

Bug

#3081 In facebook/pyrefly;

· luciang opened on Apr 9, 2026

NoneType not accepted in NewType: X = NewType("X", NoneType): Second argument to NewType is invalid

typechecking

Status: Open.

Bug

#3080 In facebook/pyrefly;

· luciang opened on Apr 9, 2026

dict 's onhover dont have newline

language-serverIssues specific to our IDE integration rather than type checkingIssues specific to our IDE integration rather than type checking

Status: Open.

#3078 In facebook/pyrefly;

· asukaminato0721 opened on Apr 9, 2026

LSP doesn't work in VSCode

language-serverIssues specific to our IDE integration rather than type checkingIssues specific to our IDE integration rather than type checking

Status: Open.

#3077 In facebook/pyrefly;

· peekxc opened on Apr 8, 2026

isinstance(arg, dict) branch does not fully capture TypedDict argument

typechecking

Status: Open.

Bug

#3075 In facebook/pyrefly;

· randolf-scholz opened on Apr 8, 2026

* is not supported between list[dict[str, Unknown | None]] and Literal[1000] [unsupported-operation]

quansight

Status: Open.

Bug

#3074 In facebook/pyrefly;

· MarcoGorelli opened on Apr 8, 2026

type parameter missing a *

tensor-shapesAnything related to tensor shape typingAnything related to tensor shape typing

Status: Open.

Bug

#3067 In facebook/pyrefly;

· asukaminato0721 opened on Apr 7, 2026

TypeVar bound to type[X] resolves as object

language-serverIssues specific to our IDE integration rather than type checkingIssues specific to our IDE integration rather than type checking

typechecking

usabilityUsability & readiness issues identified with running Pyrefly on top OSS projectsUsability & readiness issues identified with running Pyrefly on top OSS projects

Status: Open.

Bug

#3066 In facebook/pyrefly;

· grievejia opened on Apr 7, 2026

invalid-argument "Expected first argument to super" false positives

typechecking

usabilityUsability & readiness issues identified with running Pyrefly on top OSS projectsUsability & readiness issues identified with running Pyrefly on top OSS projects

Status: Open.

Bug

#3065 In facebook/pyrefly;

· grievejia opened on Apr 7, 2026

Metaclass instance in issubclass after isinstance narrowing

django

typechecking

usabilityUsability & readiness issues identified with running Pyrefly on top OSS projectsUsability & readiness issues identified with running Pyrefly on top OSS projects

Status: Open.

Bug

#3064 In facebook/pyrefly;

· grievejia opened on Apr 7, 2026

Self-type narrowing for sync/async overloads

typechecking

usabilityUsability & readiness issues identified with running Pyrefly on top OSS projectsUsability & readiness issues identified with running Pyrefly on top OSS projects

Status: Open.

Bug

#3063 In facebook/pyrefly;

· grievejia opened on Apr 7, 2026

cached_property overriding unannotated class variable

typechecking

usabilityUsability & readiness issues identified with running Pyrefly on top OSS projectsUsability & readiness issues identified with running Pyrefly on top OSS projects

Status: Open.

Bug

#3062 In facebook/pyrefly;

· grievejia opened on Apr 7, 2026