How do I tell pytype that an instance is a subclass of an abstract base, but not the abstract base itself?

Question

The issue arises when code instantiates an instance of the supertype. Here\'s an example.

T = TypeVar("T")

class A(Generic[T], metaclass=abc.ABCMeta):