More fixes for static type checking

uds-se · Aug 27, 2024 · cddbdc7 · cddbdc7
1 parent 98d19bf
commit cddbdc7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/notebooks/Slicer.ipynb b/notebooks/Slicer.ipynb
@@ -2134,7 +2134,7 @@
    "metadata": {},
    "outputs": [],
    "source": [
-    "show_ast(Module(body=[make_get_data(\"x\")], type_ignores=[]))"
+    "show_ast(Module(body=[make_get_data(\"x\")], type_ignores=[]))  # type: ignore"
    ]
   },
   {
@@ -3165,7 +3165,7 @@
     "                                              ctx=Load()),\n",
     "                                   attr=func,\n",
     "                                   ctx=Load()),\n",
-    "                     args=[node],\n",
+    "                     args=[node],  # type: ignore\n",
     "                     keywords=keywords)\n",
     "\n",
     "    def visit_Call(self, node: Call) -> Call:\n",