From 989e25043cdf1a09bada0ccfd68c9d0e4799abfb Mon Sep 17 00:00:00 2001 From: Max Muoto Date: Tue, 2 Jul 2024 21:12:01 -0500 Subject: [PATCH] More accurate `mmap.seekable` type for 3.13 (#12264) --- stdlib/mmap.pyi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/stdlib/mmap.pyi b/stdlib/mmap.pyi index 7688970e5..60629e183 100644 --- a/stdlib/mmap.pyi +++ b/stdlib/mmap.pyi @@ -1,7 +1,7 @@ import sys from _typeshed import ReadableBuffer, Unused from collections.abc import Iterable, Iterator, Sized -from typing import Final, NoReturn, overload +from typing import Final, Literal, NoReturn, overload from typing_extensions import Self ACCESS_DEFAULT: int @@ -77,7 +77,7 @@ class mmap(Iterable[int], Sized): def __buffer__(self, flags: int, /) -> memoryview: ... def __release_buffer__(self, buffer: memoryview, /) -> None: ... if sys.version_info >= (3, 13): - def seekable(self) -> bool: ... + def seekable(self) -> Literal[True]: ... if sys.platform != "win32": MADV_NORMAL: int