typecheck: validate missing unchecked method args

2026-09-02 14:02:41 +00:00
parent 1e3e7fd9fa
commit 873177f216
5 changed files with 16 additions and 2 deletions
@@ -53,6 +53,9 @@ EXPECTED = {
    "tests/typecheck_method_missing_arg_bad.claro": [
        "tests/typecheck_method_missing_arg_bad.claro:11: Method Player.add needs argument points as NUMBER, but this call does not provide it.",
    ],
+    "tests/typecheck_method_missing_unchecked_arg_bad.claro": [
+        "tests/typecheck_method_missing_unchecked_arg_bad.claro:10: Method Player.rename needs 1 argument, but this call gives 0. Add the missing argument.",
+    ],
    "tests/typecheck_method_extra_arg_bad.claro": [
        "tests/typecheck_method_extra_arg_bad.claro:11: Method Player.add only accepts 1 argument, but this call gives 2. Remove the extra argument.",
    ],