This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author levkivskyi
Recipients gvanrossum, levkivskyi, serhiy.storchaka
Date 2020-05-04.08:30:23
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1588581023.96.0.325789423872.issue40408@roundup.psfhosted.org>
In-reply-to
Content
> But this behavior is not specified and is not covered by tests.

FWIW, to be most close to the static type checkers behavior, both D[int][str] and D[int, str] should fail for D = Dict[T, List]. Not important however, since this is a really rare corner case I think.
History
Date User Action Args
2020-05-04 08:30:24levkivskyisetrecipients: + levkivskyi, gvanrossum, serhiy.storchaka
2020-05-04 08:30:23levkivskyisetmessageid: <1588581023.96.0.325789423872.issue40408@roundup.psfhosted.org>
2020-05-04 08:30:23levkivskyilinkissue40408 messages
2020-05-04 08:30:23levkivskyicreate