pyrefly good first issues (Rust)

new rule - `abstractmethod` with implementation 21 minutes ago

typechecking help wanted

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

warning: use of deprecated associated function `core::num::<impl u32>::max_value`: replaced by the `MAX` associated constant on this type about 1 hour ago

good first issue

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`missing-attribute` - wrong error code when calling `abstractmethod` on `super()`? about 6 hours ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Bug: duplicate bad-context-manager error about 13 hours ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - ban unsafe multiple inheritance about 23 hours ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - ban subtyping dataclass with `order=True` about 23 hours ago

good first issue typechecking stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`unannotated-return` - false positive on `__init__` about 23 hours ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Bug: False positive `bad-argument-count` for PySpark `Column` methods about 24 hours ago

typechecking help wanted decorators

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

auto complete `__doc__` missing 1 day ago

good first issue language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Pyrefly ignores suppressions after multi-line nested strings in f-strings 1 day ago

help wanted stale google

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Overloaded constructor is not converted to a callable correctly 2 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Quickfix insert parameter types 4 days ago

good first issue stale language-server infer UI/UX

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

add code action video and description to IDE features docs 5 days ago

documentation good first issue help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

[DX/UX] Plural `site-package-path`? 5 days ago

good first issue configuration

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Fix confusing "Function declared to return `Never` but is missing an explicit `return`" 5 days ago

good first issue typechecking stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

support binary operator highlight range 7 days ago

good first issue language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Migrate baseline from BasedPyright config 8 days ago

configuration help wanted onboarding baseline

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Bug: potential-bad-keyword-argument is on by default but docs say it is off by default 9 days ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

support folder in sandbox 12 days ago

sandbox help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Operations on an explicit `Any` produce `Unknown`, so `unknown-variable-type` / `unknown-argument-type` fire on explicit `Any` 16 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Extend dataframe support to Narwhals (subset of Polars API)? 16 days ago

help wanted quansight dataframe

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

panic: key lacking binding with fuzzed assignment expressions and comprehensions 19 days ago

help wanted stale crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Add config option to mark files as not reachable 28 days ago

good first issue configuration language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

no error on invalid usage of `@property` 29 days ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Feature request: implement `method-assign` from `mypy` about 1 month ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Add a diagnostic for implicit relative imports about 1 month ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`# type: ignore` does not support specific error codes about 1 month ago

help wanted stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Feat: update baseline file on file save about 1 month ago

help wanted language-server baseline

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

[LSP] Treat identifiers inside string type annotations like normal annotation expressions about 1 month ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Documentation for environment autoconfiguration of site-package-path is outdated. about 1 month ago

documentation help wanted stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Feature request: Warn on unrecognized config keys about 1 month ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

'Go to symbol' excludes methods inside a class about 1 month ago

good first issue language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Feature Request: Add option to replace imports with `Any` based on PEP 561 `py.typed` marker about 1 month ago

configuration typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

update doc for alias-generators about 1 month ago

documentation good first issue pydantic

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

divergence in protocol variance inference between ty, pyrefly and pyright about 1 month ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Provide completions for triple quoted strings about 1 month ago

good first issue language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

build website meet Error: not found: hg about 1 month ago

good first issue

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Verbose output for `pyrefly dump-config` about 1 month ago

good first issue configuration

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

share invalidate and invalidate_config_and_validate_in_memory about 1 month ago

good first issue

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Ignore-file search walks past a linked worktree's root, so the enclosing checkout's info/exclude skips every file about 1 month ago

good first issue configuration

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Document (and optionally ship) Pyrefly as a Claude Code LSP for semantic navigation about 1 month ago

documentation help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

report an error on untyped base class about 1 month ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

dedup part of tvars_to_tparams_for_type_alias_type and tvars_to_tparams_for_type_alias about 1 month ago

good first issue

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Add config option to disable optional checks about 2 months ago

configuration typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Support `pixi` Python environment discovery about 2 months ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

cargo check a warning. about 2 months ago

good first issue

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`Variable __tracebackhide__ is unused` is incorrectly reported as an error about 2 months ago

good first issue stale language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Support Pydantic validators in Annotated fields about 2 months ago

typechecking help wanted stale pydantic

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Narrow types based on collection containment about 2 months ago

typechecking help wanted narrowing

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Pytest project structure not supported by Pyrefly import root heuristics about 2 months ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

support show `not` unary range about 2 months ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Support go-to-definition for functional TypedDicts about 2 months ago

help wanted stale language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Potential false-positive `unnecessary-type-conversion` for `float` annotations about 2 months ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

bad-argument-type on Annotated pydantic fields with custom schema about 2 months ago

help wanted pydantic

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`from torch import Tensor` incorrectly marked as `implicit-reexport`. 2 months ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Pyrefly infer emits illegal callable syntax 2 months ago

help wanted infer

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Report a warning if the argument expansion limit is hit 2 months ago

typechecking help wanted stale quansight

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

false positive missing-override-decorator when overriding protocols 2 months ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

All caps variables are highlighted in teal regardless of theme 2 months ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Descriptor semantics are applied to annotated instance attributes based on type rather than class attribute 2 months ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Pydantic union types disable Pyrefly assignment checks 2 months ago

typechecking help wanted pydantic

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Generated typestubs are not found in an editable install 2 months ago

typeshed help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

completions auto-import doesn't work on first try after reload 2 months ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

panic: `end byte index 1 is not a char boundary` when writing output report 2 months ago

help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Confusing error message: Returned type `() -> int` is not assignable to declared return type `() -> int` 2 months ago

typechecking help wanted readability

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - duplicate `KW_ONLY` in dataclass 3 months ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

panic: Key BoundName already exists with value Any(Error) 3 months ago

help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

"Docstrings from .py when type is from .pyi" is not working 3 months ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Stack overflow with recursive type definitions 3 months ago

help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Improve suppression behavior for unused-ignore 3 months ago

configuration typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`--min-severity=info` does not work 3 months ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Suggestion entry is shown twice when defining a method 3 months ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`reportPrivateUsage` from pyright is not covered by `no-access` 3 months ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Incorrectly implementing the `__call__` method of a `Protocol` does not produce a type error 3 months ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

lowercase typing_extensions.sentinel not handled right 3 months ago

good first issue typechecking

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`pyrefly init` creates `ignore-missing-imports` paths with overlaps 3 months ago

help wanted quansight

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Provide a way to unpin the Pyrefly status and move it into the language status menu 3 months ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

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

typechecking help wanted scoping-control-flow

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Support platform-specific stdlib attribute evaluation in ternary expressions 3 months ago

typechecking help wanted usability quansight

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Docstrings on variables 3 months ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

feat(typechecking): support SARIF output format 3 months ago

typechecking help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Feature: `--remove-unused-type-ignores` flag to clean up unused `# type: ignore` comments 3 months ago

good first issue

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

stack overflow in LSP for Positron 3 months ago

help wanted crash language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Dataclass/Pydantic: go-to-def on named arguments in an `__init__` call should go to specific fields 3 months ago

help wanted pydantic language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

highlight for %s in string 3 months ago

good first issue stale language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

inlay hints debouncing 3 months ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

panic: `Key Anon already exists with value ClassDef` with fuzzed NamedTuple code 3 months ago

typechecking help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Sandbox Report Issue button causes wasm to panic 3 months ago

sandbox help wanted crash

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

warning: hiding a lifetime that's elided elsewhere is confusing 3 months ago

help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

`import pandas as pd` completes to `import pandas as pdb` 3 months ago

good first issue language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

completions auto-import after import exists 3 months ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - `TypeVar` redefinition 3 months ago

good first issue typechecking stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

new rule - zero step in slice 3 months ago

typechecking help wanted stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

support simultaneous full-text and github output 3 months ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

TOML parse error shows incorrect location 3 months ago

configuration help wanted

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

support show range when hover on `and` `or` 3 months ago

help wanted language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Sandbox crash on hovering `None` from `no filesystem on this platform` error 3 months ago

sandbox help wanted crash language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

pytest goto definition support conftest 3 months ago

help wanted stale language-server

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

Incorrect union narrowing with `is EnumMember` 3 months ago

typechecking help wanted stale narrowing msgspec

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

False-positive trigger of `unused-variable` when returning a `Generator` 3 months ago

typechecking help wanted stale

facebook/pyrefly

6.7K

A fast type checker and language server for Python

Rust

#code-quality#ide#language-server#language-server-protocol#lsp#python#rust#type-annotations#type-check#type-checker#type-hints#typecheck#typechecker#typechecking#types#typing#vscode-extension

facebook/pyrefly

Open Issues Need Help