Wrong overload resolution with alias to Any

Bug Report

Overload resolution appears to pick the first matching overload if the argument type is an alias to Any. It should consider all overloads. This works correctly when using Any directly (without an alias). This came up in https://github.com/python/typeshed/issues/10405.

To Reproduce

from typing import Any, Union, overload

@overload
def my_origin(x: type) -> type: ...

@overload
def my_origin(x: Any) -> Any: ...

def my_origin(x: Any) -> Any:
    return x

def call_any(spec: Any) -> bool:
    return my_origin(spec) is Union

TypeSpec = Any

def call_alias(spec: TypeSpec) -> bool:
    return my_origin(spec) is Union

https://mypy-play.net/?mypy=latest&python=3.11&flags=strict&gist=26e08b7414caad553cd0e9549928da11

Expected Behavior

Both call_any and call_alias should type check without errors, since they are the same thing.

Actual Behavior

call_alias produces an error in strict mode:

proj/overload.py:18: error: Non-overlapping identity check (left operand type: "type", right operand type: "<typing special form>")  [comparison-overlap]

Your Environment

• Mypy version used: 1.4.1
• Mypy command-line flags: --strict
• Python version used: 3.10.6

Führe zunächst den Strict-Mode-Reproducer aus dem Issue aus und vergleiche die Überladungsauflösung für Any mit dem TypeSpec-Alias. Ermittle den Pfad der Überladungsauflösung, der für das unterschiedliche Ergebnis der Vergleichsüberlappung verantwortlich ist; abgeschlossen ist die Aufgabe, wenn sowohl call_any als auch call_alias fehlerfrei typgeprüft werden und ein Regressionstest den Fall abdeckt.