➜

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 gvanrossum
Recipients AlexWaygood, Gobot1234, gvanrossum, kj, sobolevn
Date 2021-12-26.17:16:10
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1640538970.44.0.253600190508.issue46170@roundup.psfhosted.org>
In-reply-to
Content 
Weird, the docs you cite claims


   # Also does not typecheck
   ProUserId = NewType('ProUserId', UserId)

but when I try it, it works at runtime and passes mypy (even with --strict) and also pyright.

So maybe those docs are incorrect? I can't find anything in PEP 484 about this.

In any case I'd drop the newline in the message -- other "Did you mean" errors don't have those.
History
Date User Action Args
2021-12-26 17:16:10gvanrossumsetrecipients: + gvanrossum, sobolevn, Gobot1234, kj, AlexWaygood
2021-12-26 17:16:10gvanrossumsetmessageid: <1640538970.44.0.253600190508.issue46170@roundup.psfhosted.org>
2021-12-26 17:16:10gvanrossumlinkissue46170 messages
2021-12-26 17:16:10gvanrossumcreate