From 42e1cfdfe21c08b91a1cc548e50831aae614b6db Mon Sep 17 00:00:00 2001
From: Eli Schwartz <eschwartz@archlinux.org>
Date: Thu, 3 Nov 2022 20:12:58 -0400
Subject: [PATCH] target python 3.10 as the mypy language version

mypy has a bug when running on/for 3.11 which results in incorrect
analysis of the codebase, specifically due to enum.Enum's self.name

See:

https://github.com/python/typeshed/issues/7564
https://github.com/python/mypy/issues/12483
---
 run_mypy.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run_mypy.py b/run_mypy.py
index ba8211e06ddf..3daf7c74e320 100755
--- a/run_mypy.py
+++ b/run_mypy.py
@@ -120,7 +120,7 @@ def main() -> int:
         if not opts.quiet:
             print('Running mypy (this can take some time) ...')
         p = subprocess.run(
-            [sys.executable, '-m', 'mypy'] + args + to_check,
+            [sys.executable, '-m', 'mypy', '--python-version', '3.10'] + args + to_check,
             cwd=root,
         )
         return p.returncode