Wrong type inference for `<tuple>[s]` where `s: slice`

**Bug Report**

```python
a = (1, 2, 3)
s = slice(None, 1)
reveal_type(a[s])  # Revealed type is `builtins.int`
reveal_type(a.__getitem__(s))  # Revealed type is `builtins.tuple[builtins.int, ...]` (OK)
```

The runtime value of `a[s]` is `(1,)`.

The type inference works for `list`s though.

**Your Environment**

- Mypy version used: 1.0.0-2.1, master
- Python version used: 3.12, 3.13
