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

No repository file or test path is named. Start by reproducing the example in the linked mypy-play case and locate the type-narrowing logic and related tests for tuple assignments; done means reassignment through map or tuple comprehension reveals the same narrowed tuple type as x.