test: cover compatibility missing return types

2026-09-18 13:20:00 +00:00
parent df3c57415d
commit e17f450603
6 changed files with 16 additions and 2 deletions
@@ -49,6 +49,12 @@ class ValidateTypecheckDiagnosticsTests(unittest.TestCase):
        self.assertIn("tests/typecheck_function_return_bad.claro", MODULE.EXPECTED)
        self.assertIn("tests/typecheck_function_return_good.claro", MODULE.EXPECTED_OK)

+    def test_includes_compatibility_missing_return_type_fixture(self):
+        self.assertIn(
+            "tests/typecheck_function_compat_missing_return_type_bad.claro",
+            MODULE.EXPECTED,
+        )
+
    def test_includes_function_return_arithmetic_success_fixture(self):
        self.assertIn(
            "tests/typecheck_function_return_multiplication_good.claro",
@@ -0,0 +1,3 @@
+TEACH greet TAKES name RETURNS
+    RETURN name
+LEARNED