Improve handling of Type[...] so distinguish between types and instances properly

オープン

#33 2021年7月6日に作成コメント 0 件リアクション 0 件担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度: 5/5
見積もり時間: 1週間以上
初心者へのやさしさ: 35/100

issue の種類: バグ
明瞭さ: おおむね明確
活発さ: 停滞
技術スタック: python
領域: compilers

調査の方向性

まず、produce() と reveal_type(C) の例について、Type[...] とクラス値とインスタンス値がどのように表現されているかを追跡します。issue で言及されている can_assign_from パスを調べ、クラスではなく Value をどのように処理すべきかを判断します。完了条件は、例で Type[type] が推論されなくなり、意図された結果である Type[object]、Type[typing.Any]、または Type[dynamic] のいずれかになることです。

索引モデルが issue の本文から書いたものです。

説明

sp-correctness staticpython

Currently we don't really fully handle instances of types correctly. One example of this is:

def produce() -> type:
    @final
    class C:
        pass
    return C
C = produce()
reveal_type(C)

The inferred type of "C" becomes "Type[type]", when it really should be "Type[object]", "Type[typing.Any]" or "Type[dynamic]".

There's other places that tie into this like can_assign_from might be better taking a Value vs. a class.

主要言語: Python
スター: 3.8k
フォーク: 139
PR マージ指標: 30日以内にマージされた PR はありません

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
リポジトリをフォークし、ブランチを切って変更します。
issue 番号を参照したプルリクエストを送ります。

facebookincubator/MetaPython のほかの issue

Calling `_imp.is_lazy_imports_enabled` in a thread hits an `assert(0)` オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

facebookincubator/MetaPython#147 · 2024年12月5日に作成
Confusing int64 error at cyclic class boundary オープン

難易度 4/5 3〜5日初心者へのやさしさ 45/100

facebookincubator/MetaPython#146 · コメント 2 件 · 2024年10月22日に作成
Cannot use field twice after an `is not None` check? オープン

難易度 4/5 3〜5日初心者へのやさしさ 35/100

facebookincubator/MetaPython#145 · コメント 4 件 · 2024年9月26日に作成
Confusing error using primitive as Dict key オープン

難易度 3/5 1〜2日初心者へのやさしさ 30/100

facebookincubator/MetaPython#144 · コメント 1 件 · 2024年8月14日に作成
Cannot install insightface by python-cinder オープン

難易度 4/5 3〜5日初心者へのやさしさ 20/100

facebookincubator/MetaPython#129 · コメント 2 件 · 2023年11月21日に作成

facebookincubator/MetaPython の issue をすべて見る

似ている issue

Announcement: plone.recipe.vinylcache, a fork for Vinyl Cache 9.0.x オープン

難易度 1/5 1時間未満初心者へのやさしさ 75/100

collective/plone.recipe.varnish#104 · 2026年9月25日に作成
hcocena オープン

policies-accepted pre-review precheck-passed

難易度 1/5 1時間未満初心者へのやさしさ 88/100

Bioconductor/BiocContributions#214 · コメント 5 件 · 2026年9月25日に作成
[bug] PUT /workspace/doc lets a shared agent's peer overwrite the owner's documents オープン

難易度 1/5 1時間未満初心者へのやさしさ 92/100

TencentCloud/Octop#1169 · コメント 1 件 · 2026年9月25日に作成
[开源推荐] 在老板拷问你之前，先让 AI 灵魂拷问你オープン

難易度 2/5 1〜3時間初心者へのやさしさ 70/100

521xueweihan/HelloGitHub#3778 · 2026年9月25日に作成
The version checker's trailing attribute region has no control for a less-than inside a quoted value オープン

area: dashboard area: tests bug perceived difficulty: 2 python

難易度 2/5 1〜3時間初心者へのやさしさ 84/100

Nitjsefnie-Harness-Commons/daedalus#1105 · コメント 1 件 · 2026年9月25日に作成

Python の issue をもっと見る