Implement variance checks for recursive protocols.

オープン

#3,828 2017年8月15日に作成コメント 0 件リアクション 0 件担当者 0 名 GitHub で見る

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

評価

難易度: 4/5
見積もり時間: 3〜5日
初心者へのやさしさ: 35/100

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

調査の方向性

Start by reading issue #3132 and locating the existing checks and tests for declared versus inferred variance in non-recursive protocols. Trace how mutually recursive protocols are analyzed as a group. Done means recursive protocol sets validate variance consistently, with tests covering interactions between protocols.

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

説明

feature priority-1-normal topic-protocols topic-recursive-types

Currently, only non-recursive protocols are well tested w.r.t. declared vs inferred variance. It looks like a set of mutually recursive protocols should be checked as a unit, since the variance in one protocol can affect variance in another protocol.

This is a follow up for #3132

主要言語: Python
スター: 20.6k
フォーク: 3.3k
平均マージ: 1日 18時間
マージ済み PR（30日）: 54

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

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

はじめの一歩

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

python/mypy のほかの issue

stubtest flags PEP 661 `sentinel` defaults, but not `object()` markers オープン

bug

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

python/mypy#22013 · 2026年9月20日に作成
matches_gitignore: directory-only patterns in nested .gitignore not excluded under --exclude-gitignore オープン

bug

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

python/mypy#21760 · 2026年7月20日に作成
`stubgen --inspect-mode` crashes with `AttributeError on PEP 604 union syntax (X | Y)` *(mypy 2.1.0)* オープン

bug

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

python/mypy#21689 · 2026年7月7日に作成
Inconsistent description of `strict_optional` オープン

documentation

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

python/mypy#21658 · コメント 1 件 · 2026年6月29日に作成
Cannot set `output` in `mypy.ini` オープン

bug topic-configuration topic-error-reporting

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

python/mypy#21376 · コメント 1 件 · 2026年4月29日に作成

python/mypy の issue をすべて見る

似ている issue

Schema regression: derivation conversion_failure reverted オープン

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

elong0527/yamaa#708 · 2026年9月21日に作成
RadioSelectButtonGroup does not render as a button group through bootstrap_field オープン

bug

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

zostera/django-bootstrap4#894 · 2026年9月21日に作成
[Bug]: control_ui.show_thinking = false does not stop the live reasoning stream, so thinking events and done.reasoning_content still reach the web UI オープン

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

use-agent-os/agent-os#3276 · 2026年9月21日に作成
Build fails with LTO enabled: conflicting types for z_shared_sw_isr_table between isr_tables.c and sw_isr_table.h オープン

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

zephyrproject-rtos/zephyr#119726 · 2026年9月21日に作成
[Bug]: redact_sensitive_text does not recognise Discord bot tokens オープン

area/auth bug comp/agent P3 platform/discord type/security

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

NousResearch/hermes-agent#117848 · 2026年9月21日に作成

Python の issue をもっと見る