Rob Hand

Results 4 comments of Rob Hand

> fixing it will cause a `mypy` issue: > > `__version__ = version(cast('str', __package__)) # E: Redundant cast to "str" [redundant-cast]` A solution to keep mypy etc happy would be...

Is this a bug? If I change the `or` to an `and` (or drop TYPE_CHECKING completely) ty detects the correct branch is `Never` then updating python version in `ty.json` to...

> CI is currently red for reasons that look unrelated to this change: mypy_primer is failing while cloning pypa/twine (git clone … exit 128), and codspeed is panicking. I’ll rerun...

The loop aspect doesn't seem to be the cause it's any union of types (not specifically to `Unknown`) seems to be stop the completions. https://play.ty.dev/937e266f-1665-4b5d-a2c0-d7b4174c3a0d ```py import random from ty_extensions...