Passing self to a generic function that accepts Self

[NeilGirdhar]

from typing import Generic, Self, TypeVar

T = TypeVar('T')


class X(Generic[T]):
    def f(self, t: T) -> None:
        pass


class Y:
    def g(self) -> None:
        X[Self]().f(self)  # error: Argument 1 to "f" of "X" has incompatible type "Y"; expected "Self"  [arg-type]

[bmerry]

I've just run into a similar issue (although using a Protocol rather than a Generic). It seems that declaring g as

    def g(self: Self) -> None:

makes things pass, which surprised me since I thought self: Self was implicit (PEP 673 declares it to be "harmless").