Fine-grained: Inconsistent behavior for nested NewType
まだ誰も着手していません。
評価
調査の方向性
Start with the fine-grained incremental mode test case testRefreshNestedNewType and run it through both increments described for a.py and b.py. Compare the first and second outputs for the nested NewType declarations; done means both runs produce identical errors for each example.
索引モデルが issue の本文から書いたものです。
説明
The output of the second increment of this fine-grained incremental mode test case doesn't generate an error, even though nothing relevant has changed:
[case testRefreshNestedNewType]
import a
[file a.py]
from typing import Union, NewType
import b
def f(self) -> None:
X = NewType('X', A)
A = str
[file b.py]
y = 0
[file b.py.2]
y = ''
[out]
Here's the output:
a.py:5: error: Argument 2 to NewType(...) must be subclassable (got A?)
==
The expected output would be identical for both runs.
The output from the first and second runs also does not match for this slightly different test case:
[case testRefreshNestedNewType]
import a
[file a.py]
from typing import Union, NewType
import b
def f(self) -> None:
X = NewType('X', A)
A = Union[int, str]
[file b.py]
y = 0
[file b.py.2]
y = ''
[out]
Here's the output (again expected to be identical):
a.py:5: error: Argument 2 to NewType(...) must be subclassable (got A?)
==
a.py:5: error: Argument 2 to NewType(...) must be subclassable (got "Union[int, str]")
It looks like forward references within NewType declarations behave inconsistently.
- 主要言語
- 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
-
難易度 1/5 1時間未満 初心者へのやさしさ 90/100
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 86/100
zostera/django-bootstrap4#894 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
use-agent-os/agent-os#3276 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
zephyrproject-rtos/zephyr#119726 ·
-
area/auth bug comp/agent P3 platform/discord type/security
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
NousResearch/hermes-agent#117848 ·