More specific overlapping overload errors
まだ誰も着手していません。
評価
調査の方向性
Start by reproducing the supplied overload example with mypy and trace the existing diagnostic for incompatible overlapping overloads. Identify the overload-checking and error-reporting entry points; done means the diagnostic explains the overlapping call shapes, including the no-argument call, while preserving the existing incompatibility information.
索引モデルが issue の本文から書いたものです。
説明
Again when wrapping my head around #3805, I was thrown off by the output of mypy against:
from typing import *
@overload
def f(arg: str = "foo") -> AbstractSet[Tuple[str, str]]: ...
@overload
def f(arg: int = 0) -> AbstractSet[Tuple[str, Tuple[str, int]]]: ...
which gives
test.pyi:4: error: Overloaded function signatures 1 and 2 overlap with incompatible return types
The problem here is that each overload can be called without arguments (but I didn't see this until an eagle-eyed BDFL pointed it out 😁).
It would be good if the error message could include a little more information about the ways in which the signatures overlap, to make fixing the error an easier experience.
- 主要言語
- 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
-
link-check link-check:sphinx-theme
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
qgis/QGIS-Documentation#11275 ·
-
bug priority:normal ready-for-dev
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
OpenHands/extensions#626 · コメント 1 件 ·
-
難易度 1/5 1時間未満 初心者へのやさしさ 90/100
CSCfi/sd-search-api#39 ·
-
難易度 1/5 1時間未満 初心者へのやさしさ 90/100