From 7b79a56ea6cc5b92ecb748aa1818bf1b26ba2db6 Mon Sep 17 00:00:00 2001
From: David Peter <mail@david-peter.de>
Date: Tue, 17 Dec 2024 10:59:05 +0100
Subject: [PATCH] Another patch to fix the sys.version_info tests

---
 crates/red_knot_python_semantic/src/types.rs  |  2 +-
 .../vendor/typeshed/stdlib/builtins.pyi       | 50 +++++++++----------
 2 files changed, 26 insertions(+), 26 deletions(-)

diff --git a/crates/red_knot_python_semantic/src/types.rs b/crates/red_knot_python_semantic/src/types.rs
index 6bd1f35727..ee5d2c418c 100644
--- a/crates/red_knot_python_semantic/src/types.rs
+++ b/crates/red_knot_python_semantic/src/types.rs
@@ -2074,7 +2074,7 @@ impl<'db> Type<'db> {
     /// but it's a useful fallback for us in order to infer `Literal` types from `sys.version_info` comparisons.
     fn version_info_tuple(db: &'db dyn Db) -> Self {
         let python_version = Program::get(db).python_version(db);
-        let int_instance_ty = Type::Unknown;
+        let int_instance_ty = KnownClass::Int.to_instance(db);
 
         // TODO: just grab this type from typeshed (it's a `sys._ReleaseLevel` type alias there)
         let release_level_ty = {
diff --git a/crates/red_knot_vendored/vendor/typeshed/stdlib/builtins.pyi b/crates/red_knot_vendored/vendor/typeshed/stdlib/builtins.pyi
index d75d17cbd2..037d6d0c64 100644
--- a/crates/red_knot_vendored/vendor/typeshed/stdlib/builtins.pyi
+++ b/crates/red_knot_vendored/vendor/typeshed/stdlib/builtins.pyi
@@ -1392,33 +1392,33 @@ else:
     ) -> Any: ...
 
 # Comment above regarding `eval` applies to `exec` as well
-if sys.version_info >= (3, 13):
-    def exec(
-        source: str | ReadableBuffer | CodeType,
-        /,
-        globals: dict[str, Any] | None = None,
-        locals: Mapping[str, object] | None = None,
-        *,
-        closure: tuple[CellType, ...] | None = None,
-    ) -> None: ...
+# if sys.version_info >= (3, 13):
+#     def exec(
+#         source: str | ReadableBuffer | CodeType,
+#         /,
+#         globals: dict[str, Any] | None = None,
+#         locals: Mapping[str, object] | None = None,
+#         *,
+#         closure: tuple[CellType, ...] | None = None,
+#     ) -> None: ...
 
-elif sys.version_info >= (3, 11):
-    def exec(
-        source: str | ReadableBuffer | CodeType,
-        globals: dict[str, Any] | None = None,
-        locals: Mapping[str, object] | None = None,
-        /,
-        *,
-        closure: tuple[CellType, ...] | None = None,
-    ) -> None: ...
+# elif sys.version_info >= (3, 11):
+#     def exec(
+#         source: str | ReadableBuffer | CodeType,
+#         globals: dict[str, Any] | None = None,
+#         locals: Mapping[str, object] | None = None,
+#         /,
+#         *,
+#         closure: tuple[CellType, ...] | None = None,
+#     ) -> None: ...
 
-else:
-    def exec(
-        source: str | ReadableBuffer | CodeType,
-        globals: dict[str, Any] | None = None,
-        locals: Mapping[str, object] | None = None,
-        /,
-    ) -> None: ...
+# else:
+#     def exec(
+#         source: str | ReadableBuffer | CodeType,
+#         globals: dict[str, Any] | None = None,
+#         locals: Mapping[str, object] | None = None,
+#         /,
+#     ) -> None: ...
 
 exit: _sitebuiltins.Quitter