Tuple of iterables are not narrowed after converting it to tuple of tuple

Bug Report

If there is a function that takes *args: Iterable[float] as an argument, mypy still thinks it is a tuple of iterates after converting it to tuple of tuple via either map or tuple comprehension.

To Reproduce

https://mypy-play.net/?mypy=latest&python=3.11&gist=f70e818d8b82887c5d7f0b19cf51b504

from typing import Iterable


def foo(*args: Iterable[float]):
    x = tuple(map(tuple, args))
    reveal_type(x)  # Revealed type is "builtins.tuple[builtins.tuple[builtins.float, ...], ...]"

    args = tuple(map(tuple, args))
    reveal_type(args)  # Revealed type is "builtins.tuple[typing.Iterable[builtins.float], ...]"

Expected Behavior

args should have the same type as x.

Actual Behavior

args's type is not narrowed down after conversion.

Your Environment

• Mypy version used: 1.10
• Mypy command-line flags: N/A
• Mypy configuration options from mypy.ini (and other config files): N/A
• Python version used: 3.11

Es wird keine Repository-Datei oder kein Testpfad genannt. Beginne damit, das Beispiel im verlinkten mypy-play-Fall zu reproduzieren, und ermittle die Logik zur Typ-Eingrenzung sowie die zugehörigen Tests für Tupelzuweisungen; abgeschlossen ist die Aufgabe, wenn eine Neuzuweisung über map oder eine Tupelkomprehension denselben eingegrenzten Tupeltyp wie x offenlegt.