Message384871
I hesitate to add anything because you are exposing so much confusion. May I suggest that you ask about this on a user group first before proposing a new feature? One place that makes sense given that this is a type system feature would be this Gitter channel: https://gitter.im/python/typing |
|
Date |
User |
Action |
Args |
2021-01-12 00:32:35 | gvanrossum | set | recipients:
+ gvanrossum, uriyyo, chaim422 |
2021-01-12 00:32:35 | gvanrossum | set | messageid: <1610411555.14.0.473170244977.issue42812@roundup.psfhosted.org> |
2021-01-12 00:32:35 | gvanrossum | link | issue42812 messages |
2021-01-12 00:32:35 | gvanrossum | create | |
|