From 7ffca9b3cb3e7b79fb39a77beaa79060c4ef1c65 Mon Sep 17 00:00:00 2001
From: Dominik Jain <dominik.jain@oraios-ai.de>
Date: Wed, 9 Jul 2025 12:58:29 +0200
Subject: [PATCH] Add "type: ignore" to untyped inner function

---
 src/serena/tools/jetbrains_plugin_client.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/serena/tools/jetbrains_plugin_client.py b/src/serena/tools/jetbrains_plugin_client.py
index 5822cdc..5394150 100644
--- a/src/serena/tools/jetbrains_plugin_client.py
+++ b/src/serena/tools/jetbrains_plugin_client.py
@@ -74,7 +74,7 @@ class JetBrainsPluginClient:
         """
         to_snake_case = lambda s: "".join(["_" + c.lower() if c.isupper() else c for c in s])
 
-        def convert(x):
+        def convert(x):  # type: ignore
             if isinstance(x, dict):
                 return {to_snake_case(k): convert(v) for k, v in x.items()}
             elif isinstance(x, list):