Unpacking an iterable in a list comprehension leads to the type inferred as list[Any]

Bug Report

When a value of a user-defined class with __iter__ is converted into a list using [*value], the type of the list is inferred as list[Any].

To Reproduce

import typing

class Spam:
    def __iter__(self, /) -> typing.Iterator[int]:
        yield 1

a = Spam()

# list[int]
reveal_type(list(a))

# list[int]
reveal_type([i for i in a])

# list[int]
reveal_type([*(i for i in a)])

# list[int]
reveal_type([*a.__iter__()])

# list[Any] ???
reveal_type([*a])

b, = a
# int
reveal_type(b)

Expected Behavior

The type of [*a] is list[int]

Actual Behavior

example.py:22: note: Revealed type is "builtins.list[Any]"

Your Environment

• Mypy version used: 1.4.1
• Mypy command-line flags: --strict
• Mypy configuration options from mypy.ini (and other config files):
• Python version used: 3.11.4

Comienza con el reproductor del issue y sigue cómo las expresiones de lista gestionan las expresiones desempaquetadas y los tipos iterables. Añade una prueba de regresión para un iter definido por el usuario que devuelva Iterator[int] y, después, verifica que [*a] se infiere como list[int] sin cambiar los demás tipos revelados.