Inheritance of type var bounds?

[BaconPancakes]

If a type variable of a parent generic is bound to a type, shouldn't derived classes of that type be subject to the same bounds?

Consider the following behavior:

Code sample in pyright playground

from typing import Hashable


class BaseGeneric[T: (Hashable)]:
    ...

class BoundBaseGeneric(BaseGeneric[list]): # type error as expected: list is not hashable
    ...

class DerivedGeneric[T](BaseGeneric[T]): # type error not present even though BaseGeneric[T] is bound to hashable
    ...

class BoundDerivedGeneric[list]: # problematic because BaseGeneric's type var needs to be hashable
    ...

[erictraut]

Yes, the bound should be enforced. Thanks for reporting. Converting the discussion to a bug report.

[erictraut]

Here's a link to the issue: #8400