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

Bắt đầu với bản tái hiện được liên kết trên Playground và so sánh thời gian kiểm tra kiểu có và không có kiểm tra sớm x == E.M0. Truy vết các đường xử lý thu hẹp enum và kiểm tra match trong mypy, sau đó xác minh rằng ví dụ với enum lớn không còn trở nên chậm theo cấp số nhân nữa, đồng thời vẫn giữ nguyên hành vi thu hẹp đã được báo cáo.