type error on `map`

[uf-fipper]

Environment data

• Pylance version: v2024.8.1
• OS and version: win11
• Python version (& distribution if applicable, e.g. Anaconda): 3.11.4

Code Snippet

a: list[int | None] = [1, 2, 3, None]
b = map(lambda x: x or 0, a)

Expected behavior

type(b) == map[int]

Actual behavior

[erictraut]

Could someone from the pylance team please transfer this to the pyright project since it's a core type checking issue? Thanks!