Pattern matching a dataclass with different field type fails for Python >= 3.13

Bug Report

Pattern matching on a dataclass with a field of different type than required by the dataclass fails with Cannot determine type of ... for Python 3.13 and higher

To Reproduce

3.12 working gist: https://mypy-play.net/?mypy=latest&python=3.12&gist=f2947a04a9a86defefd16e54c0133c84
3.13 failing gist: https://mypy-play.net/?mypy=latest&python=3.13&gist=f2947a04a9a86defefd16e54c0133c84

from dataclasses import dataclass

@dataclass
class A:
    pass

@dataclass
class B:
    pass

@dataclass
class C:
    sth: A

def func(c: C, b: B):
    match c:
        case C(B() as obj) if obj == b:
            print("matched")

Expected Behavior

I believe it should resolve the type same as for <= 3.12.

Actual Behavior

For Python >= 3.13 inferring obj type fails with:

repro.py:17: error: Cannot determine type of "obj"  [has-type]

Your Environment

• Mypy version used: 1.19.1
• Mypy command-line flags: mypy repro.py
• Mypy configuration options from mypy.ini (and other config files): no additional config
• Python version used: 3.13.5

Bắt đầu với ví dụ repro.py và chạy mypy 1.19.1 trên Python 3.12 và 3.13 bằng các trường hợp playground được liên kết. Theo dõi việc pattern matching và suy luận dataclass liên quan đến case C(B() as obj); hoàn thành khi Python 3.13 suy luận obj nhất quán với 3.12 mà không có lỗi Cannot determine type.