Using a type alias with arguments in `case` block in a `match` statement gets the wrong error message with `parameters` instead of `arguments`

*Memo:

• mypy test.py
• mypy 1.19.1
• Python 3.14
• Windows 11

Using a type alias with arguments in case block in a match statement gets the wrong error message with parameters instead of arguments as shown below:

class Cls:
    def __init__(self, x: int, y: int):
        self.x = x
        self.y = y

type TA = Cls

match Cls(x=10, y=20):
    case TA(x=10, y=20):
        print("OK")

error: Class pattern class must not be a type alias with type parameters

So, the error message should be with arguments instead of parameters as shown below:

error: Class pattern class must not be a type alias with type arguments

まず、mypy 1.19.1 と Python 3.14 を使って mypy test.py で報告を再現し、次にクラスパターンで使用されている型エイリアスに対する診断を特定します。“type parameters” から “type arguments” へ文言を更新し、例で修正後のメッセージが報告されることを確認します。