Author gvanrossum
Recipients cybertreiber, eric.smith, gvanrossum
Date 2020-01-19.16:30:34
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <>
In the example, it should be `int`, right?

Anyway, the bug tracker is not a good place to get questions answered. Since this is mostly about type checking, I recommend that you try this Gitter instance:
Date User Action Args
2020-01-19 16:30:34gvanrossumsetrecipients: + gvanrossum, eric.smith, cybertreiber
2020-01-19 16:30:34gvanrossumsetmessageid: <>
2020-01-19 16:30:34gvanrossumlinkissue39134 messages
2020-01-19 16:30:34gvanrossumcreate