New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement provisional support for PEP 767 #9559

Open

erictraut opened this issue Dec 7, 2024 · 1 comment

Labels

enhancement request needs decision

Collaborator

erictraut commented Dec 7, 2024

PEP 767 (Annotating Read-Only Attributes) is now far enough along that it makes sense to implement provisional support in pyright.

erictraut added the enhancement request label

erictraut mentioned this issue

Protocol Type Incompatibility: str not assignable to str | None despite being less strict #9595

Closed

Collaborator Author

erictraut commented Jan 18, 2025

This work is on hold pending additional discussion about the PEP. See here for details.

erictraut added the needs decision label

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