test: cover compatibility function subtraction returns

2026-09-19 05:51:07 +00:00
parent 229d1a7dbe
commit c8df657b63
5 changed files with 15 additions and 2 deletions
@@ -208,6 +208,12 @@ class ValidateTypecheckDiagnosticsTests(unittest.TestCase):
            MODULE.EXPECTED_OK,
        )

+    def test_includes_compatibility_function_subtraction_return_success_fixture(self):
+        self.assertIn(
+            "tests/typecheck_function_compat_return_subtraction_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 - 1
+LEARNED
+
+CALL total WITH 4