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

Non è indicato alcun file del repository né alcun percorso di test. Inizia riproducendo l’esempio del caso mypy-play collegato e individua la logica di restringimento dei tipi e i test correlati alle assegnazioni di tuple; il lavoro è completato quando una riassegnazione tramite map o una comprensione di tuple rivela lo stesso tipo di tupla ristretto di x.