Parametrized generics' type arguments are not expanded during overload evaluation

[InSyncWithFoo]

Minimal reproducible example (playground):

class E(Enum):
    A = auto()
    B = auto()

class Foo[T: Literal[E.A, E.B]]:
    @overload
    def lorem(self: Foo[Literal[E.A]]) -> int: ...
    @overload
    def lorem(self: Foo[Literal[E.B]]) -> str: ...

    def lorem(self) -> int | str: ...
    
    def ipsum(self):
        self.lorem()  # error: Cannot access attribute "lorem" for class "Foo[T@Foo]*"

Adding a third (self) -> int | str overload helps with the error.

I understand this case is not explicitly listed in the proposed changes. However, would it be reasonable to ask that Pyright support it?

[erictraut]

We're putting significant effort into standardizing the behavior and specifying it in detail. If you want pyright and other type checkers to support this, it needs to be in the spec and covered by the conformance test suite.