I don't know if I'm running into a bug or I'm just not doing things right. I was able to minimize my problem to this using Python 3.5 and mypy 0.660: from abc import ABC, abstractmethod from typing ...

This appears to be a resurgence of #503 / #501, but in a very particular set of circumstances: However, one of the two entries fails the check isinstance(scls ...