error: Expression is of type "Any", not "Any" (Using `Any` as a `type`)

Here is a minimum reproducible example of this bug:

from typing import Any, assert_type

def foo[T](typ: type[T]) -> T: ...

assert_type(foo(Any), Any)

reveal_type(foo(Any), Any)
reveal_type(Any)

which produces this output:

error: Expression is of type "Any", not "Any"  [assert-type]
note: Revealed type is "typing.Any"
note: Revealed type is "def () -> typing.Any"

I did not expect this to cause any mypy errors.
Or, it would say that Any is not a type.

Your Environment

• Mypy version used: mypy 1.19.1 (compiled: yes)
• Mypy command-line flags: NA
• Mypy configuration options from mypy.ini (and other config files): NA
• Python version used: 3.13.9 (also reproduced in 3.14.3)

Non viene indicato alcun file del repository né alcun test. Inizia eseguendo il reproducer fornito con mypy 1.19.1, quindi traccia come viene gestito Any quando viene passato a type[T] e da assert_type; il lavoro è completato quando l’esempio non produce alcun errore assert-type errato e mantiene i tipi rivelati.