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.

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

cast should perform a static check to ensure type overlap #25

Closed
DetachHead opened this issue Jan 11, 2022 · 4 comments
Closed

cast should perform a static check to ensure type overlap #25

DetachHead opened this issue Jan 11, 2022 · 4 comments
Labels
typetime

Comments

@DetachHead
Copy link
Collaborator

DetachHead commented Jan 11, 2022 •
edited by KotlinIsland
Loading

python/mypy#11958

relates #3
@KotlinIsland
Copy link
Owner

KotlinIsland commented Jan 11, 2022 •
edited
Loading

Isn't this a basedmypy issue? Or are you suggesting a based_cast method in basedtyping.

@DetachHead
Copy link
Collaborator Author

a based_cast method if it can be implemented within the language. if not then we'll transfer the issue to basedmypy

@KotlinIsland
Copy link
Owner

imo upgrade cast to work properly, and add a runtime checking cast.

@KotlinIsland KotlinIsland changed the title based cast cast should perform a static check to ensure type overlap Mar 3, 2022
@KotlinIsland
Copy link
Owner

Resolved in basedmypy, no idea how to type cast as is.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
typetime
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@DetachHead @KotlinIsland