Incorrect type narrowing on union of `TypedDict`

from typing import Any, TypedDict

class _SessionData(TypedDict):
    created: int
    session: dict[str, Any]


class _EmptyDict(TypedDict):
    """Empty dict for typing."""


SessionData = _SessionData | _EmptyDict

data: SessionData

reveal_type(data)
a = data if data else None
reveal_type(a)

aiohttp_session/__init__.py:56: note: Revealed type is "Union[TypedDict('aiohttp_session._SessionData', {'created': builtins.int, 'session': builtins.dict[builtins.str, Any]}), TypedDict('aiohttp_session._EmptyDict', {})]"
aiohttp_session/__init__.py:58: note: Revealed type is "Union[TypedDict('aiohttp_session._EmptyDict', {}), None]"

I also get the same result if I make it not data. The _SessionData type just disappears for no reason and it keeps saying the empty dict will be the result regardless of the boolean check.

Comienza ejecutando el ejemplo proporcionado de unión de TypedDict y comprobando los dos resultados de reveal_type indicados desde aiohttp_session/init.py. Rastrea el estrechamiento booleano de mypy para la unión y verifica que tanto la rama de TypedDict no vacío como la vacía se gestionen correctamente tanto para data como para not data.