Overriding of methods with self types #2353

Activity

1. gvanrossum

   added this to the FutureThis milestone has been deleted milestone on Oct 27, 2016
2. ilevkivskyi commented on Nov 8, 2016

   

   ilevkivskyi

   on Nov 8, 2016

   Member

   More actions

   @JukkaL

   I tried to left a (really long) comment here a week ago. But it looks like something went wrong. I suppose I just forgot to press "Comment" :-(

   It is difficult to reproduce it again now, but very short summary is: Now I am in favour of option (4) you proposed in #2193 (comment)
3. gvanrossum commented on Nov 8, 2016

   

   gvanrossum

   on Nov 8, 2016

   Member

   More actions

   Now I am in favour of option (4) you proposed in #2193 (comment)
   #2193 (comment)

   Agreed.
4. JukkaL commented on Nov 30, 2016

   

   JukkaL

   on Nov 30, 2016

   CollaboratorAuthor

   More actions

   The duplicate issue #2511 has a relevant example that has a class method.
5. gvanrossum

   added

   priority-2-low

   on Jan 6, 2017
6. gvanrossum

   removed this from the FutureThis milestone has been deleted milestone on Mar 29, 2017
7. tyrion commented on Aug 22, 2019

   

   tyrion

   on Aug 22, 2019

   Contributor

   More actions

   The following example seems related to this issue:

   S = TypeVar("S")
   T = TypeVar("T")
   
   F = TypeVar("F", bound="Foo[Any, Any]")
   class Foo(Generic[S, T]):
       def test(self: F) -> F:
           raise NotImplementedError
   
   B = TypeVar("B", bound="Bar[Any]")
   class Bar(Foo[int, T], Generic[T]):
       def test(self: B) -> B:
           return self

   mypy tells me Return type "Bar[T]" of "test" incompatible with return type "Bar[int]" in supertype "Foo" But I cannot understand what it means with Bar[int].

   As requested by @ilevkivskyi on gitter, I am adding a comment here.
8. slessans commented on Jan 5, 2021

   

   slessans

   on Jan 5, 2021

   More actions

   The following example seems related to this issue:

   S = TypeVar("S")
   T = TypeVar("T")
   
   F = TypeVar("F", bound="Foo[Any, Any]")
   class Foo(Generic[S, T]):
       def test(self: F) -> F:
           raise NotImplementedError
   
   B = TypeVar("B", bound="Bar[Any]")
   class Bar(Foo[int, T], Generic[T]):
       def test(self: B) -> B:
           return self

   mypy tells me Return type "Bar[T]" of "test" incompatible with return type "Bar[int]" in supertype "Foo" But I cannot understand what it means with Bar[int].

   As requested by @ilevkivskyi on gitter, I am adding a comment here.

   @tyrion wondering if there was any progress made on this or if there is a workaround?
9. AlexWaygood

   added

   topic-self-typesTypes for selfTypes for self

   on Aug 29, 2022
10. ilevkivskyi

    marked unsoundness with Self parameter type #21421 as a duplicate of this issue on May 6, 2026