Carl Meyer

I think everything is done here! @charliermarsh correct me if I'm wrong and you still had any needed follow-ups in mind.

Finer-grained issues are easier to manage for prioritizing and tracking work to be done, so I've created https://github.com/astral-sh/ruff/issues/16612 and https://github.com/astral-sh/ty/issues/184 for the last two items here. I don't think "audit...

Might make sense to address this along with https://github.com/python/typing/issues/1779

Any thoughts on this, @treyhunner ?

No, there's been no fix that I'm aware of. I don't personally use FieldTracker, and am feeling inclined to spin it off into its own project. In the meantime, though,...

I think this issue should be moved from the `python/typing-council` repo to the `python/typing` repo?

We have a slightly different use case for this. We want to be able to do: ``` T = TypeVar('T') IGID = NewType('IGID', (int, Generic[T])) user_id: IGID[User] = IGID(3) ```...

I am willing to work on conformance tests for this, but I probably can't get to it until the core dev sprint, Sept 23-27. I realize that implies a delay...

> I am willing to work on conformance tests for this Just wanted to note that I haven't forgotten this, it remains on my TODO list, I just wasn't able...

I've completed the first set of tests (for the "Invalid overload definitions" section of the spec.) I just realized that I named it `overloads_invalid.py`, where you had suggested `overloads_definitions.py` --...