auto members of IntEnum cannot be annotated as int (false-positive)

[cebtenzzre]

Description

This simple example fails, even though it passes with mypy --strict. I am using pytype 2023.08.22.

Example Code

from enum import IntEnum, auto

class Foo(IntEnum):
    FOO: int = auto()

print(Foo.FOO)
print(isinstance(Foo.FOO, int))

Steps to Reproduce

$ python repr.py
1
True

$ mypy --strict repr.py
Success: no issues found in 1 source file

$ pytype-single repr.py
File "repr.py", line 4, in Foo: Type annotation for FOO does not match type of assignment [annotation-type-mismatch]
  Annotation: int
  Assignment: enum.auto

For more details, see https://google.github.io/pytype/errors.html#annotation-type-mismatch