Type narrowing on object attribute with match statement doesn't apply

The bug
It seems that doing a "type checking" with the object UI in pattern matching seems to not work properly.
Attribute match is not considered.

Code

class Test:
    def __init__(self, a: int | str):
        self.a: int | str = a

test = Test(5)

match test:
    case Test(a = int()):
        print(test.a + 3)
    case Test(a = str()):
        print(test.a + "3")

Expected behavior
By doing a match with Test(a = int()), python will check test is of type Test AND test.a is of type int.
But mypy "only assert" that test if of type Test. It keep the type int | str for test.a.

Reproduce :
On mypy-playground :
https://mypy-play.net/?mypy=latest&python=3.11&gist=6f05124abd1ef68032d59651a7d5c6c3

issue にリンクされている mypy-playground の再現例から始め、match 文が Test(a=int()) および Test(a=str()) パターンをどのように処理するかを追跡します。各分岐での test.a の推論された型を比較します。完了条件は、属性がそれぞれ int または str に絞り込まれ、その動作が回帰テストでカバーされていることです。