Regression: Unclear error message when using `Any`

Bug Report

See mypy Playground.

In mypy 1.15 and below, attempting to use Any as an actual type (with instances) gives an unambiguous reason for why it's not valid:

from typing import Any

def get_obj[T](t: type[T], /) -> T: ...

a: int = get_obj(Any)  # E: Argument 1 to "get_obj" has incompatible type "<typing special form>"; expected "type[Never]"  [arg-type]

In mypy 1.16 this is no longer clear:

a: int = get_obj(Any)  # E: Incompatible types in assignment (expression has type "Any", variable has type "int")  [assignment]

It looks like mypy now thinks you can create actual instances of typing.Any.

reveal_type(get_obj(Any))  # N: Revealed type is "typing.Any"

Inizia con l'esempio collegato di mypy Playground e confronta mypy 1.15 con 1.16. Traccia come viene analizzato il passaggio di typing.Any a get_obj e verifica la diagnostica e il tipo rivelato. Il lavoro è completato quando l'uso non valido di Any produce nuovamente un errore inequivocabile sul tipo dell'argomento invece di un errore di assegnazione che afferma che l'espressione ha tipo Any.