no_implicit_any: fix crash on class keywords (#34)

Author: JelleZijlstra

docs/changelog.md

@@ -2,6 +2,8 @@
 
 ## Unreleased
 
+- Fix crash on class definition keyword args when the `no_implicit_any` error
+  is enabled.
 - Fix incorrect treatment of `ParamSpec` in certain contexts.
 - Add basic support for intersection types with `pycroscope.extensions.Intersection`.
 - Fix crash on checking the boolability of certain complex types.

pycroscope/name_check_visitor.py

@@ -1786,7 +1786,8 @@ def visit_ClassDef(self, node: ast.ClassDef) -> Value:
             if sys.version_info >= (3, 12) and node.type_params:
                 self.visit_type_param_values(node.type_params)
             self._generic_visit_list(node.bases)
-            self._generic_visit_list(node.keywords)
+            for kw in node.keywords:
+                self.visit(kw.value)
             value = self._visit_class_and_get_value(node, class_obj)
         value, _ = self._set_name_in_scope(node.name, node, value)
         return value
@@ -5466,14 +5467,13 @@ def _should_ignore_val(self, node: ast.AST) -> bool:
 
     # Call nodes
 
-    def visit_keyword(self, node: ast.keyword) -> tuple[Optional[str], Composite]:
-        return (node.arg, self.composite_from_node(node.value))
-
     def visit_Call(self, node: ast.Call) -> Value:
         callee_wrapped = self.visit(node.func)
         args = [self.composite_from_node(arg) for arg in node.args]
         if node.keywords:
-            keywords = [self.visit_keyword(kw) for kw in node.keywords]
+            keywords = [
+                (kw.arg, self.composite_from_node(kw.value)) for kw in node.keywords
+            ]
         else:
             keywords = []
 

pycroscope/test_name_check_visitor.py

@@ -2306,3 +2306,14 @@ async def gen() -> AsyncGenerator[int, None]:
 
         def capybara() -> None:
             gen()  # E: must_use
+
+
+class TestImplicitAny(TestNameCheckVisitorBase):
+    @assert_passes(settings={ErrorCode.implicit_any: True})
+    def test_class_args(self):
+        class Base:
+            def __init_subclass__(cls, **kwargs) -> None:
+                pass
+
+        class X(Base, a=True):
+            pass