Search results

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

pyrefly coverage reports optional imports not used in stubs as untyped

quansight

Status: Open.

Bug

#3773 In facebook/pyrefly;

· jorenham opened on Jun 11, 2026

new rule - zero step in slice

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

typechecking

Status: Open.

Feature

#3768 In facebook/pyrefly;

· DetachHead opened on Jun 11, 2026

new rule - useless overload body

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

typechecking

Status: Open.

Feature

#3767 In facebook/pyrefly;

· DetachHead opened on Jun 11, 2026

new rule - unused # type: ignore comment

good first issueGood for newcomersGood for newcomers

typechecking

Status: Open.

Feature

#3766 In facebook/pyrefly;

· DetachHead opened on Jun 11, 2026

new rule - ban dynamic types

typechecking

Status: Open.

Feature

#3765 In facebook/pyrefly;

· DetachHead opened on Jun 11, 2026