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

Bug Report

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 lists though.

Your Environment

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

提供されたタプルとスライスの再現コードから始め、次にタプルの添字アクセスに対する mypy の型推論を追跡し、既存のリストのスライス処理と比較します。a[s] と a.__getitem__(s) の両方が実行時の値と整合するタプル型を reveal し、通常のタプルのインデックスアクセスを退行させないことが完了条件です。