Search results

type check for MagicMock / Mock

Status: Open.

#1928 In facebook/pyrefly;

· asukaminato0721 opened on Dec 24, 2025

show hover for <code>in</code>

Status: Open.

#1926 In facebook/pyrefly;

· asukaminato0721 opened on Dec 24, 2025

Pyrefly infers questionable type for untyped decorator, leading to downstream errors

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.

Bug

#1917 In facebook/pyrefly;

· mr-brobot opened on Dec 22, 2025

Protocol definitions complain that "Function declared to return <code>X</code> but is missing an explicit <code>return</code>"

good first issueGood for newcomersGood for newcomers

Status: Open.

Bug

#1916 In facebook/pyrefly;

· mgedmin opened on Dec 22, 2025

False positive <code>bad-override</code> for @property with identical return types

questionFurther information is requestedFurther information is requested

Status: Open.

#1912 In facebook/pyrefly;

· kleinicke opened on Dec 21, 2025

--remove-unused-ignores doesn't respect existing line endings

UserBugs reported by external users that should be prioritisedBugs reported by external users that should be prioritised

Status: Open.

Bug

#1911 In facebook/pyrefly;

· mayty opened on Dec 21, 2025

LSP: Navigation support for pytest fixtures

typechecking

UserBugs reported by external users that should be prioritisedBugs reported by external users that should be prioritised

Status: Open.

Feature

#1901 In facebook/pyrefly;

· aba-git opened on Dec 19, 2025

Pyrefly confuses class name and locally defined methods, emitting false-positive <code>not-a-type</code>

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.

#1900 In facebook/pyrefly;

· konn opened on Dec 19, 2025

Feature: support <code>copy.replace</code>

typechecking

Status: Open.

Feature

#1897 In facebook/pyrefly;

· rchen152 opened on Dec 18, 2025

Type Narrowing Failure in match Statements with 'as' Bindings and Early Returns

scoping-control-flowissues related to scoping and control flowissues related to scoping and control flow

typechecking

Status: Open.

Bug

#1896 In facebook/pyrefly;

· tejasreddyvepala opened on Dec 18, 2025

<code>__contains__</code> type narrowing in <code>TypedDict</code>

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

UserBugs reported by external users that should be prioritisedBugs reported by external users that should be prioritised

Status: Open.

Feature

#1894 In facebook/pyrefly;

· breid48 opened on Dec 18, 2025

LSP: Provide key autocompletion on <code>TypedDict.get</code>

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

UserBugs reported by external users that should be prioritisedBugs reported by external users that should be prioritised

Status: Open.

Feature

#1887 In facebook/pyrefly;

· breid48 opened on Dec 18, 2025