Render `Any` subtypes

class A(Any): ...
reveal_type(A()) # A

This could reveal something like A(Any) or Any(A) or Any[A]

class A:
  def __getattr__(...) -> Any: ...
a: A
reveal_type(a.foo) # Any

This could mention that the signature of foo is actually comming from an operator.

Original Content

import tempfile
from os import PathLike

with tempfile.NamedTemporaryFile() as file:
    reveal_type(file) # tempfile._TemporaryFileWrapper[builtins.bytes]
    foo: PathLike[str] = file # no error even though it's not a PathLike

Start with the issue's reveal_type examples and the original PathLike[str] assignment case. Trace how the checker represents Any in subtype declarations and __getattr__ results, then determine the intended output for each example. Done means the proposed representation and behavior are specified and covered by tests.