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 kj
Recipients gvanrossum, kj
Date 2020-12-11.00:24:12
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <>
In-reply-to <>
The pyre version in their looks like they took your advice for
letting the static checker do the work wholeheartedly.

I'm not in favour of type checking either. Just that the pre-existing code
does it for me.

Not type checking when seeing ~P in __parameters__ would work, just that
__args__ will be unhashable (like you mentioned) so things will be slower
due to no type cache. Maybe we can cast the [int, str] to (int, str), that
should work with cache for most cases. And unlike the Callable issue -
since we don't need to ensure runtime correctness - we can ignore any weird
effects to __args__ and __parameters__ in ParamSpec, like TypeVars not
collecting etc.
Date User Action Args
2020-12-11 00:24:12kjsetrecipients: + kj, gvanrossum
2020-12-11 00:24:12kjlinkissue41559 messages
2020-12-11 00:24:12kjcreate