Extract from the current prototype of typing in this repo: For an unconstrained type variable T, isinstance(x, T) is false for all x, and similar for issubclass(cls, T). Example:: T = TypeVar('T') ...

This can cause issubclass to provide incorrect responses when called inside __init_subclass__, and for these incorrect response to be cached, and therefore propagated to calls outside of ...