Alex Waygood

[ty] Fix `Todo` type for starred elements in tuple/list/set expressions

5

## Summary Fixes https://github.com/astral-sh/ty/issues/2071 ## Test Plan

[ty] Make special cases for subscript inference exhaustive

3

## Summary Fixes https://github.com/astral-sh/ty/issues/2015. We weren't recursing into the value of a type alias (or the bounds/constraints of a typevar) when we should have been. ## Test Plan added mdtests

[ty] Fix panic where we would incorrectly consider overloads in another file as belonging to a function in the file being checked

2

## Summary Fixes https://github.com/astral-sh/ty/issues/1867. In certain cases where a function definition has not yet been completed, we can end up associating overloads from a totally different function (in a totally...

Improve the developer experience of working on ty

3

We discussed in a recent ty planning meeting that it can sometimes feel a bit painful to work on ty right now as a developer. Things that we discussed which...

Enable more advanced inlay features in the playground

2

I've no idea if this is feasible, but it would be very cool if we could enable some of our more "advanced" inlay-hint features in the playground. For example, go-to...

Keyword-argument completions not shown in a decorator call without a class/function below it

1

### Summary Consider this situation: ```py from dataclasses import dataclass @dataclass(fro) ``` I would expect one of the completions offered here to be `frozen=`, since that's a valid keyword argument...

Improve test coverage for iterating over intersections of tuples

1

I don't think we have full test coverage for all code paths in https://github.com/astral-sh/ruff/blob/81f34fbc8e404cd26fa40ee86a339947dce7617c/crates/ty_python_semantic/src/types/tuple.rs#L1794-L1867 currently (added in https://github.com/astral-sh/ruff/commit/0f18a08a0ae848c92bc5524cb17077a9968bbc69)

`non-subscriptable` is inconsistent with other error codes such as `not-iterable`, and I prefer `not-` to `non-` (it reads more like English). We should get this in before our stable release...

From the perspective of the Liskov Substitution Principle, this is fine[^1], because the attribute on the subclass can do strictly more than the attribute on the superclass (it's read-only on...

Bidirectional inference fails in assignments that use unpacking

1

E.g. ```py from typing import TypedDict class Foo(TypedDict): x: int x: Foo # error: Object of type `dict[Unknown | str, Unknown | int]` is not assignable to `Foo` x, _...