Rob Hand

Conversion of abc.Collection[str] to set() becomes set[Unknown] instead of set[str]

2

### Summary Couldn't find an issue that quite matched (maybe this https://github.com/astral-sh/ty/issues/1473 if so please close this and I will link my suppression comment to reference it instead) Problem: Conversion...

`__file__` import typed as `str | None`

2

### Summary ```python import typing import os from module import __file__ as module_path typing.reveal_type(module_path). # str | None os.path.abspath(module_path) # No overload of function `abspath` matches arguments ``` https://play.ty.dev/4dd59d9f-5dbe-433e-b370-67bbd5575fb2 `mypy`...

ty hangs on combination of self-ref Union, dataclass and Protocol

3

### Summary An attempt at an MRE for a hang we are seeing on one of our repos: Run with: `uv tool run ty check mre.py` ```py from __future__ import...

### Summary This builds upon the issue raised in: https://github.com/astral-sh/ty/issues/2060 The MRE I supplied of the real-world code elided a Falsey check, which does seem to disrupt the fix that...