Issues · astral-sh/ty · GitHub

Before filing an issue
#2125 · carljm opened on Dec 20, 2025
Type system feature overview
#1889 · sharkdp opened on Dec 15, 2025

Labels Milestones New issue

partial stubs are ignored

#3770

· hamdanal opened

on Jun 14, 2026

`Unknown & ~None` / `Any & ~None` vs `~None`

set-theoretic types

#3766

· jonathandung opened

on Jun 14, 2026

`enum.IntFlag` type narrowed too much when left operand is of type `int` and right operand is a canonical flag

#3765

· jonathandung opened

on Jun 14, 2026

feature request: recognize modules in string:

#3764

· JustBipin opened

on Jun 13, 2026

Support generic inference for `call` methods

#3763

· PaulMarisOUMary opened

on Jun 13, 2026

new rule - `isinstance` on class that has an unsafe overlap with a `@runtime_checkable` `Protocol`

#3760

· DetachHead opened

on Jun 13, 2026

lint rule - assigning `str` to `Iterable[str]` or `Sequence[str]`

#3759

· DetachHead opened

on Jun 13, 2026

Emit a diagnostic on an instance attribute assigned to `self` in a `Protocol` method that does not have a declaration in the class body

#3758

· DetachHead opened

on Jun 13, 2026

new rule - unpack open `TypedDict`

#3757

· DetachHead opened

on Jun 13, 2026

new rule - report an error on `Divergent` types

#3756

· DetachHead opened

on Jun 13, 2026

Truthiness narrowing loses `Self` specialization on inherited attributes

#3755

· sunny-zuo opened

on Jun 12, 2026

`call-non-callable` false positive after `hasattr()` narrowing

#3753

· mxr opened

on Jun 12, 2026