From d614fcfb37fa9b634419108e5518ad9a8cd70c15 2023-10-27 10:01:26
From: Matthias Bussonnier <bussonniermatthias@gmail.com>
Date: 2023-10-27 10:01:26
Subject: [PATCH] ignore noredef

---

diff --git a/IPython/core/interactiveshell.py b/IPython/core/interactiveshell.py
index bb9044d..0a528c5 100644
--- a/IPython/core/interactiveshell.py
+++ b/IPython/core/interactiveshell.py
@@ -41,7 +41,7 @@ try:
     from pickleshare import PickleShareDB
 except ModuleNotFoundError:
 
-    class PickleShareDB:
+    class PickleShareDB:  # type: ignore [no-redef]
         def __init__(self, path):
             pass