Search results

type source not show on field

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

Status: Open.

#3898 In facebook/pyrefly;

· asukaminato0721 opened on Jun 22, 2026

no-matching-overload false positive with a constrained type parameter

googleissues from googleissues from google

typechecking

Status: Open.

#3897 In facebook/pyrefly;

· superbobry opened on Jun 22, 2026

Difference in slice type annotations

quansight

Status: Open.

#3896 In facebook/pyrefly;

· MarcoGorelli opened on Jun 22, 2026

Unpacked iterables are not typed correctly

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.

Status: Open.

#3894 In facebook/pyrefly;

· gonnet opened on Jun 22, 2026

Stack overflow

crash

Status: Open.

Bug

#3893 In facebook/pyrefly;

· n-gao opened on Jun 22, 2026

polars group_by on Generic incorrectly inferred as pl.DataFrame | pl.LazyFrame

Status: Open.

#3892 In facebook/pyrefly;

· ajohnson5 opened on Jun 22, 2026

bug(?): different behaviour depending on how SequenceNotStr is defined / imported

quansight

Status: Open.

#3891 In facebook/pyrefly;

· MarcoGorelli opened on Jun 22, 2026

bug(stubgen): implicit ClassVars not annotated as such in emitted stubs, causing invalid type transformation

stubgen

Status: Open.

Bug

#3890 In facebook/pyrefly;

· tobyh-canva opened on Jun 22, 2026

enum hover should show fields, not call

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

Status: Open.

#3889 In facebook/pyrefly;

· asukaminato0721 opened on Jun 22, 2026

bug(stubgen): any declarations inside a conditional block are dropped

stubgen

Status: Open.

Bug

#3888 In facebook/pyrefly;

· tobyh-canva opened on Jun 21, 2026

Feature: Native Triton GPU Kernel Strict Typing Plugin

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

typechecking

Status: Open.

#3884 In facebook/pyrefly;

· aakashbhagat-tech opened on Jun 21, 2026

Sequence pattern in match/case with a literal element does not narrow a type out of a union

Status: Open.

#3883 In facebook/pyrefly;

· kkom opened on Jun 21, 2026