False positive `overload-overlap` with booleans and integer literals
まだ誰も着手していません。
評価
調査の方向性
リンク先の mypy Playground にある 2 つの再現例から始め、Python 3.12 または 3.13 で overload の重複に関する診断を確認します。Literal のブール値と整数リテラルについて overload の重複を報告する型チェッカーのパスを追跡します。両方の例が誤検出の診断なしに型チェックを通れば完了です。
索引モデルが issue の本文から書いたものです。
説明
Bug Report, To Reproduce, & Actual Behaviour
The following 2 cases trigger overload-overlap, when neither of them should (see mypy Playground).
from typing import overload, Literal
@overload
def display_str_literal(val: Literal[False], /) -> Literal["BooleanFalse"]: ... # E: ... overload-overlap
@overload
def display_str_literal(val: Literal[0], /) -> Literal["Zero"]: ...
from typing import overload, Literal
@overload
def display_str_literal_2(val: bool, /) -> Literal["Boolean"]: ...
@overload
def display_str_literal_2(val: Literal[-1], /) -> Literal["NegativeOne"]: ...
- Mypy version used: 1.18.2
- Python version used: 3.12, 3.13
- 主要言語
- Python
- スター
- 20.6k
- フォーク
- 3.3k
- 平均マージ
- 1日 18時間
- マージ済み PR（30日）
- 54
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
python/mypy のほかの issue
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
-
documentation
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
-
bug topic-configuration topic-error-reporting
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100
bancolombia/sentinel#23 ·
-
test md オープンCI
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100
-
integration:quickjs org:external priority:backlog topic:code-interpreter topic:middleware type:feature
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100
langchain-ai/deepagents#6450 ·
-
bug client
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100