(🐞) False 'Any expression' error in assignment to `Any` when super expression is cast

# mypy: disallow_any_expr

from typing import Any, Generic, cast, _T as T
from dataclasses import dataclass

def f(a: Any): ...

a: Any = cast(dict[object, object], {
    1:  # Expression type contains "Any" (has type "tuple[int, list[Any]]")
        []  # Expression type contains "Any" (has type "list[Any]")
})

@dataclass
class Box(Generic[T]):
    it: T

f(cast(object, Box(Box(1)))  # Expression type contains "Any" (has type "Box[Any]")

I would not expect Any of these errors to appear.

Inizia eseguendo il riproduttore mypy fornito con disallow_any_expr e conferma quali diagnostiche vengono segnalate per le assegnazioni con cast e l’espressione generica Box. Traccia il percorso del controllo dei tipi per i cast e i tipi Any inferiti; il lavoro è completato quando questi errori falsi positivi non compaiono più, mentre le diagnostiche reali delle espressioni Any continuano a essere segnalate.