Invalid type inferred for list indexing with Any #5250

from typing import Any, List

i: Any
a: List[Any]
reveal_type(a[i])  # List[Any], but should be Any

from typing import Any, overload, TypeVar, Generic

T = TypeVar('T')

class A(Generic[T]):
    @overload
    def f(self, x: int) -> T: ...
    @overload
    def f(self, x: slice) -> A[T]: ...
    def f(self, x): ...

i: Any
a: A[Any]
reveal_type(a.f(i))  # A[Any], but should be Any