test: cover compatibility function multiplication returns

This commit is contained in:
Hermes Agent
2026-09-19 09:57:07 +00:00
parent 55b2f1c9f3
commit 30713c71c1
5 changed files with 15 additions and 2 deletions
@@ -220,6 +220,12 @@ class ValidateTypecheckDiagnosticsTests(unittest.TestCase):
MODULE.EXPECTED_OK,
)
def test_includes_compatibility_function_multiplication_return_success_fixture(self):
self.assertIn(
"tests/typecheck_function_compat_return_multiplication_good.claro",
MODULE.EXPECTED_OK,
)
def test_includes_lowercase_compatibility_method_return_success_fixture(self):
self.assertIn(
"tests/typecheck_method_compat_lowercase_return_good.claro",
@@ -0,0 +1,6 @@
TEACH total TAKES amount RETURNS NUMBER
CHECK TYPE amount IS NUMBER
RETURN amount * 2
LEARNED
CALL total WITH 4