Tell pyright we're using 3.12

Author: laike9m

views/utils.py

@@ -111,7 +111,9 @@ def _type_check_with_pyright(cls, code: str) -> TypeCheckResult:
             # TODO: switch to json output to simplify output parsing.
             # https://microsoft.github.io/pyright/#/command-line?id=json-output
             raw_result = subprocess.run(
-                ["pyright", temp.name], capture_output=True, text=True
+                ["pyright", "--pythonversion", "3.12", temp.name],
+                capture_output=True,
+                text=True,
             ).stdout
         error_lines: list[str] = []