June 9, 2020
1:35 a.m.
1. I would like to re-focus the discussion on the pull request linked to in the initial post rather than the particular semantics of unbound type variables in callables: https://github.com/python/typeshed/pull/4045 Specifically,
@mrkmndz Sorry for forgetting to answer. Yes, considering theconsequences this has for the typing infrastructure, I think this should be discussed on typing-sig.
@srittau: could you clarify what consequences you meant? What's the specific concern that should be discussed? 2. I would also like to hear people's thoughts on how to deal with disagreements on semantics where not specified in PEPs in shared infrastructure. This is one particular example but I'm sure this will happen more in the future.