Issues

• Preserve caller-fixed variable obligations during generic inference

  bugconstraint-solvergenericsneeds-designunsoundness
  astral-sh/ty#4696 · Filter by author carljm opened on Oct 8, 2026 · Stable
  

• Regression in 0.0.85: bounded TypeVar rejects a valid non-generic union alternative

  bugconstraint-solvergenericsregression
  astral-sh/ty#4695 · Filter by author cmp0xff opened on Oct 8, 2026 · Stable
  1

  

• Stack overflow on protocol nested intersection not self of typevar and Any twice

  fatalprotocols
  astral-sh/ty#4691 · Filter by author MeGaGiGaGon opened on Oct 7, 2026
  

• Server panics with "Range is not contained within root" during completion in an empty Jupyter cell while indexing

  completionsfatalnotebookserver
  astral-sh/ty#4687 · Filter by author nguynkhn opened on Oct 7, 2026

• Regression: Constrained TypeVar rejected when passed to T | Protocol [invalid-argument-type]

  bugconstrained-typevarsgenericsregression
  astral-sh/ty#4686 · Filter by author AA-Turner opened on Oct 7, 2026 · Stable
  2

  

• no error when method-bound generic leaks out into the class via an attribute

  generics
  astral-sh/ty#4685 · Filter by author DetachHead opened on Oct 7, 2026 · ty-1.1
  1

• High memory usage even with empty editor

  memoryserver
  astral-sh/ty#4689 · Filter by author nocibambi opened on Oct 7, 2026
  1

• unsound-assignment rejects a generic method implementing a concrete protocol

  bugcallablesgenericsprotocols
  astral-sh/ty#4684 · Filter by author kalekseev opened on Oct 7, 2026 · ty-1.1

• Class | expressions ignore custom metaclass __or__

  bugmetaprogrammingtype-inference
  astral-sh/ty#4683 · Filter by author kalekseev opened on Oct 7, 2026

• Slow check for match on a tuple of two class unions

  narrowingperformance
  astral-sh/ty#4676 · Filter by author sunny-zuo opened on Oct 6, 2026 · Stable
  

• Pydantic: type arguments of nested generic models become Unknown in lax constructor signatures

  librarypydantic
  astral-sh/ty#4675 · Filter by author tobiasdiez opened on Oct 6, 2026
  2

• assert_never could have a friendlier error message

  diagnostics
  astral-sh/ty#4672 · Filter by author danielhollas opened on Oct 5, 2026

• Annotating a NewType with Final yields an invalid-newtype error

  astral-sh/ty#4667 · Filter by author BarrensZeppelin opened on Oct 5, 2026
  2

• [redundant-condition] warning not appropriate when condition-checking has side effects

  strict
  astral-sh/ty#4666 · Filter by author murdock-grewar opened on Oct 5, 2026
  4

  

• False positive on global variable narrowing

  narrowingneeds-decision
  astral-sh/ty#4665 · Filter by author joexzh opened on Oct 5, 2026
  5

• Consider treating enums with custom metaclasses as exhaustive

  enums
  astral-sh/ty#4662 · Filter by author AlexWaygood opened on Oct 4, 2026
  3

• Dict literal keyed by a TypeVar is not assignable to Mapping[TypeVar, ...]

  bugdiagnosticsgenericstype-inference
  astral-sh/ty#4661 · Filter by author benedikt-bartscher opened on Oct 3, 2026
  1

• invalid-attribute-override: a nested class overriding a ClassVar is treated as an instance variable

  attributesoverrides
  astral-sh/ty#4660 · Filter by author benedikt-bartscher opened on Oct 3, 2026
  1

• Support glob patterns in environment.root

  configuration
  astral-sh/ty#4658 · Filter by author dogukancagatay opened on Oct 3, 2026
  1

• Methods with a TypeVarTuple-prefixed self annotation are not bound to the receiver

  bugconstraint-solvergenericsmethod-receivervariadic-generics
  astral-sh/ty#4657 · Filter by author benedikt-bartscher opened on Oct 3, 2026 · ty-1.1

• Recognize exhaustive class patterns based on attribute types

  control flownarrowing
  astral-sh/ty#4655 · Filter by author AlexWaygood opened on Oct 2, 2026

• Generic equivalence does not account for declared bounds

  genericsoverloadstype properties
  astral-sh/ty#4654 · Filter by author ibraheemdev opened on Oct 2, 2026
  

• Completions: suggest method overrides and magic methods with correct signatures when typing def in a class body

  astral-sh/ty#4653 · Filter by author PastaLaPate opened on Oct 2, 2026

• Inferred upper bounds are top-materialized unnecessarily

  generics
  astral-sh/ty#4651 · Filter by author ibraheemdev opened on Oct 2, 2026

• Gradual upper bounds can introduce unnecessary graduality

  constraint-solvergenerics
  astral-sh/ty#4650 · Filter by author ibraheemdev opened on Oct 2, 2026