Typing: Correctly set types when getting `Record` fields

Consider the following:

import asyncio

import asyncpg


async def main() -> int:
    connection_string = "postgresql://postgres:postgres@127.0.0.1:5432/postgres"
    conn = await asyncpg.connect(connection_string)
    result = await conn.fetch("SELECT 1 + 1 AS num", record_class=Row)
    row = result[0]
    num = row["num"]
    print(type(num))
    return num  # mypy error: Returning Any from function declared to return "int"


class Row(asyncpg.Record):
    num: int


if __name__ == "__main__":
    asyncio.run(main())

In essence, the type of num is Any instead of int. I tried to make Row inherit from TypedDict or use a dataclass, both failed.
I'll also be happy to help develop this feature with some general guidance.

Commencez par l’exemple conn.fetch(..., record_class=Row) et l’accès aux champs de asyncpg.Record montré dans l’issue. Étudiez comment l’annotation déclarée Row.num pourrait affecter le type inféré de row["num"]. Le travail est terminé lorsque num est inféré comme int dans l’exemple et ne produit plus l’erreur de retour Any de mypy.