PR #26649 [ty] Support type[Protocol]

[ty] Support type[Protocol] #26649

charliermarsh wants to merge 11 commits into charlie/protocol-class-static-method-members from charlie/type-protocol

astral-sh-bot added ty

charliermarsh force pushed from 184c1958 to 319ccf81 1 day ago

[ty] Support type[Protocol]

09f7401d

[ty] Update attrs benchmark diagnostic count

7769efe6

[ty] Preserve protocol constraints in intersection meta-types

efd084e8

charliermarsh force pushed from 7e3ef9b2 to efd084e8 1 day ago

charliermarsh changed the base branch from main to charlie/protocol-class-static-method-members 1 day ago

[ty] Preserve structural type[Protocol] through generic substitution

b59f24f7

[ty] Update DateType benchmark diagnostic count

f6f21e3e

[ty] Allow protocol classes as type[Self] receivers

caee3c66

[ty] Document protocol constructor narrowing limitation

d7d25fee

[ty] Support generic-self protocol classmethod receivers

450f9001

charliermarsh force pushed from b41022ea to b6ce5449 1 day ago

[ty] Clarify type[Protocol] mdtests

9b19f56d

charliermarsh requested a review from

carljm 1 day ago

charliermarsh marked this pull request as ready for review 1 day ago

charliermarsh requested a review 1 day ago

charliermarsh force pushed from b6ce5449 to 9b19f56d 1 day ago

AlexWaygood commented on 2026-07-09

[ty] Defer type[Protocol] constructibility checks

86a09c8d

[ty] Restrict type[Protocol] lookup to class members

3228d34b

Reviewers

AlexWaygood

carljm

Assignees

No one assigned

Labels

Milestone

No milestone