Awaitable typeguards

Offen

#1,872 erstellt am 24.10.2024 1 Kommentar 1 Reaktion 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 5/5
Geschätzter Aufwand: Über eine Woche
Anfängerfreundlichkeit: 25/100

Issue-Typ: Feature
Klarheit: Muss geklärt werden
Aktivitätsstatus: Veraltet
Tech-Stack: python
Bereich: devtools

Rechercherichtung

Das Issue nennt keine Repository-Dateien, Tests oder Einstiegspunkte für die Implementierung. Beginne damit, die Behandlung asynchroner Funktionen, die TypeIs oder TypeGuard zurückgeben, in der Typing-Spezifikation zu prüfen, und bestimme anschließend, wie das vorgeschlagene Narrowing definiert werden sollte; als abgeschlossen gilt die Aufgabe, wenn eine abgestimmte Spezifikation sowie die entsprechende Implementierung und Tests vorliegen.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

topic: feature

Currently it seems impossible to have async TypeGuard or TypeIs:

from typing_extensions import TypeIs

async def foo(a: int | str) -> TypeIs[int]:
    raise NotImplementedError

async def main() -> None:
    a: int | str = 10
    if await foo(a):
        reveal_type(a)
    else:
        reveal_type(a)

Current specification is not clear about how async functions returning TypeIs or TypeGuards should be treated, but I believe this would be useful for async lazy evaluation of typestate fields, example:

from typing_extensions import TypeIs, TypeVar, Generic


T = TypeVar('T', int | None, int, None, covariant=True)


class A(Generic[T]):
    _a: T
    
    async def get_a(self: A[int | None]) -> int | None:
        a = 123  # imagine some expensive async operation, e.g. fetch value from API
        self._a = a
        return self._a
        
    def method_requires_a(self: A[int]) -> None:
        raise NotImplementedError
        
    def __init__(self):
        self._a = None

async def has_a(a: A[int | None]) -> TypeIs[A[int]]:
    return await a.get_a() is not None
 
 
async def main(a: A[int | None]):
    if await has_a(a):
        a.method_requires_a()  # currently fails as type was not narrowed

Vorherrschende Sprache: Python
Sterne: 1.8k
Forks: 302
Ø Merge: 23 Std.
Gemergte PRs (30 T.): 8

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus python/typing

Spec: `Final` section could use better definition for `Final` vs. `Final[X]` Offen

topic: typing spec

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100

python/typing#2356 · 2 Kommentare · 1 Reaktion · Erstellt am 02.9.2026
Spec: PEP leftovers in the spec for literals Offen

topic: typing spec

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 75/100

python/typing#2355 · Erstellt am 01.9.2026
Update reference/generics.html with PEP695 type parameter syntax Offen

topic: documentation

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100

python/typing#2227 · 2 Kommentare · Erstellt am 25.3.2026
Remove PEP references in Typing Python Libraries guide Offen

topic: documentation

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 65/100

python/typing#2150 · 2 Kommentare · 2 Reaktionen · Erstellt am 12.1.2026
Finals and Literals: Spec contradiction Offen

topic: conformance tests topic: typing spec

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 72/100

python/typing#2351 · 2 Kommentare · Erstellt am 31.8.2026

Alle Issues in python/typing