test: cover compatibility aliased method calls

This commit is contained in:
Hermes Agent
2026-09-06 18:11:32 +00:00
parent 75b2152f23
commit d3fcce0221
5 changed files with 30 additions and 2 deletions
+4
View File
@@ -152,6 +152,9 @@ EXPECTED = {
"tests/typecheck_object_alias_method_bad.claro": [
"tests/typecheck_object_alias_method_bad.claro:12: Type mismatch for method Player.add: parameter points needs NUMBER, but this argument looks like TEXT.",
],
"tests/typecheck_object_alias_method_call_bad.claro": [
"tests/typecheck_object_alias_method_call_bad.claro:12: Type mismatch for method Player.add: parameter points needs NUMBER, but this argument looks like TEXT.",
],
}
EXPECTED_OK = [
@@ -169,6 +172,7 @@ EXPECTED_OK = [
"tests/typecheck_object_field_check_type_text_yesno_good.claro",
"tests/typecheck_object_field_alias_good.claro",
"tests/typecheck_object_field_check_type_chained_alias_good.claro",
"tests/typecheck_object_alias_method_call_good.claro",
"tests/typecheck_nested_container_good.claro",
"tests/37_object_field_types.claro",
]