Skip to content
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

Remove typing_extensions.cast #277

Closed
wants to merge 2 commits into from

Conversation

t1h0
Copy link
Contributor

@t1h0 t1h0 commented Jul 6, 2024

Second possible solution to #275.

Removes using cast(), introduced in 8e95c71. It's for type checking only and not needed anyway (as far as I can tell). Makes #276 redundant.

@fhamborg
Copy link
Owner

fhamborg commented Jul 8, 2024

thanks again! merged the other pr :)

@fhamborg fhamborg closed this Jul 8, 2024
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.

None yet

2 participants