Skip to content

docs: add concrete type definition and update protocol references#2302

Open
BHUVANSH855 wants to merge 1 commit into
python:mainfrom
BHUVANSH855:add-concrete-type-definition
Open

docs: add concrete type definition and update protocol references#2302
BHUVANSH855 wants to merge 1 commit into
python:mainfrom
BHUVANSH855:add-concrete-type-definition

Conversation

@BHUVANSH855

Copy link
Copy Markdown
Contributor

Summary

This PR introduces a formal definition for concrete types in the typing specification and updates protocol-related references to point to the new definition.

Changes

  • Added a new Concrete types section to docs/spec/concepts.rst.
  • Defined a concrete type as a type specified by the name of a Python class (e.g. int, str, list, or a user-defined class).
  • Updated references in docs/spec/protocol.rst to use the new :ref:\concrete-type`` reference.
  • Clarified protocol assignability rules by linking the term "concrete type" to its definition.

Related Issues

Closes #1781

Related to #1779

@srittau srittau added the topic: typing spec For improving the typing spec label Jun 8, 2026
@BHUVANSH855

Copy link
Copy Markdown
Contributor Author

Hi @JelleZijlstra @srittau,

Any feedback !

@davidhalter

davidhalter commented Jun 25, 2026

Copy link
Copy Markdown
Collaborator

@BHUVANSH855 Please don't tag people here. Both of them are notified by your PRs anyway and I'm sure they have seen them. If they think the PR is worth it they will give you feedback.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: typing spec For improving the typing spec

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[spec] define or replace the term "concrete type"

4 participants