TypeVar bound to type[X] resolves as object

[grievejia]

Describe the Bug

Minimal repro:

from typing import TypeVar

class ShellComplete:
    name: str = "base"

T = TypeVar("T", bound=type[ShellComplete])
def add_completion_class(cls: T, label: str | None = None) -> T:
    if label is None:
        label = cls.name  # pyrefly: object has no attribute `name`
    return cls

No other type checker emits error on this.

Sandbox Link

https://pyrefly.org/sandbox/?project=N4IgZglgNgpgziAXKOBDAdgEwEYHsAeAdAA4CeS4ATrgLYAEALqcROgOZ0Q3G6UN0AVZjABqqSgB10UgMZRUcOHQDKACxhQoAYVrFYDGIil0TddKhqG6cBpToBeOhJDYFMZ1KkCHg4WMoAFM4CzgA0dHgArlj2TMQwANpqGtq6%2BjAAugCUUpgwYHSomJgA%2BjJpMAwQuOhl8ooBcnCIguHy2BotNnYAPnQAcjUwPoPoMFl0ALQAfIJG6KacBe0anEqjhsaLpitQPk2E5pYmAMR0ZJT5UKQtuNgAVjAy-KoKZriFDLYQ2JEGdAADI4wAFbEyXBiRSgLJogUIgP7QOAkciIEBnACqVSgECYdDA0We1XQcE8WHy%2BN4NFQDBK6EiNA6gXwLVYDAmM2stnmiwhUIWYGc-QZTJawHwAF8POg4SALldSIQGLQoBQzgAFUiXMDXawYHAEOjldCQNhQmnEwhSM7KGDDVRfYjNAD0zvlOsVvDYzpg6GdmFwMjgzuNpvNVRqzspdlQADdUNBUNhYEaamHKBaanRcMQIySregyAxVDVJrGYJQ4MSfM4AMyEACMACZpSAJfDUETywAxaAwChoLB4IhkNtAA

(Only applicable for extension issues) IDE Information

No response