The fact that type-checkers currently don’t do union expansion over constrained typevars (although they do for overloads) recently came up as a practical problem for standard library functions typed with AnyStr: Proposal: relax un-correlated constrained TypeVars
3 Likes