You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Generator requires a few different methods. I assume dict.keys() is Hashable and therefore the first matching overload is the Series overload.
Assuming str is the only iterable that we want to special case (@Dr-Irv), we could first have an overload for str, and then use Iterable (covers, lists, generators and dict.keys) but add an ignore comment (overlapping overloads).
There might be more places were we could first special case the exceptions, e.g., str, to then replace large list-like Unions with Iterable+ignore.
Assuming str is the only iterable that we want to special case (@Dr-Irv), we could first have an overload for str, and then use Iterable (covers, lists, generators and dict.keys) but add an ignore comment (overlapping overloads).
__getitem__
with aGenerator
is already annotated correctly, not clear to me why it doesn't use that overload here.The text was updated successfully, but these errors were encountered: