"""
When a TypeVar has a bound (e.g., bound=type), pyrefly resolves attribute
access on the TypeVar to `object` instead of the bound type. This causes
false positives when accessing attributes that exist on the bound type
but not on `object`.
"""
from typing import TypeVar

# TypeVar bound to `type` -- accessing `__name__`
# `type` has a `__name__` attribute, so cls.__name__ should be valid
# when T is bound to `type`. Pyrefly resolves T as `object` instead.
T = TypeVar("T", bound=type)
def get_class_name(cls: T) -> str:
    return cls.__name__  # FP: Object of class `object` has no attribute `__name__`