Function declared to return list[int] actually returning list[Any]

Bug Report

(A clear and concise description of what the bug is.)

To Reproduce

from typing import Any


def foo() -> list[int]:
    x: list[Any] = ["xxx"]
    return x

https://mypy-play.net/?mypy=latest&python=3.12&flags=strict%2Cdisallow-any-generics%2Cwarn-return-any&gist=35cfbe4d01eed0422eb72869846095c1

Expected Behavior

I would expect an error on line 6 return x. The function is declared to return list[int] but is returning list[Any].

Actual Behavior

No error.

$ mypy --strict --disallow-any-generics --warn-return-any  test.py 
Success: no issues found in 1 source file

Your Environment

• Mypy version used: 1.9.0
• Mypy command-line flags: --strict --disallow-any-generics --warn-return-any
• Mypy configuration options from mypy.ini (and other config files): (none)
• Python version used: 3.10.12

Beginne damit, das bereitgestellte Python-Beispiel mit mypy 1.9.0 und den aufgeführten Strictness-Flags auszuführen, und verfolge anschließend den Pfad der Rückgabetypprüfung für list[Any] im Vergleich zu list[int]. Als erledigt gilt die Aufgabe, wenn das Beispiel an der return-Anweisung einen Fehler meldet, ohne das damit verbundene Verhalten der Typprüfung zu beeinträchtigen.