FWIW, I did a small experiment of annotating all the integer-specific dunder methods of IntEnum with @final in typeshed and mypy-primer finds absolutely nothing. Experiment: make IntEnum integer interface final by randolf-scholz · Pull Request #15121 · python/typeshed · GitHub
2 Likes