`asyncio.gather` is sometimes erroneously type-checked

Bug Report

I'm adding typing to a large codebase, and have noticed weird asyncio.gather behavior.

To Reproduce

Here's a self-contained test:

from asyncio import gather


async def returns_dict() -> dict:
    return {}


async def returns_int() -> int:
    return 1


async def test():
    tasks = (returns_dict(), returns_int())
    reveal_type(await gather(*tasks))  # note: Revealed type is "Any"

Expected Behavior

The revealed type should be: note: Revealed type is "Tuple[builtins.dict*[Any, Any], builtins.int*]"

Actual Behavior

The correct return type is not recognized.

If the example is slightly changed:

from asyncio import gather


async def returns_dict() -> dict:
    return {}


async def returns_int() -> int:
    return 1


async def test():
    reveal_type(await gather(returns_dict(), returns_int()))

it works properly.

Your Environment

• Mypy version used: 0.902
• Mypy command-line flags: none
• Mypy configuration options from mypy.ini (and other config files): allow_redefinition, check_untyped_defs, namespace_packages, warn_unreachable
• Python version used: 3.9.5
• Operating system and version: macOs Big Sur

Beginne mit dem eigenständigen asyncio.gather-Reproducer aus dem Issue und vergleiche die offengelegten Typen für ein mit *tasks übergebenes tuple mit direkten Argumenten. Verfolge den Einstiegspunkt der Typprüfung für gather-Aufrufe; fertig ist die Arbeit, wenn die tuple-Form das erwartete dict-and-int-Ergebnis statt Any offenlegt und das bestehende Verhalten bei direkten Argumenten erhalten bleibt.