Sept. 29, 2020
10 p.m.
I'm in favor of this amendment too. It makes sense to use only the redundant form to have this special meaning. I'll need to update pyright as well, but the change is straightforward. I'll wait until the updates go into typeshed. (Thanks Shantanu!) This will represent a "breaking change" that could impact other type stubs in the wild, but I don't think the impact will be significant. -Eric --- Eric Traut Microsoft