Skip to content

Type list[...] containing negated type is not iterable #1880

@mattgiles

Description

@mattgiles

Summary

I am seeing not-iterable complaints like:

Object of type `list[Thing | ~str | Unknown]` is not iterable (not-iterable)

As in this example.

Version

ty 0.0.1-alpha.34 (ef3d48a 2025-12-12)

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions