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.

Inizia con l’esempio conn.fetch(..., record_class=Row) e l’accesso ai campi di asyncpg.Record mostrato nell’issue. Verifica in che modo l’annotazione dichiarata Row.num potrebbe influire sul tipo inferito di row["num"]. Il lavoro è completato quando num viene inferito come int nell’esempio e non produce più l’errore di ritorno Any di mypy.