`isinstance` removes `cls.__dict__["__annotations__"]` in a complex setup with Protocol and ABCMeta

Bug report

Bug description:

import abc
from collections.abc import Iterator
from typing import Protocol

# ---- Expected behavior:
class Steppable(metaclass=abc.ABCMeta):
  pass

class Module:
  @classmethod
  def __init_subclass__(cls, **kwargs) -> None:
    super().__init_subclass__(**kwargs)
    name, annotation, default = "name", str | None, "abc"
    cls.__annotations__[name] = annotation
    setattr(cls, name, default)


class SequenceLayer1(Module, Steppable):
  pass


print(SequenceLayer1.__dict__.get("__annotations__"))
# {'name': str | None}
assert SequenceLayer1.__dict__.get("__annotations__") is not None


# ---- Unexpected behavior:
class CheckpointableIterator(Iterator, Protocol):
  pass

isinstance(CheckpointableIterator, Iterator)

class SequenceLayer2(Module, Steppable):
  pass

print(SequenceLayer2.__dict__.get("__annotations__"))
# None
assert SequenceLayer2.__dict__.get("__annotations__") is not None

• Failing on 3.12 and 3.13
• Passing on 3.11 and 3.14 (For 3.14 it is expected to have __dict__["__annotations__"] missing)

CPython versions tested on:

3.12

Operating systems tested on:

Linux

Exécutez le reproducteur impliquant Module.init_subclass, CheckpointableIterator, Protocol, ABCMeta et isinstance avec Python 3.12 et 3.13, puis comparez-le avec 3.11 et 3.14. Suivez la manière dont SequenceLayer1 et SequenceLayer2 reçoivent annotations et identifiez à quel endroit la seconde classe perd son entrée. C’est terminé lorsque le comportement est expliqué et qu’un test de régression couvre la plage de versions concernée.