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

Start by running the provided Python example with mypy 1.9.0 and the listed strictness flags, then trace the return-type checking path for list[Any] versus list[int]. Done means the example reports an error at the return statement without breaking related type-checking behavior.