Skip to content

Fix Protocol inheritance in _zstdfile - #14232

Merged
srittau merged 1 commit into
python:mainfrom
Rogdham:pep-784_fix-protocol-inherit
Jul 7, 2025
Merged

srittau merged 1 commit into
python:mainfrom
Rogdham:pep-784_fix-protocol-inherit

Conversation

@Rogdham

@Rogdham Rogdham commented Jun 7, 2025

Copy link
Copy Markdown
Contributor

In #14129 I made an error in definition of some protocols: inheriting from a class defining a protocol is not enough, they should inherit from Protocol as well.

@Rogdham
Rogdham marked this pull request as ready for review June 7, 2025 14:55
@github-actions

github-actions Bot commented Jun 7, 2025

Copy link
Copy Markdown
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@Rogdham

Rogdham commented Jul 5, 2025

Copy link
Copy Markdown
Contributor Author

Hello @srittau if you have the time to review this small fix, it would be appreciated!

@srittau
srittau merged commit 088a4b8 into python:main Jul 7, 2025
@Rogdham
Rogdham deleted the pep-784_fix-protocol-inherit branch July 7, 2025 11:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants