Unsupported operand type for ~ ("auto")

Bug Report

Starting with mypy 1.14.0, we started getting an error for an enum class that defines a member as an inversion (i.e. ~) of a different member that is declared with enum.auto().

To Reproduce

import enum


class Example(enum.Flag):
    USER = enum.auto()
    ADMIN = enum.auto()
    MACHINE = enum.auto()

    HUMAN = ~MACHINE

Playground links:

1. https://mypy-play.net/?mypy=1.14.1&python=3.13 (fails)
2. https://mypy-play.net/?mypy=1.13.0&python=3.13 (succeeds)

Expected Behavior

The operator should be supported for enum.Flag "auto" members.

Actual Behavior

enum_typing_repro.py:9: error: Unsupported operand type for ~ ("auto")  [operator]
Found 1 error in 1 file (checked 1 source file)

FWIW I wonder if this is related to recent changes in typeshed: https://github.com/python/typeshed/commit/3e29e05e4ae28c9c17e2ada8f6f088de40e6d692.

Your Environment

• Mypy version used: 1.14.1
• Mypy command-line flags:
• Mypy configuration options from mypy.ini (and other config files):
• Python version used: 3.13

Esegui la riproduzione fornita di enum.Flag con mypy 1.14.1 e confrontala con la versione 1.13.0 usando i playground collegati. Inizia tracciando enum.auto() e la gestione dell'inversione, inclusa la modifica di typeshed indicata; il lavoro è concluso quando l'esempio non produce alcun errore unsupported-operand e un test di regressione lo copre.