Skip to content

✨ Gradual shape-types #573

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.

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

Open
wants to merge 14 commits into
base: main
Choose a base branch
from
Open

✨ Gradual shape-types #573

wants to merge 14 commits into from

Conversation

jorenham
Copy link
Member

Note that the vast majority of the changes here are workarounds for mypy and pyright not conforming to the typing spec in case of overloading behavior involving Any. Pyright seems to be willing to fix this (microsoft/pyright#10232). I don't know if this is also the case for mypy.

See numpy/numpy#28982 for further details.

@jorenham jorenham enabled auto-merge May 21, 2025 16:27
@jorenham jorenham disabled auto-merge May 21, 2025 16:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant