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 @srittau,

Just checking regarding this PR
Any 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"

3 participants