Another patch to fix the sys.version_info tests

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 = {

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