ABC subclasses may break `issubclass(T, T)` invariant

Bug report

Bug description:

This was a nasty bug to track down. I really don't have a clue why this would happen. It seems to be triggered under these conditions:

• A root class (Root) inherits from ABC
• There's diamond-shaped inheritance for a sub-subclass (Multi)
• In Root.__init_subclass__, when Multi is initializing, a check is performed to see if First is a subclass of Second
• First is no longer a subclass of itself

from abc import ABC

class Root(ABC):
    def __init_subclass__(cls, **kwargs):
        if cls.__name__ == "Multi":
            # issubclass(Second, First)  # Wouldn't trigger the bug for Second
            issubclass(First, Second)  # Triggers the bug for First
            issubclass(Second, First)  # Doesn't trigger the bug for Second

class First(Root): ...
class Second(Root): ...
class Multi(First, Second): ...

assert not issubclass(First, First)  # This is the bug.
assert issubclass(Second, Second)

print("bug!")

CPython versions tested on:

3.12

Operating systems tested on:

macOS

Esegui il riproduttore Python fornito su CPython 3.12 e traccia ABC.init_subclass e issubclass durante l'inizializzazione di Multi. Indaga sul motivo per cui First non soddisfa più issubclass(First, First); il lavoro è completato quando le asserzioni degli invarianti passano per la gerarchia a diamante e questo caso dispone di una copertura di regressione.