(🐞) 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.

Start by running the supplied mypy reproducer with disallow_any_expr and confirm which diagnostics are reported for the casted assignments and generic Box expression. Trace the type-checking path for casts and inferred Any types; done means these false-positive errors no longer appear while genuine Any-expression diagnostics remain reported.