Checking a match on an enum becomes quadratically slow after the variable was narrowed by an == check

Bug Report

Type-checking a match on a large enum becomes very slow when the variable was first narrowed by an == check with an early exit:

from enum import StrEnum

class E(StrEnum):
    M0 = "m0"
    M1 = "m1"
    # ... 1,200 members

def f(x: E) -> None:
    if x == E.M0:
        return
    match x:
        case E.M1:
            pass
        # ... through case E.M7

Removing the x == E.M0 block makes this much faster (~1.5s vs 22s locally).

To Reproduce

• Playground

Your Environment

• Mypy version used: 2.3.1, 2.4.0+dev.4d195a2
• Python version used: 3.12

Commencez par la reproduction Playground liée et comparez le temps de vérification des types avec et sans la vérification précoce x == E.M0. Suivez les chemins de restriction des enums et de vérification des correspondances dans mypy, puis vérifiez que l’exemple avec un grand enum ne devient plus quadratiquement lent tout en préservant le comportement de restriction signalé.