The following file results in redefinition errors:
from typing import Any, overload, Sequence
class Foo(Sequence):
def __init__(self):
self.bar = []
@overload
def __getitem__(self, i: int) -> Any:
"""DOCS1"""
...
@overload
def __getitem__(self, s: slice) -> Sequence[Any]:
"""DOCS2"""
...
def __getitem__(self, i) -> Any:
"""DOCS"""
return self.bar[i]
def __len__(self) -> int:
return len(self.bar)
def serialize(self):
return self.barIt seems this has been fixed for other overload cases, but not yet for class method overloading.
The following file results in redefinition errors:
It seems this has been fixed for other overload cases, but not yet for class method overloading.