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

Inizia eseguendo l'esempio Python fornito con mypy 1.9.0 e i flag di strictness elencati, quindi segui il percorso di controllo del tipo restituito per list[Any] rispetto a list[int]. Il lavoro è completato quando l'esempio segnala un errore nell'istruzione return senza interrompere il comportamento correlato del controllo dei tipi.