feat: diagnose missing object field type checks

2026-08-05 19:06:28 +00:00
parent b2c2975696
commit 68104bd25a
7 changed files with 31 additions and 5 deletions
@@ -62,6 +62,9 @@ EXPECTED = {
    "tests/typecheck_object_field_check_type_unknown_yesno_bad.claro": [
        "tests/typecheck_object_field_check_type_unknown_yesno_bad.claro:6: Object Player has no field enabled. Check the field name or add HAS enabled YESNO to the class.",
    ],
+    "tests/typecheck_object_field_check_type_unknown_object_bad.claro": [
+        "tests/typecheck_object_field_check_type_unknown_object_bad.claro:5: Object player is not known yet. Create it with NEW ClassName player before checking player.score.",
+    ],
 }

 EXPECTED_OK = [