Repository Issue Activity (beta)

#3810 Confusing error message: Returned type `() -> int` is not assignable to declared return type `() -> int`

#4473 All caps variables are highlighted in teal regardless of theme

#4519 Sandbox crash fallback indexed by Googlebot (pyrefly.org/sandbox) shows "The sandbox crashed." as its search result

#4595 djangorestframework-stubs: ModelSerializer.Meta class pattern causes false positive bad-override errors

#4597 Stack overflow with recursive TypedDict definition

#4450 avoid storing line numbers in the baseline file

#4557 False positive when overriding callable `ClassVar`

#4413 Bug in 1.2.0 - No matching overload found - probably regression

#4596 django: custom UUID primary key on AbstractBaseUser subclass causes false positive bad-override-mutable-attribute

#4507 Pyrefly infer emits illegal callable syntax

#3583 generic inference fails in some cases with function argument type like `Foo[T, object] | Foo[object, T]`

#4576 Conflicted type definitions between installed packages and bundled modules

#4590 Stack overflow with `__call__`

#4066 match on tuple subject not narrowed to Never for assert_never exhaustiveness

#4246 `pyrefly init` creates `ignore-missing-imports` paths with overlaps

#4594 Add config option to disable optional checks

#4589 Descriptor `__get__` is not applied when the attribute type is a union

#4592 `__get__` overload with self-type `Concatenate[ObjT, P1]` + sibling TypeVar `R1` still unmatched after #4415

#4218 Feature Request: Add option to replace imports with `Any` based on PEP 561 `py.typed` marker

#4585 Regression in 1.3.0.dev1: false-positive `invalid-type-var` for a module-qualified TypeVar in a class base subscript

#4569 Pydantic fields and Literal types seem to lose type inference when literal args > 4

#4187 Type Narrowing Depends on Order of Keyword Arguments

#4523 support show `not` unary range

#4587 Panics on incomplete 'from' statement at import_tracker.rs:78:34 [v1.2.9002 pre-release]

#438 Infer input type of lambda based on 2nd argument to map()