pyrefly

pyrefly copied to clipboard

[Feature] Add ability to set command to discover the interpreter

1

This would help in the situation where the IDE does not start the LSP with the Virtual Environment activated and where the virtual environment path is not fixed. See #1655...

bmarroquin

Typeshed path override breaks stdlib types

6

### Describe the Bug Repro: 1. In the root of your project, run clone typeshed `git clone https://github.com/python/typeshed.git` 2. Make a pyrefly.toml with the following contents `typeshed-path="./typeshed"` 3. Make a...

yangdanny97

check_type is no longer narrowing types (regression from 0.27.0 -> 0.27.1)

5

### Describe the Bug Test code: ```python from typeguard import check_type from typing import reveal_type x: dict[str, int] | float = {} reveal_type(x) x = check_type(x, dict[str, int]) reveal_type(x) ```...

kilroy42

fix report unsafe `__get__` return types

2

fix #1175

asukaminato0721

Error on django misconfiguration

3

We should error when we detect that pyrefly is being run over code that uses django, but django-stubs isn't installed, or django-types is installed.

rchen152

fix: prevent hints from poisoning generic function inference in OR expressions

1

## Summary Fixes #1635. This PR fixes a type inference bug where generic functions (like `os.getenv`) returned incorrectly widened types when used on the right-hand side of an `or` expression....

Imran-S-heikh

### Describe the Bug Extension flags errors for using list[str] for `columns` and `index` on `pandas.DataFrame` , even though both accept array-like ` Argument `list[str]` is not assignable to parameter...

wyfok

VSC pyre fly displays Unknown for Textual types

4

### Describe the Bug ### Sandbox Link _No response_ ### (Only applicable for extension issues) IDE Information _No response_

KRRT7

`BoundMethod[ReLU, (...) -> Any]` is not assignable to `BoundMethod[ReLU, (self: ReLU, arg: Tensor, /) -> Tensor]`

1

### Describe the Bug ```python from typing import Any, Callable, Protocol, reveal_type class Tensor: ... class Module: def _wrapped_call_impl(self, *args: Any, **kwargs: Any) -> Any: ... __call__: Callable[..., Any] =...

randolf-scholz

### Describe the Bug in this example: pyrefly knows that XB is incompatible there. pyrefly should rank it beneath the other suggestions which are compatible ### Sandbox Link _No response_...

kinto0