Search results

when hover, it shows @ + number in the type position

Status: Open.

#739 In facebook/pyrefly;

· asukaminato0721 opened on Jul 24, 2025

isinstance on unrelated types should result in type intersection (instead of "override")

Status: Open.

#738 In facebook/pyrefly;

· amartani opened on Jul 24, 2025

Failure to type operator as direct assignment

pytorch

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

Status: Open.

Bug

#737 In facebook/pyrefly;

· ndmitchell opened on Jul 23, 2025

[DX/UX] Plural <code>site-package-path</code>?

questionFurther information is requestedFurther information is requested

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

Status: Open.

#735 In facebook/pyrefly;

· webknjaz opened on Jul 23, 2025

vscode extension is using up all cpu / memory and is running multiple python processes

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

Status: Open.

Task

#734 In facebook/pyrefly;

· mrckzgl opened on Jul 23, 2025

vscode extension not using correct python interpreter path / venv

questionFurther information is requestedFurther information is requested

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

Status: Open.

#733 In facebook/pyrefly;

· mrckzgl opened on Jul 23, 2025

make the param each have a new line when hover

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

Status: Open.

Feature

#732 In facebook/pyrefly;

· asukaminato0721 opened on Jul 23, 2025

Removal of <code>--no-summary</code> flag breaks mypy-primer workflow

Status: Open.

Task

#730 In facebook/pyrefly;

· fangyi-zhou opened on Jul 22, 2025

<code>str</code> is not assignable to <code>LiteralString</code> (caused by inconsistent types when breaking cycles)

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

Status: Open.

Bug

#726 In facebook/pyrefly;

· kilroy42 opened on Jul 22, 2025

[bug] try/except seems to invalidate narrowing in try block

typechecking

Status: Open.

Bug

#725 In facebook/pyrefly;

· yangdanny97 opened on Jul 22, 2025

Typing polars as Unknown after Pyrefly version 0.19.0

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

Status: Open.

Bug

#724 In facebook/pyrefly;

· CoryWard opened on Jul 22, 2025

[feature] error when <code>==</code> or <code>!=</code> is used on values that are incompatible types

typechecking

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

Status: Open.

Feature

#721 In facebook/pyrefly;

· yangdanny97 opened on Jul 22, 2025