Search results

"Narrow the type with an is not None check" is emitted in places where it doesn't make sense

readability

Status: Open.

Bug

#3790 In facebook/pyrefly;

· rchen152 opened on Jun 13, 2026

panic: a variable has leaked from one module to another (solver.rs:451) on LSP didOpen of sympy/core/expr.py

crash

Status: Open.

#3789 In facebook/pyrefly;

· rchiodo opened on Jun 12, 2026

·  

v1.1

Issues with monorepo structure - dependencies in .venv not resolved

configuration

questionFurther information is requestedFurther information is requested

Status: Open.

#3788 In facebook/pyrefly;

· mstaal opened on Jun 12, 2026

.get(key, "literal") on a non-required key with TypedDict resolves to key_type | str

Status: Open.

#3787 In facebook/pyrefly;

· Jackenmen opened on Jun 12, 2026

invalid-self-type example in the docs does not report the error

Status: Open.

#3785 In facebook/pyrefly;

· DetachHead opened on Jun 12, 2026

Concrete type should be allowed for constrained TypeVar after narrowing

needs-discussionAn issue where it's not clear whether there is a bug or we are behaving as expected.An issue where it's not clear whether there is a bug or we are behaving as expected.

typechecking

Status: Open.

Bug

#3783 In facebook/pyrefly;

· rchen152 opened on Jun 11, 2026

enh: show more info in reveal_type

needs-discussionAn issue where it's not clear whether there is a bug or we are behaving as expected.An issue where it's not clear whether there is a bug or we are behaving as expected.

quansight

Status: Open.

#3781 In facebook/pyrefly;

· MarcoGorelli opened on Jun 11, 2026

Literal not inferred properly when it has more than 8 elements

quansight

Status: Open.

#3779 In facebook/pyrefly;

· MarcoGorelli opened on Jun 11, 2026

pyrefly coverage should ignore .py annotations if a .pyi exists

quansight

Status: Open.

Feature

#3778 In facebook/pyrefly;

· jorenham opened on Jun 11, 2026

support auto ParamSpec

typechecking

Status: Open.

Feature

#3777 In facebook/pyrefly;

· asukaminato0721 opened on Jun 11, 2026

support pytest fixture type infer

typechecking

Status: Open.

Feature

#3776 In facebook/pyrefly;

· asukaminato0721 opened on Jun 11, 2026

pytest goto definition support conftest

help wantedLarger than "good first issue", but still well-defined and ready for someone to pick upLarger than "good first issue", but still well-defined and ready for someone to pick up

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

Status: Open.

Feature

#3775 In facebook/pyrefly;

· asukaminato0721 opened on Jun 11, 2026