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.

Bắt đầu với ví dụ conn.fetch(..., record_class=Row) và cách truy cập trường asyncpg.Record được nêu trong issue. Điều tra xem chú thích Row.num đã khai báo có thể ảnh hưởng như thế nào đến kiểu được suy luận của row["num"]. Hoàn tất khi num trong ví dụ được suy luận là int và không còn tạo ra lỗi trả về Any của mypy.