test: cover AS TO method field annotations

tests/test_validate_typecheck_diagnostics.py

@@ -57,6 +57,16 @@ class ValidateTypecheckDiagnosticsTests(unittest.TestCase):
             MODULE.EXPECTED_OK,
         )
 
+    def test_includes_as_to_method_field_success_fixtures(self):
+        self.assertIn(
+            "tests/typecheck_method_inline_field_annotation_as_to_good.claro",
+            MODULE.EXPECTED_OK,
+        )
+        self.assertIn(
+            "tests/typecheck_method_compat_inline_field_annotation_as_to_good.claro",
+            MODULE.EXPECTED_OK,
+        )
+
     def test_includes_reverse_text_concatenation_success_fixture(self):
         self.assertIn(
             "tests/typecheck_object_field_text_concat_reverse_good.claro",

tests/typecheck_method_compat_inline_field_annotation_as_to_good.claro

@@ -0,0 +1,10 @@
+CLASS Player
+    HAS score NUMBER
+
+    TEACH set_score TAKES value
+        SET score AS NUMBER TO 10
+    LEARNED
+END
+
+NEW Player player
+CALL player.set_score WITH 10

tests/typecheck_method_inline_field_annotation_as_to_good.claro

@@ -0,0 +1,10 @@
+CLASS Player
+    HAS score NUMBER
+
+    TEACH set_score
+        SET score AS NUMBER TO 10
+    END
+END
+
+NEW Player player
+DO player.set_score