Adds more test for associated types

Author: sobolevn

typesafety/test_typeclass/test_validation/test_body.yml

@@ -10,6 +10,21 @@
      main:3: error: Typeclass definitions must not have bodies
 
 
+- case: typeclass_with_body_and_associated_type
+  disable_cache: false
+  main: |
+    from classes import typeclass, AssociatedType
+
+    class Some(AssociatedType):
+        ...
+
+    @typeclass(Some)
+    def args(instance) -> str:
+        return 'a'
+  out: |
+     main:6: error: Typeclass definitions must not have bodies
+
+
 - case: typeclass_with_two_ellipsises
   disable_cache: false
   main: |

typesafety/test_typeclass/test_validation/test_first_arg.yml

@@ -31,6 +31,21 @@
     main:3: error: First argument in typeclass definition must be positional
 
 
+- case: typeclass_first_arg_opt_with_associated
+  disable_cache: false
+  main: |
+    from classes import typeclass, AssociatedType
+
+    class Some(AssociatedType):
+        ...
+
+    @typeclass(Some)
+    def args(instance: int = 1) -> str:
+        ...
+  out: |
+    main:6: error: First argument in typeclass definition must be positional
+
+
 - case: typeclass_first_arg_star
   disable_cache: false
   main: |