(🐞) False 'Any expression' error in assignment to `Any` when super expression is cast
まだ誰も着手していません。
評価
調査の方向性
まず、提供された mypy の再現コードを disallow_any_expr で実行し、cast された代入とジェネリックな Box 式についてどの診断が報告されるかを確認します。cast と推論された Any 型に対する型チェックの経路を追跡します。これらの偽陽性エラーが表示されなくなり、一方で本物の Any 式に関する診断は引き続き報告されれば完了です。
索引モデルが issue の本文から書いたものです。
説明
# mypy: disallow_any_expr
from typing import Any, Generic, cast, _T as T
from dataclasses import dataclass
def f(a: Any): ...
a: Any = cast(dict[object, object], {
1: # Expression type contains "Any" (has type "tuple[int, list[Any]]")
[] # Expression type contains "Any" (has type "list[Any]")
})
@dataclass
class Box(Generic[T]):
it: T
f(cast(object, Box(Box(1))) # Expression type contains "Any" (has type "Box[Any]")
I would not expect Any of these errors to appear.
- 主要言語
- 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 ·