infer type of parameter from super type

### Describe the Bug

```py
class A:
    def f(self, i: int):
        ...

class B(A):
    def f(self, i):
        reveal_type(i)  # Unknown, expect int
```

here the unannotated `i` can be inferred from the super type as `int`

### Sandbox Link

_No response_

### (Only applicable for extension issues) IDE Information

_No response_