-
Notifications
You must be signed in to change notification settings - Fork 139
Open
Labels
runtime semanticsAccurate modeling of how Python's semantics work at runtimeAccurate modeling of how Python's semantics work at runtime
Milestone
Description
(First raised on Discord.)
Currently ty doesn't understand type()'s functional syntax very well (playground):
# error: Object of type `type` is not assignable to `type[int]`
U32: type[int] = type('U32', (int,), {})It understands type(...) returns a new type, but fails to take the bases into account.
Kumzy and carljm
Metadata
Metadata
Assignees
Labels
runtime semanticsAccurate modeling of how Python's semantics work at runtimeAccurate modeling of how Python's semantics work at runtime